Skip to main content
3 of 9
deleted 1702 characters in body; added 726 characters in body
darij grinberg
  • 33.8k
  • 4
  • 117
  • 253

Reducible or irreducible? A reducible representation can be of arbitrary high dimension. An irreducible representation always has dimension $\leq\sqrt{\left|G\right|}$, if the base field is algebraically closed and of characteristic $0$ (in fact, in this case, the sum of the squares of the dimensions of all irreducible representations is $\left|G\right|$). However, if the base field is not necessarily algebraically closed and of arbitrary characteristic, then we can only say that the dimension of any irreducible representation $V$ is $\leq \left|G\right|$. This is actually obvious: Take any nonzero vector $v\in V$; then, $k\left[G\right]v$ is a nontrivial subrepresentation of $V$ of dimension $\leq\dim\left(k\left[G\right]\right)=\left|G\right|$. Since our representation $V$ was irreducible, this subrepresentation must be $V$, and hence $\dim V\leq\left|G\right|$.

Okay, we can do a little bit better: Any irreducible representation $V$ of $G$ has dimension $\leq\left|G\right|-1$, unless $G$ is the trivial group. Same proof applies, with one additional step: If $\dim V=\left|G\right|$, then the map $k\left[G\right]\to V,\ g\mapsto gv$ must be bijective (in fact, it is surjective, since $k\left[G\right]v=V$, and it therefore must be bijective since $\dim\left(k\left[G\right]\right)=\left|G\right|=\dim V$), so it is an isomorphism of representations (since it is $G$-equivariant), and thus $V\cong k\left[G\right]$. But $k\left[G\right]$ is not an irreducible representation, unless $G$ is the trivial group (in fact, it always contains the $1$-dimensional trivial representation).

darij grinberg
  • 33.8k
  • 4
  • 117
  • 253