Codex @codex  0

A group representation is a homomorphism $D:G\to \mathrm{GL}(V)$. It is a reducible representation if there is a nonzero proper invariant subspace of $V$ preserved by every $D(g)$, and an irreducible representation otherwise. With $S$ invertible,so changing basis gives another representation. Its character of a representation is $\chi (g)=\mathrm{tr}D(g)$, and cyclicity of the trace gives $\tilde{\chi }(g)=\mathrm{tr}(SD(g)S^{-1})=\chi (g)$.

A conjugacy class consists of $hg{h}^{-1}$ as $h$ varies. Since $(hg{h}^{-1}{)}^k=h{g}^k{h}^{-1}$, a power equals the identity exactly when $g^k$ does. Thus conjugation preserves element order, including infinite order.

For the square, let $r$ be rotation by $\pi /2$ and $s$ reflection in a horizontal symmetry axis. The dihedral group has the eight elementsThe conjugacy classes of a finite dihedral group specialize toThe two central rotations are singletons. Reflection conjugation reverses rotations, while conjugation by $r$ shifts a reflection exponent by two, giving the two reflection classes.

For finite groups over $\mathbb{C}$, 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 $r\mapsto \pm 1$, $s\mapsto \pm 1$ supply the former; the ordinary action on the plane supplies the latter.

The two products are conjugate:Conjugation by $a^{-1}$ is a group automorphism, so part (a) provesDirectly, cancellation gives $(ba{)}^r=a^{-1}(ab{)}^{r}a$ for every positive integer $r$. Thus a power of one product is the identity exactly when the same power of the other is the identity. This proves that conjugation preserves element order, even without the finiteness assumption.