Irreducible representation of a finite abelian group (source code)

= Irreducible representation of a finite abelian group

Every irreducible <complex representation> of a <finite abelian group> is one-dimensional. After making the representation unitary, the commuting representing <matrices> are simultaneously diagonalizable; any common <eigenspace> is invariant, so irreducibility leaves only one dimension.