Möbius conjugacy normal forms ($z\mapsto \mu z(\mu \ne 0)\text{or}z\mapsto z+1$)

A nonidentity Möbius transformation has one or two distinct fixed points on the Riemann sphere. If there are two, send them to zero and infinity; the conjugated map fixes both and is a nonzero scaling. If there is one, send it to infinity; the resulting affine map cannot have slope different from one, since that would give another fixed point. It is a nonzero translation, which a scaling conjugates to $z+1$. The identity is the scaling $\mu =1$. Fixed-point sets are carried bijectively under conjugacy, so a translation is not conjugate to a scaling.

A nonidentity Möbius transformation with only one fixed point is conjugate to a nonzero translation of the Riemann sphere. Its translation iterates are $z+nb$, tending to infinity in the topology of the Riemann sphere for finite $z$, with infinity itself fixed. Conjugating back proves that every point tends to the unique fixed point. This is convergence on the sphere; if the fixed point is finite, intermediate iterates can still pass through infinity.

A nonidentity Möbius transformation of finite order $n$ is conjugate to multiplication by a primitive $n$th root of unity. Zero and infinity are fixed; for any other point, a return after $k$ iterates requires ${\mu }^k=1$, whose least positive solution is $n$. Thus its only orbit sizes are one and $n$. For the identity, every orbit has size one. This is a direct orbit computation, independent of an appeal to the orbit-stabilizer theorem.