Formule du produit (théorie des groupes)
Modèle:Confusion En mathématiques, la formule du produit en théorie des groupes relie les cardinaux de quatre parties d'un groupe, naturellement associées à deux sous-groupes arbitraires.
Énoncé
Soient H et K deux sous-groupes d'un groupe G. Désignons par HK l'ensemble des éléments de la forme hk, h parcourant H et k parcourant K. Les ordres |H|, |K| et |H∩K| des sous-groupes H, K et H∩K, et le cardinal |HK| de la partie HK sont reliés par la formule suivante, dite formule du produit[1] :
Démonstration
Considérons l'application
Soit y un élément de HK. Nous pouvons choisir une écriture de y sous la forme hk avec h dans H et k dans K. Nous allons calculer le cardinal de l'ensemble des éléments (h', k') de H × K tels que f(h', k') = y. Ce sont les éléments (h', k') de H × K tels que h'k' = hk, ou encore tels que h-1h' = kk'-1. Quand cette dernière relation est satisfaite, h-1h' est un élément i de H∩K tel que h' = hi et k' = i-1k. On en tire facilement que les éléments (h', k') de H × K tels que f(h', k') = y sont les éléments de H × K de la forme (hi, i-1k), où i parcourt H∩K, et sont donc en quantité |H∩K|. La formule du produit en résulte, compte tenu du lemme des bergers.
Cette formule peut aussi s'obtenir comme une application de la formule des classes pour l'orbite de l'élément neutre dans l'action de H × K sur G, chaque couple (h,k) agissant par multiplication à gauche par h et à droite par kModèle:Exp.
Généralisation
Pour un élément arbitraire g du groupe G, si l'on note HgK sa double classe, c'est-à-dire l'ensemble des éléments de la forme hgk quand h parcourt H et k parcourt K, on a[2] :
ou encore, sous une forme qui fait intervenir l'indice d'un sous-groupe et qui, pour des groupes infinis, est plus forte[3] :
Notes et références
- ↑ Voir par exemple J. J. Rotman, An Introduction to the Theory of Groups, Springer, Modèle:4e éd., 1995 Modèle:ISBN, p. 30.
- ↑ La seconde de ces deux égalités est énoncée dans le cas particulier où H et K sont finis, sous forme d'exercice, dans : I. Martin Isaacs, Finite group theory, AMS Bookstore, 2008 Modèle:ISBN, p. 6. Les classes doubles sont présentées p. 304 du même ouvrage comme les orbites d'une action à droite de H × K sur G, qui n'est autre que la duale de l'action (à gauche) évoquée ci-dessus.
- ↑ La première égalité se déduit de la bijectivité de l'application
qui produit une partition de HgK en [H:H∩gKgModèle:Exp] parties équipotentes à K. La seconde se démontre de même, ou s'en déduit par passage aux symétriques.