Classes à gauche et classes à droite suivant un sous-groupe

Soient ${\displaystyle (G,\star )}$ un groupe et ${\displaystyle H}$ un sous-groupe de ${\displaystyle G}$. Le lecteur vérifiera que la relation ${\displaystyle x^{-1}y\in H}$ est une relation d'équivalence (en ${\displaystyle x}$ et ${\displaystyle y}$) dans ${\displaystyle G}$ et que les classes d'équivalence correspondantes sont les parties de ${\displaystyle G}$ de la forme ${\displaystyle xH}$ où ${\displaystyle x}$ parcourt ${\displaystyle G}$. On appelle ces parties de ${\displaystyle G}$ les classes à gauche (de ${\displaystyle G}$) suivant ${\displaystyle H}$, ou encore modulo ${\displaystyle H}$.

De même, la relation ${\displaystyle yx^{-1}\in H}$ est une relation d'équivalence dans ${\displaystyle G}$ et les classes d'équivalence correspondantes sont les parties de ${\displaystyle G}$ de la forme ${\displaystyle Hx}$, où ${\displaystyle x}$ parcourt ${\displaystyle G}$. On appelle ces parties de ${\displaystyle G}$ les classes à droite (de ${\displaystyle G}$) suivant ${\displaystyle H}$, ou encore modulo ${\displaystyle H}$.

La classe à gauche et la classe à droite suivant ${\displaystyle H}$ de l'élément neutre sont toutes deux égales à ${\displaystyle H}$ lui-même. De façon générale, la classe à gauche ${\displaystyle xH}$ d'un élément ${\displaystyle x}$ de ${\displaystyle G}$ est égale à ${\displaystyle H}$ si et seulement si ${\displaystyle x}$ appartient à ${\displaystyle H}$. Même chose pour la classe à droite.

Il est clair que si ${\displaystyle G}$ est commutatif, les classes à gauche suivant ${\displaystyle G}$ sont identiques aux classes à droite. Plus généralement, même si ${\displaystyle G}$ n’est pas commutatif, il se peut que les classes à gauche suivant un certain sous-groupe ${\displaystyle H}$ de ${\displaystyle G}$ soient identiques aux classes à droite. Un tel sous-groupe est dit normal, ou encore distingué, ou encore invariant. On y reviendra plus loin.

Nous noterons ${\displaystyle G/H}$ l’ensemble des classes à gauche d'un groupe ${\displaystyle G}$ modulo un sous-groupe ${\displaystyle H}$ de ${\displaystyle G}$ (c'est-à-dire : l'ensemble quotient de ${\displaystyle G}$ par la relation d'équivalence évoquée plus haut)^[1].

Indice d'un sous-groupe

L'application ${\displaystyle X\mapsto X^{-1}}$ est une bijection de l’ensemble des classes à gauche sur l’ensemble des classes à droite, donc l’ensemble des classes à gauche et l’ensemble des classes à droite ont même cardinal. Ce cardinal est appelé l'indice de ${\displaystyle H}$ dans ${\displaystyle G}$ et noté ${\displaystyle (G:H)}$, ou encore ${\displaystyle [G:H]}$, ou encore ${\displaystyle |G:H|}$.

Exemples : l'indice de ${\displaystyle G}$ dans lui-même est égal à ${\displaystyle 1}$ ; l'indice dans ${\displaystyle G}$ du sous-groupe réduit à l'élément neutre est égal à l’ordre de ${\displaystyle G}$.

Toutes les classes à gauche (et toutes les classes à droite) suivant ${\displaystyle H}$ ont le même cardinal, à savoir l’ordre de ${\displaystyle H}$. Comme la somme des cardinaux des classes d'une relation d'équivalence sur un ensemble est le cardinal de cet ensemble, nous avons donc :

${\displaystyle \vert G\vert =\vert G:H\vert \cdot \vert H\vert }$.

Il en résulte que l’ordre de ${\displaystyle H}$ divise celui de ${\displaystyle G}$, ce qui est banal si ${\displaystyle G}$ est infini, mais constitue dans le cas fini l'important

Théorème de Lagrange

L'ordre d'un sous-groupe divise l’ordre du groupe.

Exemple :

• Nous verrons plus loin qu’il existe des groupes finis d'ordre premier, dont l'exemple classique est le groupe additif ${\displaystyle \mathbb {Z} /p\mathbb {Z} }$, avec ${\displaystyle p}$ premier. (Il s'agit d'un groupe quotient, dont la définition est donnée plus bas.) En raison du théorème de Lagrange, les seuls sous-groupes possibles de ce groupe sont d'ordre ${\displaystyle 1}$ ou ${\displaystyle p}$. Autrement dit, ce groupe n'a pas de sous-groupe propre (c'est-à-dire : différent de lui-même) non trivial.

Remarques :

• Comme noté, les groupes finis sont les seuls groupes pour lesquels le théorème de Lagrange est intéressant. Il peut alors s'énoncer comme suit : soit ${\displaystyle G}$ un groupe fini et ${\displaystyle d}$ un nombre naturel. S'il existe un sous-groupe d'ordre ${\displaystyle d}$ de ${\displaystyle G}$, ${\displaystyle d}$ divise l’ordre de ${\displaystyle G}$.

La réciproque du théorème ainsi formulé n’est pas vraie, en ce sens que si ${\displaystyle d}$ est un diviseur de l’ordre d'un groupe fini, ce groupe n'admet pas forcément de sous-groupe d'ordre ${\displaystyle d}$ : nous verrons, par exemple, dans les exercices sur le chapitre Groupes alternés que le groupe alterné A₄, qui est d'ordre 12, n' a pas de sous-groupe d'ordre 6. Par contre, nous montrerons plus loin que cette réciproque est vraie dans le cas des groupes abéliens. Dans le cas général, nous rencontrerons des réciproques partielles (théorèmes de Cauchy, de Sylow et de Hall).

• La relation

${\displaystyle \vert G\vert =\vert G:H\vert \cdot \vert H\vert }$

montre aussi que l'indice ${\displaystyle \vert G:H\vert }$ divise ${\displaystyle \vert G\vert }$.

Définition

Si H est un sous-groupe d'un groupe G, on dit qu'une partie T de G est une transversale à droite (resp. une transversale à gauche) de H dans G, ou encore un système complet de représentants des classes à droite (resp. à gauche) de G suivant H, si T comprend un et un seul élément de chaque classe à droite (resp. à gauche) de G suivant H.

Dire qu'une partie T de G est une transversale à droite (resp. à gauche) de H dans G revient à dire que l’application ${\displaystyle H\times T\rightarrow G:(h,t)\mapsto ht}$ (resp. l’application ${\displaystyle T\times H\rightarrow G:(t,h)\mapsto th}$) est une bijection.

Au lieu de « transversale à droite » (resp. « transversale à gauche »), nous dirons aussi « transversale droite » (resp. « transversale gauche »).

Existence des transversales

Soient G un groupe et H un sous-groupe de G. Il existe (au moins) une transversale droite (resp. gauche) de H dans G.

Démonstration. Démontrons l'existence d'une transversale droite. Désignons par D l'ensemble des classes à droite de H dans G. Ces classes sont non vides, donc, d'après l'axiome du choix, il existe une application f de D dans G qui à toute classe à droite fait correspondre un élément de cette classe. (L'axiome du choix n'est pas nécessaire si l'ensemble D est fini, c'est-à-dire si H est d'indice fini dans G.) On vérifie facilement que l'image de f est une transversale droite de H dans G. (On a simplement adapté à un cas particulier la démonstration de ce théorème de théorie des ensembles : étant donné une partition P d'un ensemble E, il existe une partie de T de E telle que toute classe de la partition P comprenne un et un seul élément de T.)

Formule des indices

Soient ${\displaystyle G}$ un groupe, ${\displaystyle H}$ un sous-groupe de ${\displaystyle G}$ et ${\displaystyle K}$ un sous-groupe de ${\displaystyle H}$, autrement dit un sous-groupe de ${\displaystyle G}$ contenu dans ${\displaystyle H}$. Alors ${\displaystyle \vert G:K\vert =\vert G:H\vert \cdot \vert H:K\vert }$.

Démonstration. Choisissons un système de représentants des classes à gauche de ${\displaystyle G}$ suivant ${\displaystyle H}$, c'est-à-dire une famille ${\displaystyle \left(x_{i}\right)_{i\in I}}$ d'éléments de ${\displaystyle G}$ telle que, pour toute classe à gauche de ${\displaystyle G}$ suivant ${\displaystyle H}$, il existe un et un seul ${\displaystyle i\in I}$ pour lequel ${\displaystyle x_{i}}$ appartienne à cette classe ; donc ${\displaystyle \vert G:H\vert =\operatorname {Card} (I)}$. De même, choisissons une famille ${\displaystyle (y_{j})_{j\in J}}$ d'éléments de ${\displaystyle H}$ telle que, pour toute classe à gauche de ${\displaystyle H}$ suivant ${\displaystyle K}$, il existe un et un seul ${\displaystyle j\in J}$ pour lequel ${\displaystyle y_{j}}$ appartienne à cette classe ; donc ${\displaystyle \vert H:K\vert =\operatorname {Card} (J)}$. Prouvons que la famille ${\displaystyle (x_{i}y_{j})_{(i,j)\in I\times J}}$ est un système de représentants des classes à gauche de ${\displaystyle G}$ suivant ${\displaystyle K}$.

Soit ${\displaystyle x}$ un élément de ${\displaystyle G}$. Puisque les ${\displaystyle x_{i}}$ forment un système de représentants des classes à gauche de ${\displaystyle G}$ suivant ${\displaystyle H}$, il existe ${\displaystyle i\in I}$ et ${\displaystyle h\in H}$ tels que ${\displaystyle x=x_{i}h}$.

Puisque les ${\displaystyle y_{j}}$ forment un système de représentants des classes à gauche de ${\displaystyle H}$ suivant ${\displaystyle K}$, il existe ${\displaystyle j\in J}$ et ${\displaystyle k\in K}$ tels que ${\displaystyle h=y_{j}k}$.

On a alors ${\displaystyle x=x_{i}y_{j}k}$, ce qui montre que pour tout élément ${\displaystyle x}$ de ${\displaystyle G}$, il existe un couple ${\displaystyle (i,j)\in I\times J}$ tel que ${\displaystyle x}$ soit de la forme ${\displaystyle x=x_{i}y_{j}k}$ avec ${\displaystyle k\in K}$. Un tel couple est unique, car si ${\displaystyle (r,s)}$ en est un autre, il existe ${\displaystyle k'\in K}$ tel que ${\displaystyle x=x_{r}y_{s}k'}$, d'où

${\displaystyle (1)\quad x_{i}y_{j}k=x_{r}y_{s}k'}$,

d'où tout d’abord (puisque ${\displaystyle y_{j},k,y_{s},k'}$ appartiennent à ${\displaystyle H}$) ${\displaystyle x_{r}^{-1}x_{i}\in H}$, d'où, par hypothèse sur les ${\displaystyle x_{i}}$, ${\displaystyle r=i}$ ; dès lors, (1) donne ${\displaystyle y_{j}k=y_{s}k'}$ avec ${\displaystyle k,k'\in K}$ : par hypothèse sur les ${\displaystyle y_{j}}$, ${\displaystyle j=s}$.

Nous avons donc prouvé, comme annoncé, que la famille ${\displaystyle \left(x_{i}y_{j}\right)_{(i,j)\in I\times J}}$ est un système de représentants des classes à gauche de ${\displaystyle G}$ suivant ${\displaystyle K}$. L'indice de ${\displaystyle K}$ dans ${\displaystyle G}$ est donc

${\displaystyle \operatorname {Card} (I\times J)=\operatorname {Card} (I)\times \operatorname {Card} (J)=\vert G:H\vert \cdot \vert H:K\vert }$, ce qui démontre l'énoncé.

(Remarque : en prenant pour ${\displaystyle K}$ dans la formule des indices le sous-groupe réduit à l'élément neutre, nous retrouvons l'égalité ${\displaystyle \vert G\vert =\vert G:H\vert \cdot \vert H\vert }$. Nous aurions donc pu ne pas démontrer cette égalité séparément et la déduire de la formule des indices.)

Sous-groupe d'indice fini d'un groupe de type fini

Cette section peut être omise en première lecture. On y démontre un lemme qui servira à prouver le théorème de Nielsen-Schreier dans un futur chapitre sur les groupes libres. On démontre aussi un théorème (tout sous-groupe d'indice fini d'un groupe de type fini est un groupe de type fini) qui intervient dans une des démonstrations d'un théorème de Schur^[2].

Définition

On dit qu'un groupe est de type fini s'il admet une partie génératrice finie.

Soient ${\displaystyle H}$ un sous-groupe d'un groupe ${\displaystyle G}$ et ${\displaystyle T}$ une transversale droite de ${\displaystyle H}$ dans ${\displaystyle G}$. Pour tout élément ${\displaystyle g}$ de ${\displaystyle G}$, il existe un et un seul élément ${\displaystyle h}$ de ${\displaystyle H}$ tel que ${\displaystyle g}$ soit de la forme ${\displaystyle ht}$ avec ${\displaystyle t}$ dans ${\displaystyle T}$.

Posons ${\displaystyle p(g)=h}$. Nous définissons ainsi une application ${\displaystyle p}$ de ${\displaystyle G}$ dans ${\displaystyle H}$ (dépendant évidemment de ${\displaystyle T}$). Cette application ${\displaystyle p}$ est une surjection. En effet, si ${\displaystyle h}$ est un élément de ${\displaystyle H}$, choisissons un élément ${\displaystyle t}$ de T ; alors ${\displaystyle h}$ est image par ${\displaystyle p}$ de l'élément ${\displaystyle ht}$ de ${\displaystyle G}$.

Lemme

Soient G un groupe, X une partie génératrice de G, H un sous-groupe de G et T une transversale droite de H dans G comprenant l'élément 1. Pour tout élément t de T et tout élément x de X, notons ${\displaystyle h_{t,x}}$ l'unique élément h de H tel que tx appartienne à hT.
L'ensemble des ${\displaystyle h_{t,x}}$, où t parcourt T et où x parcourt X, est une partie génératrice du groupe H.

Démonstration. Si p désigne la surjection de G sur H que nous avons considérée juste avant l'énoncé, ${\displaystyle h_{t,x}}$ = p(tx). Il s'agit donc de prouver que

(thèse 1)${\displaystyle \qquad }$ l'ensemble des p(tx), où t parcourt T et où x parcourt X, est une partie génératrice du groupe H.

Considérons d'abord l’ensemble B des éléments de la forme p(tx), où t parcourt T et où x parcourt X ∪ X^-1, et prouvons que tout élément de H est un produit d'éléments de B.

Pour tout élément g de G, il existe un nombre naturel n et des éléments x₁, ... , x_n de X ∪ X^-1 tels que g = x₁ ... x_n (ceci parce que X est une partie génératrice de G). Puisque p est une surjection de G dans H, il en résulte que tout élément de H est de la forme p(x₁ ... x_n) où x₁, ... , x_n sont des éléments de X ∪ X^-1. Donc, pour prouver que tout élément de H est un produit d'éléments de B, il suffit de prouver que tout élément de la forme p(x₁ ... x_n) où x₁, ... , x_n sont des éléments de X, est un produit d'éléments de B. Nous allons le prouver par récurrence sur n.

Pour n = 0, cela revient à dire que p(1) est un produit d'éléments de B. Or, puisque T comprend 1, il est clair que p(1) = 1, donc p(1) est le produit de la famille vide d'éléments de B. Supposons maintenant que n est un nombre naturel ≥ 1 tel que tout élément de la forme p(x₁ ... x_n-1), où x₁, ... , x_n-1 sont des éléments de X, est un produit d'éléments de B, et prouvons qu’il en est de même avec n au lieu de n – 1. Nous avons x₁ ... x_n-1 = p(x₁ ... x_n-1) t pour un certain t ∈ T, d'où x₁ ... x_n = p(x₁ ... x_n-1) t x_n. Nous avons t x_n = p(t x_n) t' pour un certain t' ∈ T, d'où x₁ ... x_n = p(x₁ ... x_n-1) p(t x_n) t', ce qui montre que p(x₁ ... x_n) = p(x₁ ... x_n-1) p(t x_n). Comme p(t x_n) appartient à B et que, par hypothèse de récurrence, p(x₁ ... x_n-1) est un produit d'éléments de B, il en résulte que p(x₁ ... x_n) est un produit d'éléments de B. Ceci est donc démontré par récurrence pour tout nombre naturel n. Comme nous l'avons vu, cela prouve que tout élément de H est produit d'éléments de B.

Rappelons que B désigne l’ensemble des éléments de la forme p(tx), où t parcourt T et où x parcourt X ∪ X^-1. Désignons par A la partie de B formée par les éléments de la forme p(tx), où t parcourt T et où x parcourt X. Prouvons que A est une partie génératrice de H. Vu le précédent résultat, il suffit évidemment de prouver que B ⊆ A ∪ A^-1 et pour cela, il suffit de prouver que pour tout élément x de X et tout élément t de T, p(tx^-1) est l'inverse d'un élément de A. Or tx^-1 = p(tx^-1) t' pour un certain t' ∈ T, d'où, en multipliant à droite par x, t = p(tx^-1) t' x. Mais t' x = p(t' x) t'' pour un certain t'' ∈ T, d'où t = p(tx^-1) p(t' x) t''. D'après l'unicité de l'écriture d'un élément de G comme produit d'un élément de H par un élément de T, nous avons donc p(tx^-1) p(t' x) = 1, donc p(tx^-1) est bien l'inverse d'un élément de A, à savoir de p(t' x). Nous avons donc prouvé que B ⊆ A ∪ A^-1 (et la démonstration montre même qu'on a l'égalité), ce qui, comme nous l'avons vu, prouve que A est une partie génératrice de H. C'est notre thèse (1), donc l'énoncé est démontré.

Corollaire

Soient ${\displaystyle G}$ un groupe, ${\displaystyle H}$ un sous-groupe de ${\displaystyle G}$. Si ${\displaystyle X}$ est une partie génératrice de ${\displaystyle G}$, alors ${\displaystyle H}$ admet une partie génératrice de cardinal ${\displaystyle \leq [G:H]\times \operatorname {Card} (X)}$.

Démonstration. Choisissons une transversale droite ${\displaystyle T}$ de ${\displaystyle H}$ dans ${\displaystyle G}$. Si nous remplaçons dans ${\displaystyle T}$ l'unique élément de ${\displaystyle H\cap T}$ par 1, nous obtenons encore une transversale droite de H dans G. Nous pouvons donc supposer que T comprend l'élément 1. D'après le lemme qui précède, l'ensemble A des ${\displaystyle h_{t,x}}$, où t parcourt T et où x parcourt X, est une partie génératrice du groupe H. L'application ${\displaystyle T\times X\to A:(t,x)\mapsto h_{t,x}}$ est une surjection de ${\displaystyle T\times X}$ sur A, donc

${\displaystyle \operatorname {Card} (A)\leq \operatorname {Card} (T)\operatorname {Card} (X).}$

Comme le cardinal de T est égal à l'indice de H dans G, l'énoncé en résulte.

En particulier :

Théorème

Soit G un groupe de type fini. Tout sous-groupe d'indice fini de G est de type fini. Plus précisément, si G admet une partie génératrice de cardinal fini m, si H est un sous-groupe d'indice fini j de G, alors H admet une partie génératrice de cardinal ${\displaystyle \leq jm.}$

Remarques. 1° La théorie des groupes libres nous permettra de démontrer l'énoncé plus fort que voici : si G est un groupe admettan une partie génératrice de cardinal fini m, si H est un sous-groupe d'indice fini j de G, alors H admet une partie génératrice de cardinal ${\displaystyle \leq 1+j(m-1)}$. Voir les exercices sur le chapitre Groupes libres : théorème de Nielsen-Schreier.
2° Un sous-groupe d'un groupe de type fini n'est pas forcément de type fini. On en verra un exemple dans les exercices sur le chapitre Groupes libres : théorème de Nielsen-Schreier.

Formule du produit

Formule du produit^[3]

Soient G un groupe, H et K des sous-groupes de G. On a

${\displaystyle \vert HK\vert \cdot \vert H\cap K\vert =\vert H\vert \cdot \vert K\vert }$

(où la partie HK de G n’est pas forcément un sous-groupe de G).

Première démonstration. On prouve dans les exercices que

${\displaystyle \ (1)\qquad \vert H:(H\cap K)\vert =\operatorname {Card} (E)}$,

où E désigne l’ensemble des classes à gauche modulo K contenues dans HK.

HK est réunion disjointe de ces classes, donc ${\displaystyle \vert K\vert \operatorname {Card} (E)=\operatorname {Card} (HK)}$. Dès lors, en multipliant les deux membres de (1) par ${\displaystyle \vert K\vert \cdot \vert H\cap K\vert }$, on obtient l'énoncé.

Seconde démonstration. Soit f l’application ${\displaystyle (x,y)\mapsto xy}$ de H × K dans HK. Prouvons que pour tout élément z de HK, il y a exactement ${\displaystyle \vert H\cap K\vert }$ éléments (x, y) de H × K tels que f(x, y) = z. Puisque z appartient à HK, il existe a dans H et b dans K tels que z = ab. Prouvons que les éléments (x, y) de H × K tels que f(x, y) = z sont les éléments de la forme (ad, d^-1b), où d parcourt ${\displaystyle H\cap K}$. Si (x, y) est tel que f(x, y) = z, alors xy = ab, d'où a^-1x = by^-1. Si nous désignons par d la valeur commune de a^-1x et de by^-1, il est clair que d appartient à ${\displaystyle H\cap K}$ et que x = ad, y = d^-1b. Nous avons donc prouvé que tout élément (x, y) de H × K tel que f(x, y) = z est un élément de la forme (ad, d^-1b), où d appartient ${\displaystyle H\cap K}$. Réciproquement, si d appartient à ${\displaystyle H\cap K}$, il est clair que (a, d) est un élément de H × K et que f(ad, d^-1b) = ab = z. Nous avons donc prouvé, comme annoncé, que les éléments (x, y) de H × K tels que f(x, y) = z sont les éléments de la forme (ad, d^-1b), où d parcourt ${\displaystyle H\cap K}$. Il est clair que si d et d' sont deux éléments distincts de ${\displaystyle H\cap K}$, les deux éléments (ad, d^-1b) et (ad', d'^-1b) de H × K sont distincts, donc les éléments de H × K de la forme (ad, d^-1b), où d parcourt ${\displaystyle H\cap K}$, sont en quantité ${\displaystyle \vert H\cap K\vert }$. Nous avons donc prouvé, comme annoncé, que pour tout élément z de HK, il y a exactement ${\displaystyle \vert H\cap K\vert }$ éléments (x, y) de H × K tels que f(x, y) = z. La formule du produit résulte donc du principe des bergers.

Troisième démonstration. Soit T une transversale à gauche de H ∩ K dans H. Comme |H| = |T|.|H ∩ K|, il suffit de prouver que (i) HK est égal à TK, et que (ii) TK est équipotent au produit cartésien T × K.
(i) Nous avons HK = (T (H ∩ K)) K = T ((H ∩ K) K) = TK
(ii) Pour prouver que TK est équipotent au produit cartésien T × K, il suffit de prouver que la surjection ${\displaystyle (t,k)\mapsto tk}$ de T × K sur TK est injective. Soient donc (t,k) et (t',k') deux éléments de T × K tels que tk = t'k'; il suffit de prouver que t = t' (ce qui entraîne évidemment k = k'). Nous avons t'^-1 t = k' k^-1. Puisque T est contenue dans H, le membre gauche est contenu dans H. Le membre droit est contenu dans K, donc le membre gauche t'^-1 t est contenu dans (H ∩ K). Puisque T est une transversale gauche de H ∩ K dans H, on a donc t' = t, comme annoncé.

Notes et références

1. ↑ Cette notation est employée par N. Bourbaki, Algèbre, Paris, 1970, ch. I, § 5, n^o 5, p. 56.
2. ↑ J. J. Rotman, An Introduction to the Theory of Groups, Springer, 4^e éd., tirage de 1999, lemme 7.56, p. 198
3. ↑ J. J. Rotman, ''An Introduction to the Theory of Groups, 4^e éd., tirage de 1999, p. 30.