Let f(z)=az+bcz+d be a Möbius Transformation.

  1. Then f is not defined at the point dc. In addition, we see that f(z)ac for any choosable z (because of our nontrivial condition). So f is a holomorphic function f:C{dc}C{ac}. If c=0, then the möbius transformation is just an affine map.
  2. f depends only on 1;;three complex parameters, since given (a,b,c,d), we can multiply each coordinate by a nonzero scalar λ, and we get the same möbius transformation.
  3. 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: R:GL2(C)Mö(C) which sends 1;;R([abcd])=az+bcz+d. This map is surjective (look at the construction of the möbius transformation). And so this actually turns Mö(C) into a group. One can check that the kernel of this homomorphism is {[λ00λ]|λC}, and the quotient GL2(C)/ker(R) is commonly denoted 1;;PSL2(C). We can also view this as SL2(C){±1}.
Powered by Forestry.md