correspond un groupe de Lie simplement connexe G, unique à isomorphisme près. De plus cet isomorphisme est uniquement déterminé par l'isomorphisme d'algèbres
inversible qui détermine l’isomorphisme. Si le corps K est ℝ (les nombres réels) ou ℂ (les nombres complexes), alors GL(n, K) est un groupe de Lie réel ou complexe
trois parties : premièrement, montrer qu'il n'existe à isomorphisme près qu'un nombre fini de groupes discrets d'isométries de ℝn admettant un domaine fondamental
Babai démontre la complexité quasi-exponentielle de ce problème. Voir László Babai Graph Isomorphism in Quasipolynomial Time sur ArXiV.org. C. H. Papadimitriou
of Groups, Berlin, New York, Springer, 1994, 517 p. (ISBN 978-0-387-94285-8, lire en ligne) (en) J. Stillwell, « The word problem and the isomorphism problem