A group representation is a homomorphism . It is a reducible representation if there is a nonzero proper invariant subspace of preserved by every , and an irreducible representation otherwise. With invertible,
so changing basis gives another representation. Its character of a representation is , and cyclicity of the trace gives .
A conjugacy class consists of as varies. Since , a power equals the identity exactly when does. Thus conjugation preserves element order, including infinite order.
For the square, let be rotation by and reflection in a horizontal symmetry axis. The dihedral group has the eight elements
The conjugacy classes of a finite dihedral group specialize to
The two central rotations are singletons. Reflection conjugation reverses rotations, while conjugation by shifts a reflection exponent by two, giving the two reflection classes.
For finite groups over , character orthogonality and completeness make the irreducible characters a basis of the class functions. The latter space has one independent value per conjugacy class. Hence the square group has five inequivalent irreducible complex representations. The sum of squares of irreducible representation dimensions is eight, forcing four one-dimensional representations and one two-dimensional representation. The four scalar choices , supply the former; the ordinary action on the plane supplies the latter.
The conjugacy class of is . Rotations commute with one another, while conjugation by a reflection changes to . Thus the rotation classes are , and .
For reflections,
Because multiplication by two permutes the residues modulo five, these conjugates exhaust all five reflections. Consequently the complete class partition is
Their sizes account for every element, as in the conjugacy classes of a finite dihedral group.
A normal subgroup is a union of complete conjugacy classes. The trivial subgroup is normal, and the rotation subgroup is normal because conjugation preserves it; equivalently it has index two. None of the five order-two subgroups is normal, because it contains just one member of the five-element reflection class. Thus the proper normal subgroups are exactly
Rotations commute with one another, while reflection conjugation sends to . Thus the rotational conjugacy classes are pairs , except when the two entries coincide. For reflections, direct use of the relations gives
If is odd, multiplication by two permutes residues modulo , so all reflections are conjugate. The complete class list is
Their sizes are , then classes of size two, then one class of size , giving classes and elements in total.
If is even, the half-turn is central and forms its own singleton. Conjugation changes a reflection exponent by an even amount or negates it, so it preserves parity and reaches every exponent of that parity. The list is
There are classes; their sizes are , then pairs, then two classes of size . Geometrically the two reflection classes correspond to vertex-axis and edge-axis reflections, in either order depending on the choice of . These are the conjugacy classes of a finite dihedral group.