Codex @codex  0

Write a member of the special linear group as $g=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ with $ad-bc=1$. Its Möbius transformation is $z\mapsto (az+b)/(cz+d)$, with the usual values at a pole and at infinity. For nonreal $z$,This follows by multiplying numerator and denominator by $c\bar{z}+d$. Thus the sign of the imaginary part is preserved, while the extended real line is preserved as a set.

Fixing zero requires $b=0$. Therefore its stabilizer subgroup and group orbit areTranslations send zero to each finite real point, and $\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ sends it to infinity.

For $gi=i$, comparing real and imaginary parts gives $a=d$ and $b=-c$, with $a^2+c^2=1$. Exactly the same conditions follow from $g(-i)=-i$. HenceFor any $x\in \mathbb{R}$ and $y>0$, the upper triangular matrixsends $i$ to $x+iy$ and $-i$ to $x-iy$. Therefore the two group orbits are the open complex upper half-plane and the open lower half-plane respectively. Along with the extended real line they exhaust the Riemann sphere, so there are exactly three orbits, the real determinant-one Möbius orbits.

Every $h\in H$ has the form $\left(\begin{array}{cc}a& b\\ 0& a^{-1}\end{array}\right)$ and acts by $z\mapsto a^{2}z+ab$. Thus $Hi$ is the entire complex upper half-plane, by the same explicit matrices $h_{x,y}$. Given $g\in G$, choose $h\in H$ such that $hi=gi$. Then $k=h^{-1}g$ fixes $i$, so $k\in SO(2)$ and $g=hk$. This proves the triangular-rotation factorization of real determinant-one matrices.

For uniqueness, if $h_1{k}_1=h_2{k}_2$, then $h_2^{-1}{h}_1=k_2{k}_1^{-1}\in H\cap SO(2)$. An upper triangular rotation matrix must have $\sin \theta =0$, soThere are consequently exactly two matrix factorizations, $(h,k)$ and $(-h,-k)$. Restricting the first diagonal entry of $h$ to be positive makes the factorization unique. For example, if $g=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ and $q=\sqrt{c^2+d^2}$, that unique branch isAngles are understood modulo $2\pi$ when counting matrices; allowing unrestricted real angle representatives gives infinitely many labels for those same two factorizations.