Schur corollary: central elements act by scalars
In an irreducible representation over an algebraically closed field, every central group element (and more generally every central group-algebra element) acts as a scalar.
Let be a group, let be an algebraically closed field (e.g. ), and let
be a finite-dimensional irreducible representation.
Corollary of Schur's lemma
If lies in the center , then is a scalar operator:
More generally, if lies in the center of the group algebra, then the -linear operator “action by ” on commutes with and hence is also scalar on .
Consequence: abelian groups have only -dimensional irreps
If is abelian, then every is central, so every is scalar. If , every line in would be -stable, contradicting irreducibility. Hence any irreducible representation of an abelian group over has .
Examples
- . Since is abelian, every irreducible complex representation is -dimensional. Concretely, if and , the irreducibles are the characters
- (order ). For the dihedral group of the square, the center is where is rotation by . In the -dimensional “geometric” irreducible representation on , acts as rotation by , i.e. a scalar operator. In every -dimensional representation, (also a scalar, necessarily).
- . is trivial, so the corollary imposes no nontrivial scalar constraints—consistent with the existence of a -dimensional irreducible representation.