Isomorphismes de groupes

Georges Lion
Agrg de mathmatiques, directeur d'tat, professeur honoraire l'universit du Pacifique,
Nouma (Nouvelle Caldonie).

1 OBJ ECTIFS - GNRALITS
2 et en dimension 3
3 et en dimension 3
Bibliographie

1 OBJECTIFS - GNRALITS
La lettre dsignant la forme de Lorentz de (resp. ), le but poursuivi ci-dessous est de
prouver gomtriquement l'existence d'un isomorphisme du groupe des commutateurs de
(not ) sur le groupe des homographies coefficients rels (resp. complexes).

Les gomtries hyperbolique et anallagmatique interviennent constamment et naturellement dans
les dmonstrations ; ensuite, au sujet de l'engendrement de et de , ces gomtries
permettent d'obtenir des prcisions qui amliorent les conclusions du thorme de Cartan-
Dieudonn dans les cas particuliers tudis. La gomtrie projective joue galement un rle
essentiel par application de son thorme fondamental.

Les ides communes aux deux dmonstations sont les suivantes.

1. Le groupe des homographies en ou , coefficents rels (resp. complexes) opre :
- sur l'ensemble des cercles ou droites d'quations respectives





- sur l'ensemble form de et des cercles-points, dont les quations ont des coefficients qui
annulent la forme (pour il s'agit de et de respectivement) ;
- avec prservation de l'orthogonalit.
Page 1sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...
Il s'ensuit que toute homographie transforme un pinceau ( points de base, de contact, de
Poncelet) en un pinceau de mme nature.
Rappelons enfin que tout lment du pinceau engendr par et a pour quation une
combinaison linaire de celles de et .

2. Par ailleurs, on peut mettre en bijection l'ensemble des cercles ou droites dj numrs avec
l'ensemble des droites vectorielles de (resp. ) sur lesquelles la forme est dfinie
positive, ou nulle, c'est--dire avec une partie du plan projectif (resp. de l'espace projectif
).
Pour tout sous-espace vectoriel de dimension , la signification des qualificatifs euclidien,
hyperbolique, isotrope sera considre comme acquise ; de mme pour toute droite vectorielle
celle de dfinie positive, dfinie ngative, isotrope.

3. toute homographie laissant invariant le demi-plan de Poincar (resp. coefficients
complexes) correspond donc par 2. une bijection de la partie vue en 2. qui prserve la -
orthogonalit.
L o elle est dfinie, prserve aussi l'alignement puisque transforme un pinceau en un
pinceau. En particulier, transforme tout sous-espace euclidien en un sous-espace euclidien si
bien que pour toute droite dfinie ngative on peut poser


cela prolonge la dfinition de (resp. ) tout entier, avec prservation de l'alignement et
de l'orthogonalit.

4. on peut donc faire correspondre un automorphisme projectif not encore (voir [3],
chapitre 1 C, thorme 7). Utilisant la prservation de l'orthogonalit, on obtient que si est
un reprsentant de dans (resp. ) alors il existe tel que l'on ait
.
Finalement, l'application est un morphisme injectif du groupe des homographies en
ou vers le groupe projectif ; pour aller plus loin il faut, maintenant, distinguer les deux
cas envisags.

2 et en dimension 3
Page 2sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...
Thorme 1 tant le groupe des lments de laissant invariante et de
dterminant 1 :
a) il existe un isomorphisme de sur ;
b) dfinit un isomorphime de sur .

Dmonstration
a) Tout lment de possde dans deux reprsentants opposs, de dterminants
et , donc un reprsentant et un seul dans . D'o l'on dduit morphisme injectif de
vers ; il reste montrer que est surjectif.
Tout lment de est compos d'un nombre pair de rflexions (voir [1],
chapitre 4 III, thorme II) ; est donc aussi le compos des demi-tours dont l'axe
sera not .
- Si est dfinie positive, alors laisse invariantes toutes les droites d'un plan hyperbolique,
correspondant par 2. aux cercles d'un pinceau de Poncelet ; il existe donc une rflexion de
Poincar telle que .
- Si est dfinie ngative alors laisse invariantes toutes les droites d'un plan euclidien,
correspondant par 2. aux cercles d'un pinceau points de base ; il existe donc symtrie
de Poincar de centre telle que .
est donc compos des et des et appartient ainsi .

Remarque
correspond par 2. l'axe de rflexion ; on aurait fait correspondre jadis un cercle de
centre et de rayon imaginaire ; les habitudes actuelles ne permettent plus de s'exprimer
ainsi.

b) D'aprs a., on a : .
L'inclusion est claire.
Page 3sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...
Rciproquement, tout dfinit un dplacement de la gomtrie de Poincar
compos de deux rflexions conjugues et . D'o


Finalement : .

Remarque
La gomtrie de Poincar permet aussi de prouver : .
Thorme 2 a) Tout lment de est compos d'au plus trois demi-tours d'axe dfini
positif et rciproquement.
b) Tout lment de est compos de deux demi-tours d'axe dfini positif et rciproquement.

3 et en dimension 3
Notons le groupe des homographies


l'ensemble des homographies


et le groupe .

Thorme 1 tant le groupe des lments de laissant invariante :
a) est isomorphe ;
b) , c'est--dire , est isomorphe .

Dmonstration
Page 4sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...
a) Le morphisme injectif de vers obtenu la fin du premier paragraphe fait
correspondre bijectivement :
- les rflexions ou inversions de puissance positive avec les images projectives des rflexions par
rapport aux sous-espaces hyperboliques de dimension 3 ;
- les inversions de puissance ngative avec les images projectives des rflexions par rapport aux
sous-espaces euclidiens de dimension 3.
Tout lment de (resp. ) est compos de rflexions (resp. en nombre pair), le
morphisme envisag est donc surjectif de (resp. ) sur (resp. ).
b) On sait que tout lment de est compos de deux involutions conjugues de . D'o l'on
a :


De , on dduit : .
Tout lment de est l'image projective
- d'un lment de ,
- et d'un lment de , car le contraire entranerait , d'o
ce qui contredit [1], chapitre 5I, exercice 8. Il s'en suit l'assertion b.

Thorme 2 a) Tout lment de est compos de deux symtries par rapport des plans
de mme nature et rciproquement.
b) Tout lment de est compos de deux symtries par rapport des plans de
natures diffrentes et rciproquement.

Remarque
Dans [2], chapitre VIII 9, thormes 3 et 4, on trouve d'autres dmonstrations du thorme 2.1
sous des hypothses plus gnrales que ci-dessus, et du thorme 3.1.

Dans le prsent travail, on a vit le recours la simplicit des .

Bibliographie
Page 5sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...
1 Georges Lion, Algbre, Vuibert.
2 Daniel Perrin, Cours d'algbre, Ellipses.
3 Pierre Samuel, Gomtrie projective, PUF.

Page 6sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=288&Type=enonce&Num=0&Mode=...