Möbius transformations of finite order I saw this question, which brought up the question: can we classify all the Möbius transformations (with complex coefficients) of finite order? In particular, do these only consist of the rotations? I sense symbolic manipulation isn't the way to go about this—and indeed didn't get anywhere with this—and would appreciate some insight.

Thinking of the group of Mobius transformations as the projective linear group $PGL_2(\mathbb{C})$, we can argue as follows. A matrix $X \in GL_2(\mathbb{C})$ has the property that its image in $PGL_2(\mathbb{C})$ has finite order iff $X^n = \lambda I$ for some scalar $\lambda$. Because $\mathbb{C}$ is algebraically closed (I mention this explicitly to show that it doesn't generalize to more general fields) some $n^{th}$ root $\sqrt[n]{\lambda}$ exists and we can rescale $X$ by it, so we can assume WLOG that $X^n = I$; that is, that $X$ itself has finite order. So it suffices to classify such matrices.

Exercise: A matrix of finite order is diagonalizable. More generally, a matrix satisfying a polynomial $f(X) = 0$ with no repeated roots is diagonalizable.

Now things are very easy: a diagonalizable matrix satisfies $X^n = I$ iff its eigenvalues are $n^{th}$ roots of unity, and this generalizes to all $GL_d(\mathbb{C})$. So $X$ must be conjugate to a diagonal matrix with diagonal entries $\zeta_n^i, \zeta_n^j$ ($\zeta_n$ a primitive $n^{th}$ root of unity), which means the corresponding Mobius transformation is conjugate to
$$z \mapsto \frac{\zeta_n^i z}{\zeta_n^j} = \zeta_n^{i-j} z.$$

In the special case of $PGL_2(\mathbb{C})$ more can be said: it is actually possible to classify completely the finite subgroups of Mobius transformations (here we classify the finite cyclic groups). This classification turns out to be identical to the classification of finite subgroups of $SO(3)$: other than the cyclic and dihedral groups, there are three "exceptional" groups corresponding to symmetries of the Platonic solids, namely the tetrahedral group $A_4$, the octahedral group $S_4$, and the icosahedral group $A_5$.
