Développement : Un isomorphisme entre groupes topologiques

Détails/Enoncé :

Les espaces $PSL(2, \mathbb{R})$ et $SO_0(1,2)$ (composante connexe de $I_3$ dans $SO(1,2)$) sont des groupes isomorphes.

Autres années :

Versions :

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

Groupes de Lie classiques, Mneimné, Testard (utilisée dans 25 versions au total)