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.