Théorie des groupes/Produit direct et somme restreinte

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Sauf mention contraire, les lois de groupe seront notées multiplicativement. Quand il sera question de plusieurs groupes, il nous arrivera de désigner leurs éléments neutres par le même symbole 1, ce qui, en pratique, ne prête pas à confusion.

Produit direct de deux groupes

Soient $G_{1}$ et $G_{2}$ deux groupes. Désignons par $G_{1}\times G_{2}$ leur produit cartésien (ou, plus exactement, le produit cartésien de leurs ensembles sous-jacents). Il est naturel de définir sur $G_{1}\times G_{2}$ une loi de composition $\star$ composante par composante :

$(x_{1},x_{2})\star (y_{1},y_{2})=(x_{1}y_{1},x_{2}y_{2})$,

le produit $x_{1}y_{1}$ apparaissant dans le second membre étant calculé dans $G_{1}$ et le produit $x_{2}y_{2}$ dans $G_{2}$. On vérifie facilement que cette loi de composition munit $G_{1}\times G_{2}$ d'une structure de groupe. Ce groupe est appelé produit direct (ou simplement produit) des groupes $G_{1}$ et $G_{2}$ et noté $G_{1}\times G_{2}$. Si $e_{1}$ et $e_{2}$ désignent respectivement les éléments neutres de $G_{1}$ et de $G_{2}$, l'élément neutre de $G_{1}\times G_{2}$ est $(e_{1},e_{2})$. Le symétrique d'un élément $(x_{1},x_{2})$ de $G_{1}\times G_{2}$ est l'élément $(x_{1}^{-1},x_{2}^{-1})$.

L'application $(g,h)\mapsto (h,g)$ définit un isomorphisme de $G\times H$ sur $H\times G$ (« commutativité » du produit direct) et l’application $((g,h),k)\mapsto (g,(h,k))$ définit un isomorphisme de $(G\times H)\times K$ sur $G\times (H\times K)$ (« associativité » du produit direct).

Produit direct d'une famille de groupes

La définition qui précède se généralise comme suit à une famille quelconque de groupes.

Définition

Soit $(G_{i})_{i\in I}$ une famille (finie ou infinie) de groupes. On appelle groupe produit de cette famille, ou produit de cette famille, ou produit direct de cette famille, et on note $\prod _{i\in I}G_{i}$ le produit cartésien de la famille des (ensembles sous-jacents des) $G_{i}$, muni de la loi de composition composante par composante :

$(x_{i})_{i\in I}\star (y_{i})_{i\in I}=(x_{i}y_{i})_{i\in I}$,

où, pour chaque i, le produit $x_{i}y_{i}$ est calculé dans $G_{i}$.

Il est clair que cette loi de composition est bien une loi de groupe.

Remarque. Les notations ne sont pas tout à fait fixées. L'emploi ci-dessus du symbole $\prod$ est conforme à Bourbaki, à J.J. Rotman, à D.S. Dummit et R.M. Foote etc. Kurzweil et Stellmacher notent ${\underset {i=1}{\stackrel {n}{\times }}}G_{i}$ ou encore ${\underset {i=1,...,n}{\stackrel {}{\times }}}G_{i}$ ou encore $G_{1}\times \cdots \times G_{n}$ le produit direct d'une famille finie $(G_{i})_{1\leq i\leq n}$ de groupes. Ils n'emploient le symbole $\prod$ que pour désigner des opérations internes à un groupe. W.R. Scott, Group Theory, 1964, réimpr. Dover, 1987, pp. 14-15 (exemples 11 et 12), désigne par $\pi \{G_{s}\vert s\in S\}$ le produit direct d'une famille $\ (G_{s})_{s\in S}$ de groupes.

Somme restreinte d'une famille de groupes

Dans le produit direct $\prod _{i\in I}G_{i}$, considérons les éléments $(x_{i})_{i\in I}$ possédant la propriété suivante : l’ensemble des éléments i de I tels que $x_{i}\neq 1$ (où 1 désigne le neutre de $G_{i}$) est fini. Ces éléments de $\prod _{i\in I}G_{i}$, appelés familles de support fini, forment un sous-groupe de $\prod _{i\in I}G_{i}$.

Définition

Soit $(G_{i})_{i\in I}$ une famille de groupes. On appelle somme restreinte externe, ou simplement somme restreinte de la famille $(G_{i})_{i\in I}$ et on note $\sum _{i\in I}G_{i}$ le sous-groupe de $\prod _{i\in I}G_{i}$ formé par les familles de support fini. Si les groupes G_i sont commutatifs, on dit somme directe au lieu de somme restreinte.

Si l’ensemble I est fini, la somme restreinte et le produit coïncident. Dans la suite de ce chapitre, nous ne nous intéresserons plus au produit, mais seulement à la somme restreinte d'une famille de groupes.

Soient $(G_{i})_{i\in I}$ une famille de groupes et S sa somme restreinte. Pour chaque élément i de I, désignons par $\varphi _{i}$ l’application de $G_{i}$ dans S qui à l'élément x de $G_{i}$ fait correspondre la famille dont la i-ème valeur est x et les autres valeurs 1. Nous définissons ainsi un homomorphisme injectif $\varphi _{i}$ de $G_{i}$ dans S. Cet homomorphisme est appelé i-ème inclusion canonique de $G_{i}$ dans S. L'image $\varphi _{i}(G_{i})$ de $G_{i}$ par $\varphi _{i}$ est isomorphe à $G_{i}$ et on l'identifie souvent à $G_{i}$, disant par exemple que $G_{i}$ est un sous-groupe de S. Pour la clarté de ce premier exposé, nous éviterons cet abus de langage.

On vérifie facilement que les sous-groupes $\varphi _{i}(G_{i})$ de S sont distingués et qu’ils ont deux à deux des intersections réduites à l'élément neutre de S.

Soient i et j deux éléments distincts de I. Tout élément de $\varphi _{i}(G_{i})$ commute avec tout élément de $\varphi _{j}(G_{j})$. En effet, les produits $\varphi _{i}(x)\varphi _{j}(y)$ et $\varphi _{j}(y)\varphi _{i}(x)$ sont tous deux égaux à la famille dont la i-ème composante est x, la j-ème composante y et dont les autres composantes sont égales à 1. (L'hypothèse $i\neq j$ est essentielle dans le cas où les $G_{i}$ ne sont pas supposés commutatifs.)

De façon générale, si G est un groupe, si $(g_{i})_{i\in J}$ est une famille finie d'éléments de G qui commutent deux à deux, on peut définir le produit de cette famille d'éléments de G sans se préoccuper d'un ordre dans l’ensemble J, car, vu la commutativité, le produit est indépendant de l’ordre choisi. Il est clair qu'on peut de même définir le produit d'une famille $(g_{i})_{i\in J}$ même infinie d'éléments de G qui commutent deux à deux si l’ensemble des i tels que $g_{i}\neq 1$ est fini. Avec cette définition, tout élément $(x_{i})_{i}$ de S est le produit de la famille $(\varphi _{i}(x_{i}))_{i}$ d'éléments de S. En particulier, les $\varphi _{i}(G_{i})$ engendrent S.

Début d’un théorème

Propriété universelle de la somme restreinte externe.

Soient $(G_{i})_{i\in I}$ une famille de groupes, S sa somme restreinte externe, K un groupe et $(f_{i}:G_{i}\to K)_{i\in I}$ une famille d'homomorphismes de groupes, telle que, pour tous éléments distincts i, j de I, tout élément de $f_{i}(G_{i})$ commute avec tout élément de $f_{j}(G_{j})$. Il existe un et un seul homomorphisme f de S dans K tel que, pour tout élément i de I, $f\circ \varphi _{i}=f_{i}$, où $\varphi _{i}$ désigne la i-ème inclusion canonique de G_i dans S. Cet homomorphisme f applique la famille $(x_{i})_{i\in I}$ sur $\prod _{i\in I}f_{i}(x_{i})$.

Fin du théorème

Début d'une démonstration

Démonstration

Considérons l’application f de S dans K qui applique la famille $(x_{i})_{i\in I}$ sur $\prod _{i\in I}f_{i}(x_{i})$ (ce produit est bien défini, vu les hypothèses de commutation). Il est clair que pour tout élément i de I, $f\circ \varphi _{i}=f_{i}$, comme requis dans l'énoncé. Pour montrer que f est un homomorphisme, on utilisera le fait suivant, démontré dans Monoïde/Composé d'une séquence : soient M un monoïde et x₁, ... , x_n, y₁, ... , y_n des éléments de M. Si, pour tous indices distincts i, j, x_i commute avec y_j, alors

x₁ ... x_n y₁ ... y_n = x₁ y₁ ... x_n y_n.

Donc f est un homomorphisme tel que requis dans l'énoncé. L'unicité de l'homomorphisme tel que requis dans l'énoncé se déduit facilement du fait que les images canoniques des G_i dans S engendrent S.

Fin de la démonstration

Si tous les groupes $G_{i}$ sont abéliens alors leur somme directe l'est aussi, et le théorème ci-dessus fournit la propriété universelle de la somme directe :

Propriété universelle de la somme directe. Soient $(G_{i})_{i\in I}$ une famille de groupes abéliens, K un groupe abélien et $(f_{i}:G_{i}\rightarrow K)_{i\in I}$ une famille d'homomorphismes. Il existe un et un seul homomorphisme f de $\sum _{i\in I}G_{i}$ dans K tel que, pour tout élément j de I, $f\circ \varphi _{j}=f_{j}$, où $\varphi _{j}$ désigne, comme plus haut, la j-ième inclusion canonique.

Dans le langage de la théorie des catégories, la propriété universelle de la somme directe d'une famille de groupes abéliens revient à dire que si $(G_{i})_{i\in I}$ est une famille de groupes abéliens, le groupe ${\underset {i\in I}{\oplus }}G_{i}$ et, dans les notations ci-dessus, la famille d'homomorphismes $(\varphi _{i})_{i\in I}$ constituent une somme (on dit aussi un « coproduit ») de la famille $(G_{i})_{i\in I}$ dans la catégorie des groupes abéliens. Nous avons ainsi prouvé que les sommes existent dans la catégorie des groupes abéliens. Nous verrons dans un chapitre ultérieur (produit libre d'une famille de groupes) que les sommes existent aussi dans la catégorie des groupes.

Des remarques faites plus haut sur la structure de la somme restreinte externe nous suggèrent la définition suivante :

Définition

Soient G un groupe et $(G_{i})_{i\in I}$ une famille (finie ou infinie) de sous-groupes de G. On dit que G est somme restreinte interne (ou, abusivement, somme restreinte sans plus) de cette famille si pour tous éléments distincts i et j de I, chaque élément de $G_{i}$ commute avec chaque élément de $G_{j}$ et si l'homomorphisme de $\sum _{i\in I}G_{i}$ dans G qui envoie $(x_{i})_{i\in I}$ sur $\prod _{i\in I}x_{i}$ (homomorphisme qui existe et est unique d’après la propriété universelle de la somme restreinte externe, appliquée aux inclusions $G_{i}\to G:x\mapsto x$) est un isomorphisme. On appelle cet isomorphisme l'isomorphisme canonique de $\sum _{i\in I}G_{i}$ sur G. L'isomorphisme réciproque est appelé isomorphisme canonique de G sur $\sum _{i\in I}G_{i}$.

Il revient au même de dire que pour tous éléments distincts i et j de I, chaque élément de $G_{i}$ commute avec chaque élément de $G_{j}$ et que tout élément de G peut s'écrire d'une et une seule façon $\prod _{i\in I}x_{i}$, la famille $(x_{i})_{i\in I}$ étant une famille de support fini telle que $x_{i}\in G_{i}$ pour tout i.

Début d’un théorème

Remarque

Soient G un groupe et $(G_{i})_{i\in I}$ une famille de sous-groupes de G. Si G est somme restreinte interne de cette famille, chaque $G_{i}$ est normal dans G.

Fin du théorème

Début d'une démonstration

Démonstration

On peut dire par exemple que l'isomorphisme canonique de $\sum _{i\in I}G_{i}$ sur G applique $\varphi _{i}(G_{i})$ sur $G_{i}$ et que, comme on l'a vu, $\varphi _{i}(G_{i})$ est normal dans $\sum _{i\in I}G_{i}$.

Fin de la démonstration

Donnons encore deux autres caractérisations de la somme restreinte interne. Le lecteur pourra les démontrer à l'aide de la remarque qui précède et du fait (démontré dans Exercices/Sous-groupe distingué, groupe quotient) que si deux sous-groupes normaux ont une intersection réduite à l'élément neutre, tout élément de l'un commute avec tout élément de l'autre.

Début d’un théorème

Théorème

Soient G un groupe et $(G_{i})_{i\in I}$ une famille de sous-groupes de G. Pour que G soit somme restreinte interne de cette famille, il faut et il suffit que les trois conditions suivantes soient satisfaites :

1° chaque G_i est normal dans G ;

2° les G_i engendrent G ;

3° pour tout i dans I, $G_{i}\ \cap \langle G_{j}\mid j\in I,j\neq i\rangle =1.$

Fin du théorème

Début d’un théorème

Théorème

Soient G un groupe et $(G_{i})_{i\in I}$ une famille de sous-groupes de G. Pour que G soit somme restreinte interne de cette famille, il faut et il suffit que les trois conditions suivantes soient satisfaites :

1° chaque G_i est normal dans G ;

2° les G_i engendrent G ;

3° si i₁, ... , i_n sont des éléments de I deux à deux distincts, si $x_{1}$ est un élément de $G_{i_{1}}$, ... , si $x_{n}$ est un élément de $G_{i_{n}}$, si $x_{1}\ldots x_{n}=1,$ alors $x_{1}=\ldots =x_{n}=1.$

Fin du théorème

Cette dernière caractérisation est utile comme condition suffisante pour que G soit somme restreinte interne des G_i.

On vérifie facilement que la somme restreinte externe $\sum _{i\in I}G_{i}$ est somme restreinte interne de la famille $(\varphi _{i}(G_{i}))_{i}$ (où, comme plus haut, $\varphi _{i}$ désigne la i-ième inclusion canonique de $G_{i}$ dans la somme restreinte externe).

Si l’ensemble I est fini, on remplace souvent l’expression « somme restreinte interne » par « produit direct interne », ou « produit direct », ou « produit ». Plutôt que de dire qu'un groupe est produit direct d'un couple (H, K) de ses sous-groupes, on préfère dire qu’il est produit direct de H et de K, etc.

Soit G un groupe, somme restreinte interne d'une famille $(G_{i})_{i\in I}$ de sous-groupes. Pour tout élément j de I, on appelle j-ème projection de G sur G_j (relativement à la famille $(G_{i})_{i\in I}$) l’application de G dans G_j qui, pour tout élément x de G, applique x sur l'élément x_j de G_j apparaissant dans l'unique expression de x sous la forme $\prod _{i\in I}x_{i}$ avec $x_{i}\in G_{i}$ pour chaque i. Il est clair que cette projection est un homomorphisme de G sur G_j. Elle est d'ailleurs égale au composé $\mathrm {pr} _{j}\circ \sigma ,$ où $\sigma$ désigne l'isomorphisme canonique de G sur $\sum _{i\in I}G_{i}$ et $\mathrm {pr} _{j}$ l'homomorphisme $(x_{i})_{i\in I}\mapsto x_{j}$ de $\sum _{i\in I}G_{i}$ (somme restreinte externe) sur G_j.

Début d’un théorème

« Commutativité » de la somme restreinte interne.

Soient G un groupe, $(H_{i})_{i\in I}$ une famille de sous-groupes de G et $\sigma$ une permutation de l'index I. Si G est somme restreinte interne de la famille $(H_{i})_{i\in I}$, il est somme restreinte interne de la famille $(H_{\sigma (i)})_{i\in I}$.

Fin du théorème

Début d'une démonstration

Démonstration

Pour tous éléments distincts i, j de I, tout élément de H_i commute avec tout élément de H_j ; il en résulte clairement que, pour tous éléments distincts i, j de I, tout élément de H_σ(i) commute avec tout élément de H_σ(j). Le sous-groupe de G engendré par les H_i est G tout entier ; il en résulte clairement que le sous-groupe engendré par les H_σ(i) est G tout entier. Enfin, si J est une partie finie de I, si $(x_{j})_{j\in J}$ est une famille telle que pour tout élément j de J, x_j appartienne à H_j, si $\prod _{j\in J}x_{j}=1$, alors chaque x_j est égal à 1 ; il en résulte clairement que si K est une partie finie de I, si $(y_{k})_{k\in K}$ est une famille telle que pour tout élément k de K, y_k appartienne à H_σ(k), si $\prod _{k\in K}y_{k}=1$, alors chaque y_k est égal à 1 (poser J = σ(K) et considérer la famille $(y_{\sigma ^{-1}(j)})_{j\in J}$, en notant que, pour chaque j dans J, $y_{\sigma ^{-1}(j)}$ appartient à H_j).

Fin de la démonstration

Début d’un théorème

Théorème

Soient $(G_{i})_{i\in I}$ une famille de groupes et $(H_{i})_{i\in I}$ une famille telle que, pour tout i, H_i soit un sous-groupe de G_i. Alors la somme restreinte externe H des H_i est un sous-groupe de la somme restreinte externe G des G_i.

Fin du théorème

La démonstration, facile, est laissée au lecteur. Une version interne de ce théorème (si un groupe G est somme directe interne d'une famille $(G_{i})_{i\in I}$ de sous-groupes, si pour tout i, $H_{i}$ désigne un sous-groupe de $G_{i}$, alors le sous-groupe engendré par les $H_{i}$ est somme directe interne des $H_{i}$) s'obtient comme cas particulier du théorème suivant :

Début d’un théorème

Théorème

Soient G un groupe, $(G_{i})_{i\in I}$ une famille de sous-groupes de G dont G est somme restreinte interne, J une partie de I, $(H_{j})_{j\in J}$ une famille telle que, pour tout élément j de J, H_j soit un sous-groupe de G_j. Le sous-groupe de G engendré par les H_j est somme restreinte interne des H_j, j parcourant J.

Fin du théorème

Début d'une démonstration

Démonstration

Si j et k sont deux éléments distincts de J, tout élément de H_j est un élément de G_j et tout élément de H_k est un élément de G_k, donc tout élément de H_j commute avec tout élément de H_k. Si j₁, ... , j_r sont des éléments de J deux à deux distincts, si x₁ ... x_r = 1 avec $x_{1}\in H_{j_{1}},\ldots ,x_{r}\in H_{j_{r}},$ alors j₁, ... , j_r sont des éléments de I deux à deux distincts et x₁ ... x_r = 1 avec $x_{1}\in G_{j_{1}},\ldots ,x_{r}\in G_{j_{r}},$ donc x₁ = ... = x_r = 1.

Fin de la démonstration

Début d’un théorème

« Associativité » de la somme restreinte interne.

Soient G un groupe et $(H_{i})_{i\in I}$ une famille de sous-groupes de G, soit $(J_{k})_{k\in K}$ une famille de parties de I deux à deux disjointes de I dont la réunion est I. Pour chaque élément k de K, soit L_k le sous-groupe de G engendré par les H_i où i parcourt J_k. Les deux conditions suivantes sont équivalentes :

1° G est somme restreinte interne de la famille $(H_{i})_{i\in I}$ ;

2° G est somme restreinte interne de la famille $(L_{k})_{k\in K}$ et, pour chaque élément k de K, L_k est somme restreinte interne de la famille $(H_{i})_{i\in J_{k}}$.

Fin du théorème

Démonstration laissée au lecteur.

Début de l'exemple

Exemple

Soient G un groupe, H et K des sous-groupes de G. On suppose que H est produit direct interne d'une famille finie de sous-groupes H₁, ..., H_n et que <H, K> (sous-groupe de G engendré par H et K) est produit direct interne de H et de K. Alors <H, K> est produit direct interne de la famille H₁, ..., H_n, K.

Fin de l'exemple

Définition

On dit qu'un sous-groupe H d'un groupe G est facteur direct de G s'il existe un sous-groupe K de G tel que G soit le produit direct (interne) H × K de H et K.

D'après la « commutativité » et l'« associativité » de la somme restreinte, il est clair que si un groupe G est somme restreinte interne d'une famille (H_i)_i de sous-groupes, chaque H_i est facteur direct de G.

Début d’un théorème

Théorème

Tout sous-groupe distingué d'un facteur direct d'un groupe G est sous-groupe distingué de G.

Fin du théorème

Début d'une démonstration

Démonstration

Soient H un facteur direct de G et N un sous-groupe distingué de H. Il s'agit de prouver que N est distingué dans G. Puisque H est facteur direct de G, il existe un sous-groupe K de G tel que G soit le produit direct H × K de H et K. Alors tout élément de K commute avec tout élément de H. En particulier, tout élément de K commute avec tout élément de N, donc K normalise N. D'autre part, puisque N est sous-groupe normal de H, H normalise N. Ainsi, H et K normalisent tous deux N. Puisque G est engendré par H et K, N est donc distingué dans G.

Fin de la démonstration

Début d’un théorème

Propriété universelle de la somme restreinte interne.

Soient G un groupe, somme restreinte interne d'une famille $(G_{i})_{i\in I}$ de ses sous-groupes, K un groupe et $(f_{i}:G_{i}\to K)_{i\in I}$ une famille d'homomorphismes de groupes, telle que, pour tous éléments distincts i, j de I, tout élément de $f_{i}(G_{i})$ commute avec tout élément de $f_{j}(G_{j})$. Il existe un et un seul homomorphisme f de G dans K tel que, pour tout élément i de I, f coïncide avec $f_{i}$ sur $G_{i}$. Si $(x_{i})_{i\in I}$ est une famille de support fini telle que pour chaque i, x_i appartienne à G_i, f applique $\prod _{i\in I}x_{i}$ sur $\prod _{i\in I}f_{i}(x_{i})$.

Fin du théorème

Début d'une démonstration

Démonstration

D'après la propriété universelle de la somme restreinte externe, il existe un et un seul homomorphisme g de la somme restreinte externe S des G_i dans K qui applique la famille de support fini $(x_{i})_{i\in I}$ sur $\prod _{i\in I}f_{i}(x_{i})$. D'autre part, puisque G est somme restreinte interne des G_i, il existe un et un seul isomorphisme $\varphi$ de G sur S (à savoir l'isomorphisme canonique considéré plus haut) qui, pour toute famille de support fini $(x_{i})_{i\in I}$, avec $x_{i}\in G_{i}$ pour tout i, applique $\prod _{i\in I}x_{i}$ sur $(x_{i})_{i\in I}$. Il est clair que $g\circ \varphi$ convient pour f. L'unicité de f résulte de ce que les G_i engendrent G. Elle peut aussi se déduire de l'unicité de g : si f₁ et f₂ sont tous deux tels que le f de l'énoncé, alors $f_{1}\circ \varphi ^{-1}$ et $f_{2}\circ \varphi ^{-1}$ satisfont tous deux aux conditions qui définissent g, donc sont égaux, donc f₁ et f₂ sont égaux.

Fin de la démonstration

Début d’un théorème

Théorème

Soient $(G_{i})_{i\in I}$ et $(H_{i})_{i\in I}$ deux familles de groupes et $(g_{i}:G_{i}\to H_{i})_{i\in I}$ une famille d'homomorphismes de groupes. Si G (resp. H) désigne la somme restreinte externe des G_i (resp. des H_i), alors l’application $g:(x_{i})_{i\in I}\mapsto (g_{i}(x_{i}))_{i\in I}$ est un homomorphisme de G dans H. Si chaque g_i est un isomorphisme de G_i sur H_i, g est un isomorphisme de G sur H.

Fin du théorème

Début d'une démonstration

Démonstration

Dans la propriété universelle de la somme restreinte externe, prendre pour K la somme restreinte externe H des H_i et poser $f_{i}=\mathrm {incl} _{i,H_{i},H}\ \circ g_{i}$, où $\mathrm {incl} _{i,H_{i},H}$ désigne la i-ème inclusion canonique de H_i dans H = K. On démontre ainsi la première assertion de l'énoncé. On démontre facilement la seconde assertion en appliquant la première aux isomorphismes réciproques. On pourrait évidemment démontrer ce théorème sans utiliser la propriété universelle de la somme restreinte externe.

Fin de la démonstration

Corollaire

Soient $(G_{i})_{i\in I}$ et $(H_{i})_{i\in I}$ deux familles de groupes. Si, pour tout i, G_i est isomorphe à H_i, la somme restreinte externe des G_i est isomorphe à la somme restreinte externe des H_i.

Début d'une démonstration

Démonstration

Pour tout i, il existe un isomorphisme de G_i sur H_i. D'après l'axiome du choix, il existe donc une famille $(g_{i}:G_{i}\to H_{i})_{i\in I}$ d'isomorphismes de groupes et la thèse résulte du théorème qui précède.

Fin de la démonstration

Début d’un théorème

Théorème

Soient $(G_{i})_{i\in I}$ une famille de groupes et $(H_{i})_{i\in I}$ une famille telle que, pour tout i, H_i soit un sous-groupe distingué de G_i. Alors

1° la somme restreinte externe H des H_i est un sous-groupe distingué de la somme restreinte externe G des G_i ;

2° le quotient G/H est isomorphe à la somme restreinte externe des quotients G_i/H_i.

Fin du théorème

Début d'une démonstration

Démonstration

Le lecteur prouvera facilement le point 1°. Désignons par Q la somme restreinte externe des groupes quotients G_i/H_i. Pour tout élément $(x_{i})_{i\in I}$ de G, la famille $(x_{i}H_{i})_{i\in I}$ est de support fini et appartient donc à Q. Considérons l’application f de G dans Q qui à tout élément $(x_{i})_{i\in I}$ de G fait correspondre l'élément $(x_{i}H_{i})_{i\in I}$ de Q. Il est clair que f est un homomorphisme surjectif dont le noyau est H, donc f induit un isomorphisme de G/H sur Q, ce qui démontre le point 2°.

Fin de la démonstration

Voici une version interne de ce théorème :

Début d’un théorème

Théorème

Soient G un groupe, $(G_{i})_{i\in I}$ une famille de sous-groupes de G dont G est somme restreinte interne et $(H_{i})_{i\in I}$ une famille telle que, pour tout i, H_i soit un sous-groupe distingué de G_i. Alors

1° le sous-groupe H de G engendré par les H_i est somme restreinte interne des H_i et est un sous-groupe distingué de G ;

2° le quotient G/H est isomorphe à la somme restreinte externe des quotients G_i/H_i.

Fin du théorème

Début d'une démonstration

Démonstration

Le point 1° est un cas particulier d'un théorème démontré plus haut. Pour démontrer le point 2°, désignons par S_G la somme restreinte externe des G_i et par S_H la somme restreinte externe des H_i. L'isomorphisme $(x_{i})_{i\in I}\mapsto \prod _{i\in I}x_{i}$ de S_G sur G applique S_H sur H et induit donc un isomorphisme de S_G/S_H sur G/H. D'après le théorème précédent, S_G/S_H est isomorphe à la somme restreinte externe des quotients G_i/H_i donc G/H l'est aussi, ce qui démontre le point 2°.

Fin de la démonstration

Corollaire

Soient $G$ un groupe, $(G_{i})_{i\in I}$ une famille de sous-groupes de $G$ dont $G$ est somme restreinte interne, $J$ et $K$ deux parties de $I$ formant une partition de $I$, $L_{J}$ le sous-groupe de $G$ engendré par les sous-groupes $G_{j}$ où j parcourt $J$, et $L_{K}$ le sous-groupe de $G$ engendré par les sous-groupes $G_{k}$ où k parcourt $K$. (Donc $L_{J}$ est somme restreinte interne des $G_{j}$ où j parcourt $J$, et $L_{K}$ est somme restreinte interne des $G_{k}$ où k parcourt $K$.) Alors $L_{J}$ est sous-groupe distingué de $G$ et le groupe quotient $G/L_{J}$ est isomorphe à $L_{K}$. En particulier, si un groupe G est produit direct interne de deux sous-groupes G₁ et G₂, le groupe quotient G/G₁ est isomorphe à G₂.

Début d'une démonstration

Démonstration

Pour tout élément i de I, posons $H_{i}=G_{i}$ si i appartient à J et $H_{i}=1$ si i appartient à K. Pour tout i dans $I$, $H_{i}$ est distingué dans $G_{i}$, donc, d’après le théorème précédent, le sous-groupe H de G engendré par les $H_{i}$, i parcourant $I$, est distingué dans G et G/H est isomorphe à la somme restreinte externe des $G_{i}/H_{i}$, i parcourant $I$. Il est clair que H est égal à $L_{J}$, donc

(1) $G/L_{J}$ est isomorphe à la somme restreinte externe des $G_{i}/H_{i}$, i parcourant I.

Dans la somme restreinte externe des $G_{i}/H_{i}$, les facteurs correspondant aux indices appartenant à J sont réduits à l'élément neutre, donc

(2) la somme restreinte externe des $G_{i}/H_{i}$, i parcourant I, est isomorphe à la somme restreinte externe des $G_{k}/H_{k}$, où k parcourt K.

Pour un élément k de K, $G_{k}/H_{k}$ est isomorphe à $G_{k}$, donc la somme restreinte externe des $G_{k}/H_{k}$, où k parcourt K, est isomorphe à la somme restreinte externe des $G_{k}$, où k parcourt K, et est donc isomorphe à $L_{K}$. Il résulte donc de (2) que la somme restreinte externe des $G_{i}/H_{i}$, i parcourant I, est isomorphe à $L_{K}$. D'après (1), $G/L_{J}$ est donc isomorphe à $L_{K}$. Le cas particulier s'en déduit immédiatement.

Remarque. Il y a évidemment plusieurs démonstrations possibles. On pourrait commencer par démontrer le cas particulier (en notant que si un groupe G est produit direct interne de deux sous-groupes G₁ et G₂, la seconde projection associée à cette décomposition est un homomorphisme surjectif de G sur G₂ admettant G₁ pour noyau) et passer au cas général en notant que d’après l'« associativité » de la somme restreinte interne, G est somme restreinte interne de $L_{J}$ et de $L_{K}$.

Fin de la démonstration

Proposition

Soient G un groupe, H₁, H₂, ... , H_n des sous-groupes distingués de G tels que (H₁ H₂ ... H_i-1) ⋂ H_i = 1 pour tout i (2 ≤ i ≤ n). Le sous-groupe H₁ H₂ ... H_n de G est produit direct interne de H₁, ..., H_n.

Début d'une démonstration

Démonstration

Il suffit de le démontrer dans le cas où n = 2, l' « associativité » du produit direct interne permettant alors une démonstration par récurrence sur n. Soient donc H₁ et H₂ des sous-groupes distingués de G tels que H₁ ⋂ H₂ = 1. Il s'agit de prouver que H₁ H₂ est produit direct interne de H₁ et H₂. D'après un problème de la série Exercices/Sous-groupe distingué, groupe quotient tout élément de H₁ commute avec tout élément de H₂. D'autre part, l'hypothèse H₁ ⋂ H₂ = 1 entraîne que l'écriture h₁h₂ d'un élément de H₁H₂ avec h₁ dans H₁ et h₂ dans H₁, est unique : en effet, si h'₁h'₂ = h₁h₂, avec h'₁ dans H₁ et h'₂ dans H₁, alors h₁^-1h'1 = h₂h'₂^-1. Comme le premier membre appartient à H₁ et le second membre à H₂, h₁^-1h'₁ et h₂h'₂^-1 appartiennent « tous deux » à H₁ ⋂ H₂ = 1, donc h'₁ = h₁ et h'₂ = h₂. Nous avons donc prouvé que tout élément de H commute avec tout élément de K et que tout élément de HK peut s'écrire d'une et une seule façon comme produit d'un élément de H par un élément de K, donc HK est produit direct interne de H et de K.

Fin de la démonstration

Corollaire

Soient G un groupe fini, H₁, H₂, ... , H_n des sous-groupes distingués de G dont les ordres sont premiers entre eux deux à deux. Le sous-groupe H₁ H₂ ... H_n de G est produit direct interne de H₁, H₂, ... , H_n. Si l’ordre de G est égal au produit des ordres des H_i, G est produit direct interne des H_i.

Début d'une démonstration

Démonstration

Prouvons que H₁ H₂ ... H_n est produit direct interne de H₁, H₂, ... , H_n. D'après le théorème qui précède, il suffit de prouver que (H₁ H₂ ... H_i-1) ⋂ H_i= 1 pour tout i (2 ≤ i ≤ n) et pour cela, il suffit de prouver que l’ordre de H_i est premier avec celui de H₁ H₂ ... H_i-1. (Deux sous-groupes finis d'ordres premiers entre eux ont une intersection réduite à l'élément neutre, car l’ordre d'un élément commun à ces sous-groupes divise l’ordre de chacun de ces sous-groupes et est donc égal à 1.) On peut par exemple raisonner par récurrence sur n. Par hypothèse de récurrence, H₁ H₂ ... H_i-1 est produit direct interne de H₁, H₂, ... et H_i-1, donc son ordre est le produit des ordres de H₁, H₂, ... et H_i-1, donc est premier avec l’ordre de H_i. Nous avons donc démontré la première assertion de l'énoncé. Il en résulte que l’ordre de H₁ H₂ ... H_n est égal au produit des ordres des H_i. Si l’ordre de G est supposé égal au produit des ordres des H_i, on a donc G = H₁ H₂ ... H_n et G est le produit direct interne des H_i, ce qui prouve la seconde assertion de l'énoncé.

Fin de la démonstration

Remarques.

• Le corollaire qui précède nous servira dans l'étude des groupes nilpotents finis.
• Dans la démonstration de ce corollaire, on aurait pu éviter le raisonnement par récurrence en utilisant le fait que si G est un groupe et K₁, K₂, ... , K_n des sous-groupes distingués finis de G, l'ordre de K₁ K₂ ... K_n divise le produit des ordres des K_i. (Voir « formule du produit » au chapitre Classes modulo un sous-groupe.)

Début de l'exemple

Exemple

Soient G un groupe commutatif (dont tous les sous-groupes sont donc distingués), H et K deux sous-groupes de G. D'après ce qui précède, G est produit direct (interne) de H et de K si et seulement tout élément de G peut s'écrire d'une et une seule façon sous la forme hk, h appartenant à H et k à K. On vérifie facilement que la condition d'existence équivaut à G = HK et la condition d'unicité à H ⋂ K = 1.

Soient a et b deux nombres naturels > 0 et premiers entre eux. Prenons pour G un groupe cyclique d'ordre ab. On sait que G admet un unique sous-groupe H d'ordre a (formé par les b-ièmes puissances) et un unique sous-groupe K d'ordre b (formé par les a-ièmes puissances). D'après le corollaire qui précède, G est produit direct interne de H et de K. Ceci montre que si a et b sont des nombres naturels > 0 premiers entre eux, « le » groupe cyclique d'ordre ab est produit direct interne de son sous-groupe d'ordre a et de son sous-groupe d'ordre b.

Fin de l'exemple

Proposition

Soient G₁, ... , G_n des groupes et, pour tout i, x_i un élément d'ordre fini de G_i ; l’ordre de (x₁, ... , x_n) dans le produit des G_i est le ppcm des ordres des x_i.

Si (K₁, ... , K_n) est une famille finie de groupes cycliques dont les ordres sont premiers entre eux deux à deux, la somme directe (interne ou externe) de cette famille est un groupe cyclique. Si (G₁, ... , G_n) est une famille finie de groupes finis (non forcément cycliques) dont les ordres ne sont pas premiers entre eux deux à deux, la somme directe (interne ou externe) de cette famille n’est pas un groupe cyclique.

Début d'une démonstration

Démonstration

On prouvera seulement que si G₁, ... , G_n sont des groupes finis dont les ordres ne sont pas premiers entre eux deux à deux, la somme directe des G_i n’est pas un groupe cyclique, le reste étant laissé au lecteur.

Supposons d’abord n = 2. Il s'agit de prouver que si G₁ est un groupe fini d'ordre n₁ et G₂ un groupe fini d'ordre n₂, si n₁ et n₂ ne sont pas premiers entre eux, alors la somme directe de G₁ et de G₂ n’est pas un groupe cyclique.

Soit (a, b) un élément de cette somme directe. D'après la première partie de l'énoncé, l’ordre de (a, b) est égal au ppcm des ordres de a et de b. Comme l’ordre de a divise n₁ et que l’ordre de b divise n₂, le ppcm de n₁ et de n₂ est un multiple commun de l’ordre de a et de l’ordre de b, donc est multiple du ppcm des ordres de a et de b. Ainsi, l’ordre de (a, b) divise le ppcm de n₁ et de n₂. Puisque n₁ et n₂ ne sont pas premiers entre eux, leur ppcm est strictement plus petit que leur produit. Donc aucun élément (a, b) de la somme directe de G₁ et de G₂ n'a un ordre égal à l’ordre n₁ n₂ de cette somme directe, donc cette somme directe n’est pas cyclique.

Notre thèse est donc prouvée dans le cas n = 2. Dans le cas général, il existe deux indices distincts j et k tels que les ordres de G_j et de G_k ne soient pas premiers entre eux. D'après la première partie de la démonstration, la somme directe de G_j et de G_k n’est pas cyclique, donc la somme directe de G₁, ... , G_n contient un sous-groupe non cyclique et n'est donc elle-même pas cyclique.

Fin de la démonstration