Développement : Isomorphisme entre PSL2(C) et SO3(C)

Détails/Enoncé :

L'objectif est de montrer que les groupes $\mathrm{PSL}_2(\mathbb{C})$ et $\mathrm{SO}_3(\mathbb{C})$ sont isomorphes. On aura besoin pour cela tantôt d'algèbre (action par conjugaison, classification des formes quadratiques sur $\mathbb{C}$) et tantôt de l'analyse (inversion locale sur des sous-variétés, espaces tangents...).

Versions :

Références utilisées dans les versions de ce développement :

Histoires hédonistes de groupes et géométries, Tome 1, Caldero, Germoni (utilisée dans 92 versions au total)