In an irreducible complex group representation , every for in the center of a group commutes with the entire representation. Schur lemma therefore gives . Faithfulness makes an injective homomorphism .
Its image is a finite subgroup. If its order is , Lagrange's theorem for finite groups shows that every element is an th root of unity. These roots form a cyclic group, and every subgroup of a cyclic group is cyclic. Hence
Both irreducibility over the algebraically closed field and faithfulness are used: scalar action alone would not embed the centre.

Articles by others on the same topic (0)

There are currently no matching articles.