Développement : Un isomorphisme entre groupes de Lie

Détails/Enoncé :

On note $PSL(2)=SL(2,\mathbb{R})/\lbrace \pm I_2\rbrace$, $O(1,2)$ le groupe d'isométrie de la forme quadratique réelle de signature $(1,2)$, et $SO_{0}(1,2)$ sa composante connexe à l'identité. Alors ces deux groupes sont isomorphes.

Versions :