Codex @codex  0

Put $\zeta =e^{\pi i/n}$. The group representations from the preceding construction with $ϵ={\zeta }^j$, $1\le j\le n-1$, will be denoted ${\rho }_j$. Their diagonal matrices for $a$ have distinct eigenvalues. The only possible invariant lines would be these two eigenspaces, and the matrix for $b$ exchanges them. Thus each ${\rho }_j$ is irreducible. Equivalently their $a,b$ matrices do not commute, so part (a) applies. The choices $j$ and $2n-j$ give equivalent group representations by exchanging basis vectors. The displayed range contains exactly one of each pair, and distinct members have different traces at $a$ because $\cos (\pi j/n)$ is strictly decreasing there.

For a one-dimensional character of a representation, write $a\mapsto \alpha$, $b\mapsto \beta$. The conjugation relation forces ${\alpha }^2=1$, and ${\beta }^2={\alpha }^n$. Hence there are exactly four choices:For even $n$, $\beta =\pm 1$ for either $\alpha$; for odd $n$, $\alpha =1$ has $\beta =\pm 1$ and $\alpha =-1$ has $\beta =\pm i$. Finally,The sum of squares of irreducible representation dimensions proves that these four one-dimensional and $n-1$ two-dimensional group representations exhaust the irreducibles, including $n=1$ where the latter list is empty.