Ctrl
K
Select a result to preview
Since we have a conformal equivalence ψ:H→D, given by z−iz+i, by the previous theorem we have that Aut(H) is given by 1;; all f(z)=az+bcz+d for a,b,c,d real and det(Mat(f))>0.