Let
- Then
is not defined at the point . In addition, we see that for any choosable (because of our nontrivial condition). So is a holomorphic function . If , then the möbius transformation is just an affine map. depends only on 1;;three complex parameters, since given , we can multiply each coordinate by a nonzero scalar , and we get the same möbius transformation. - We note that the set of (non-trivial) Möbius transformations forms a monoid under composition, and by observing the coefficients we construct a homomorphism:
which sends 1;; . This map is surjective (look at the construction of the möbius transformation). And so this actually turns into a group. One can check that the kernel of this homomorphism is , and the quotient is commonly denoted 1;; . We can also view this as .