Complex irreducible representations of a finite cyclic group
ID: complex-irreducible-representations-of-a-finite-cyclic-group
For , the complex irreducible representations are precisely the one-dimensional maps , with . Their characters have the displayed values, forming the discrete Fourier character table. Indeed a representing matrix satisfies . Applying the fundamental theorem of algebra to its characteristic polynomial gives an eigenvalue and an eigenvector over the complex numbers. Its line is an invariant subspace under every power of ; irreducibility therefore forces the entire space to be that line. Its eigenvalue is an th root of unity. Different roots give inequivalent one-dimensional representations, and there are exactly possibilities.
All conjugacy classes are singletons because the group is Abelian. The number of the displayed irreducibles equals the group order, and their squared dimensions sum to , in agreement with the sum of squares of irreducible representation dimensions. Over the real numbers, conjugate nonreal characters instead combine into the planes described by the irreducible real representations of a finite cyclic group.
New to topics? Read the docs here!