Produit direct (groupes)

En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d'une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous-jacents à ces groupes.

Sommaire

1 Produit direct de deux groupes
2 Produit direct d'une famille de groupes
- 2.1 Définition
- 2.2 Propriété universelle du produit d'une famille de groupes
3 Somme restreinte d'une famille de groupes
- 3.1 Définition
- 3.2 Propriété universelle de la somme directe d'une famille de groupes abéliens
4 Somme restreinte interne d'une famille de sous-groupes
- 4.1 Somme directe interne d'une famille de sous-groupes abéliens
- 4.2 Produit direct interne d'une famille finie de sous-groupes
5 Exemples
6 Propriétés
7 Projecteur
8 Groupe abélien
9 Voir aussi
10 Notes et références

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

Définition

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

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. Puisqu'en théorie des ensembles, le produit cartésien d'une famille d'ensembles a pour cardinal le produit des cardinaux de ces ensembles, l'ordre du produit direct d'une famille de groupes est le produit des ordres de ces groupes.

Remarques.

Les notations ne sont pas tout à fait fixées. L'emploi ci-dessus du symbole $\prod$ est conforme à Bourbaki^[1], à J.J. Rotman^[2], à D.S. Dummit et R.M. Foote^[3] etc. Kurzweil et Stellmacher (de)^[4] 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\le i\le n}$ de groupes. Ils n'emploient le symbole $\prod$ que pour désigner des opérations internes à un groupe^[5]. 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.
Les groupes $G i$ ne sont pas forcément deux à deux distincts. Si, par exemple, ils sont tous égaux à un même groupe G, le produit $\prod _{i \in I} G_{i}$ est égal à l'ensemble $G I$ des applications de I dans G, muni de la loi de groupe définie par $f \star g : i \mapsto f(i) g(i)$ .
Il nous arrivera de désigner par le même symbole 1 (en contexte multiplicatif) ou 0 (en contexte additif) les éléments neutres de tous les $\ G_{i}$ . En pratique, cela ne prête pas à confusion.

Pour tout élément j de I, désignons par $pr j$ l'application j-ième projection

$\mathrm{pr}_{j} : \prod_{i \in I} G_{i} \rightarrow G_{j} : (x_{i})_{i \in I} \mapsto x_{j}$

du produit cartésien des (ensembles sous-jacents aux) $G i$ dans $G j$ . On vérifie facilement que $\ pr_j$ est un homomorphisme surjectif de groupes, qu'on appelle j-ième homomorphisme de projection de $\prod _{i \in I} G_{i}$ sur $G j$ .

Propriété universelle du produit d'une famille de groupes

Soit $(G_{i})_{i \in I}$ une famille (finie ou infinie) de groupes. Désignons par P le produit de cette famille et, pour chaque $i \in I$ , par $\ \mathrm{pr}_{i}$ l'homomorphisme i-ème projection de P sur $\ G_{i}$ . Si H est un groupe et $(f_{i})_{i \in I}$ une famille d'homomorphismes $f_{i} : H \rightarrow G_{i}$ , il existe un et un seul homomorphisme f de H dans P tel que, pour tout élément i de I,

$f_{i} = \mathrm{pr}_{i} \circ f$ .

En effet, l'application $h \mapsto (f_{i}(h))_{i \in I}$ est clairement un homomorphisme de groupes et satisfait évidemment à la propriété ci-dessus (ce qui est d'ailleurs un cas particulier de la propriété universelle du produit cartésien d'une famille d'ensembles).

Dans le langage de la théorie des catégories, la propriété universelle du produit d'une famille de groupes revient à dire que, dans les notations ci-dessus, P et la famille d'homomorphismes $(\mathrm{pr}_{i})_{i \in I}$ constituent un produit de la famille $(G_{i})_{i \in I}$ dans la catégorie des groupes.

Somme restreinte d'une famille de groupes

Pour tout élément j de I, désignons par $φ j$ l'application de $G j$ dans $\prod _{i \in I} G_{i}$ qui envoie x sur la famille $(y_{i})_{i \in I}$ définie par $y i = x$ si $i = j$ et $y i = 1$ si $i \not= j$ . On vérifie facilement que $φ j$ est un homomorphisme injectif de groupes, qu'on appelle j-ième injection canonique de $G j$ dans $\prod _{i \in I} G_{i}$ .

(Si $pr j$ désigne le j-ème -homomorphisme projection de $\prod _{i \in I} G_{i}$ sur $\ G_{j}$ , on a évidemment, pour tout élément j de I,

$\mathrm{pr}_{j} \circ \varphi_j = \mathrm{id}_{G_{j}}.$ )

L'image $φ j (G j)$ de l'homomorphisme injectif $φ j$ est un sous-groupe de $\prod _{i \in I} G_{i}$ isomorphe à $G j$ . C'est l'ensemble des éléments $\ (x_{i})_{i \in I}$ de $\prod _{i \in I} G_{i}$ tels que $\ x_{i} = 1$ pour tout i distinct de j. On identifie souvent $G j$ et $φ j (G j)$ ; par exemple, on dit que $G j$ est un sous-groupe de $\prod _{i \in I} G_{i}$ .

On vérifie facilement que $φ j (G j)$ est un sous-groupe distingué de $\prod _{i \in I} G_{i}$ et que si i et j sont des éléments distincts de I, tout élément de $φ i (G i)$ commute avec tout élément de $φ j (G j)$ . (On ne peut pas en dire autant si i et j ne sont pas distincts, car $\ G_{i}$ n'est pas forcément commutatif.)

Définition

Le sous-groupe de $\prod _{i \in I} G_{i}$ engendré par les $φ j (G j)$ est l'ensemble des éléments $\ (x_{i})_{i \in I}$ de $\prod _{i \in I} G_{i}$ pour lesquels il n'y a qu'un nombre fini (éventuellement nul) d'indices i tels que $\ x_{i} \not= 1$ . Cela nous amène à cette définition :

Définition. Soit $(G_{i})_{i \in I}$ une famille de groupes. L'ensemble des éléments $\ (x_{i})_{i \in I}$ de $\prod _{i \in I} G_{i}$ pour lesquels il n'y a qu'un nombre fini (éventuellement nul) d'indices i tels que $\ x_{i} \not= 1$ se munit d'une loi de groupe par $(x_{i})_{i \in I} \star (y_{i})_{i \in I} = (x_{i}y_{i})_{i \in I}$ . Ce sous-groupe de $\prod _{i \in I} G_{i}$ est appelé la somme restreinte de la famille de groupes $(G_{i})_{i \in I}$ . Quand les groupes

G i

sont abéliens, on dit somme directe plutôt que somme restreinte.

Nous noterons $\sum _{i \in I}G_{i}$ la somme restreinte de la famille de groupes $(G_{i})_{i \in I}$ . Il faut cependant noter que les notations ne sont pas fixées^[6]. Quand les groupes $\ G_{i}$ sont commutatifs, la somme directe est également notée $\underset{i \in I}\oplus G_{i}$ .

D'après ce qui précède, la somme restreinte est un sous-groupe du produit direct et il est clair que ce sous-groupe est distingué. On a noté que les $\ \varphi_j(G_{j})$ sont distingués dans $\prod _{i \in I} G_{i}$ , donc ils sont distingués dans $\sum _{i \in I}G_{i}$ .

Si l'ensemble I est fini, ou, plus généralement, s'il n'y a qu'un nombre fini d'éléments i de I tels que $G i$ soit non trivial (par trivial, on entend ici réduit à l'élément neutre), le produit direct et la somme restreinte de la famille $(G_{i})_{i \in I}$ se confondent.

D'après ce qui précède, la j-ième injection canonique de $G j$ dans $\prod _{i \in I} G_{i}$ prend ses valeurs dans la somme restreinte. Nous parlerons donc aussi de la j-ième injection canonique comme d'un homomorphisme de $G j$ dans la somme restreinte.

Propriété universelle de la somme directe d'une famille de groupes abéliens

La somme restreinte d'une famille de groupes possède la propriété suivante^[7] :

Soient $(G_{i})_{i \in I}$ une famille de groupes, K un groupe et $(f_{i} : G_{i} \rightarrow K)_{i \in I}$ une famille d'homomorphismes telle que, pour tous éléments distincts i, j de I, chaque élément de $\ f_{i}(G_{i})$ commute avec chaque élément de $\ f_{j}(G_{j})$ . 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}$ .

En effet, considérons l'application

$f : \sum _{i \in I}G_{i} \rightarrow K : (x_{i})_{i\in I} \mapsto \prod _{i \in I} f_{i}(x_{i})$ ;

cette application est correctement définie parce que, d'une part, il y a au plus un nombre fini de i tels que $f_{i}(x_{i}) \not= 1$ et, d'autre part, parce que, pour i distinct de j, $\ f_{i}(x_{i})$ commute avec $\ f_{j}(x_{j})$ , ce qui permet de définir $\prod _{i \in I} f_{i}(x_{i})$ indépendamment de tout ordre sur I. On vérifie facilement que f est un homomorphisme et qu'il est bien le seul homomorphisme de $\sum _{i \in I}G_{i}$ dans K tel qu'annoncé.

Si le groupe K est abélien, l'hypothèse de commutation est automatiquement vérifiée et l'on obtient :

Soient $(G_{i})_{i \in I}$ une famille de groupes, et K un groupe abélien. Le morphisme $\hom(\sum G_i,K)\to\prod\hom(G_i,K),\quad f\mapsto (f\circ\varphi_i)$ est un isomorphisme.

Si tous les groupes $\ G_{i}$ sont abéliens alors leur somme directe l'est aussi, et le théorème ci-dessus devient 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}$ .

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 (aussi appelé « coproduit » ) de la famille $(G_{i})_{i \in I}$ dans la catégorie des groupes abéliens^[8]. Nous avons ainsi prouvé que les sommes existent dans la catégorie des groupes abéliens. Les sommes existent aussi dans la catégorie des groupes^[9] sous le nom de produits libres, et la somme restreinte $\oplus_{i\in I}G_i$ d'une famille $(G_i)_{i \in I}$ de groupes commutatifs est l'abélianisé de son produit libre.

Somme restreinte interne d'une famille de sous-groupes

Soient G un groupe et $\ (G_{i})_{i \in I}$ une famille de sous-groupes de G telle que, pour tous éléments distincts i et j de I, tout élément de $\ G_{i}$ commute avec tout élément de $\ G_{j}$ . Pour tout élément j de I, désignons par $φ j$ la j-ième injection canonique de $\ G_{j}$ dans la somme restreinte des $\ (G_{i})$ et par $incl j$ l'homomorphisme inclusion $x \mapsto x$ de $\ G_{j}$ dans $\ G$ . D'après la propriété de la somme restreinte énoncée plus haut, il existe un et un seul homomorphisme f de la somme restreinte des $\ (G_{i})$ dans G tel que, pour tout élément j de I,

$f \circ \varphi_{j} = \mathrm{incl}_{j}$

et cet homomorphisme peut se définir par

$f : (x_{i})_{i \in I} \mapsto \prod_{i \in I}x_{i}.$

Définition. Soient G un groupe et $\ (G_{i})_{i \in I}$ une famille de sous-groupes de G. On dit que G est somme restreinte interne de la famille $\ (G_{i})_{i \in I}$ si pour tous éléments distincts i et j de I, tout élément de $\ G_{i}$ commute avec tout élément de $\ G_{j}$ et que l'homomorphisme $(x_{i})_{i \in I} \mapsto \prod_{i \in I}x_{i}$ de la somme restreinte des $\ (G_{i})$ dans G est un isomorphisme.

On vérifie facilement que si G est un groupe et $\ (G_{i})_{i \in I}$ une famille de sous-groupes de G, G est somme restreinte interne de cette famille si et seulement si les deux conditions suivantes sont satisfaites :

pour tous éléments distincts i et j de I, tout élément de $\ G_{i}$ commute avec tout élément de $\ G_{j}$ ;
pour tout élément x de G, il existe une et une seule famille $(x_{i})_{i \in I}$ telle que $x_{i} \in G_{i}$ pour tout i, $\ x_{i} = 1$ sauf peut-être pour un nombre fini de i et $x = \prod_{i \in I}x_{i}$ .

Les $\ G_{i}$ sont alors des sous-groupes distingués de G et engendrent G.

Quand on veut distinguer entre la somme retreinte et la somme restreinte interne, on dit « somme restreinte externe » pour « somme restreinte ». Toutefois, on néglige souvent de faire la distinction et on dit volontiers « somme restreinte » pour « somme restreinte interne ».

Somme directe interne d'une famille de sous-groupes abéliens

Dans le cas où G est abélien, on parle de somme directe interne (ou simplement somme directe) plutôt que de somme restreinte interne. Dans ce cas, la caractérisation d'une somme directe interne se simplifie :

Soient G un groupe abélien et $\ (G_{i})_{i \in I}$ une famille de sous-groupes de G. G est somme directe (interne) de cette famille si et seulement si la condition suivante est satisfaite (en notations additives) :

pour tout élément x de G, il existe une et une seule famille $(x_{i})_{i \in I}$ telle que $x_{i} \in G_{i}$ pour tout i,

x i = 0

sauf peut-être pour un nombre fini de i et $x = \sum_{i \in I}x_{i}$ .

Produit direct interne d'une famille finie de sous-groupes

Dans le cas où I est fini, on dit souvent « produit direct interne » ou simplement « produit direct » au lieu de « somme restreinte interne»^[10].

Dans ce cas, on peut caractériser comme suit la somme restreinte interne^[11] :

Soient G un groupe et $\ (G_{i})_{1 \leq i \leq n}$ une famille finie de sous-groupes de G. G est somme restreinte interne (produit direct interne dans une autre terminologie) de cette famille si et seulement les conditions suivantes sont satisfaites :

a) chaque $\ G_{i}$ est sous-groupe distingué de G,

b) les $\ G_{i}$ engendrent G,

c) $(G_{1} G_{2} \ldots G_{i}) \cap G_{i+1} = 1$ pour tout i < n.

Dans le cas particulier où n = 2, ceci montre qu'un groupe G est somme restreinte interne de deux sous-groupes $\ G_{1}, G_{2}$ si et seulement si ces sous-groupes sont distingués, engendrent G et ont une intersection réduite à l'élément neutre.

Quand on veut distinguer entre le produit direct interne et le produit direct défini antérieurement, on appelle celui-ci « produit direct externe ».

Si G est produit direct interne de la famille finie $\ (G_{i})_{1 \leq i \leq n}$ de sous-groupes de G, certains auteurs écrivent^[12] :

$G = G_{1} \times \ldots \times G_{n}$ ou encore $G = \underset {i=1} {\stackrel{n} {\times} } G_{i}$ ou encore $\underset {i=1, ... , n} {\stackrel{} {\times}} G_{i}$ .

La notation $G = G_{1} \times \ldots \times G_{n}$ ne prête pas à confusion, car, par exemple, si une des trois relations suivantes est vraie (dans un sens évident) :

$G = \underset {i=1} {\stackrel{3} {\times} } G_{i}$
$\ G = (G_{1} \times G_{2}) \times G_{3}$
$\ G = G_{1} \times (G_{2} \times G_{3})$

les deux autres le sont aussi.

Outre ces relations d'« associativité », on a une relation de « commutativité » :

Soient G un groupe et H, K des sous-groupes de G; si $\ G = H \times K$ , alors $\ G = K \times H$ .

Ces relations d'« associativité » et de « commutativité » peuvent être obtenues comme cas particuliers d'une propriété générale d'« associativité » de la somme restreinte interne d'une famille (finie ou infinie) de sous-groupes^[13].

Puisque le produit direct interne d'une famille finie de sous-groupes est la somme restreinte interne de cette famille, que la somme restreinte interne est isomorphe à la somme restreinte externe et que, dans le cas d'une famille finie de groupes, la somme restreinte externe est identique au produit direct, le produit direct interne d'une famille finie de sous-groupes est isomorphe au produit direct externe de cette famille. En particulier, le produit direct interne d'une famille finie de sous-groupes a pour ordre le produit des ordres de ces sous-groupes.

Un sous-groupe H d'un groupe G est dit facteur direct de G s'il existe (au moins) un sous-groupe K de G tel que G soit produit direct interne $\ G = H \times K$ .

Exemples

Décomposition triviale en produit direct interne

Tout groupe G admet la décomposition en produit direct interne $G = G \times 1$ . Cette décomposition est dite triviale.

Groupe de Klein

Article détaillé : Groupe de Klein.

Soit G l'unique groupe d'ordre deux, isomorphe au groupe cyclique d'ordre deux Z/2Z. Sa table est la suivante :

+	0	1
0	0	1
1	1	0

Le groupe produit GxG est un groupe de quatre éléments dont la table est la suivante:

+	(0,0)	(0,1)	(1,0)	(1,1)
(0,0)	(0,0)	(0,1)	(1,0)	(1,1)
(0,1)	(0,1)	(0,0)	(1,1)	(1,0)
(1,0)	(1,0)	(1,1)	(0,0)	(0,1)
(1,1)	(1,1)	(1,0)	(0,1)	(0,0)

Le groupe obtenu est isomorphe au groupe de Klein, le seul groupe abélien d'ordre quatre, dont chaque élément est son propre inverse.

Groupe additif d'un espace vectoriel

Soit V un espace vectoriel (à gauche ou à droite) sur un corps K. Il résulte de l'existence des bases dans les espaces vectoriels que le groupe additif de V est somme directe interne d'une famille de groupes isomorphes au groupe additif de K. (En fait, la notion de Somme directe de sous-espaces vectoriels est mieux adaptée à cette situation, mais elle n'est pas nécessaire à la présente discussion.)

Soit p un nombre premier et G un groupe abélien dans lequel px = 0 pour tout élément x de G. Le groupe G est d'une et une seule façon le groupe additif d'un espace vectoriel sur le corps à p éléments Z/pZ. Donc, d'après l'alinéa précédent, G est somme directe interne d'une famille (finie ou infinie) de groupes (cycliques) d'ordre p.

Groupe cyclique

Article détaillé : Groupe cyclique.

On démontre que si a et b sont deux nombres naturels premiers entre eux et G un groupe cyclique d'ordre ab, alors G est produit direct interne de son unique sous-groupe (cyclique) d'ordre a et de son unique sous-groupe (cyclique) d'ordre b. En revanche, si G est un groupe cyclique et a, b deux diviseurs non premiers entre eux de l'ordre de G, G n'est pas produit direct interne d'un groupe d'ordre a et d'un groupe d'ordre b.

Remarque : La démonstration est donnée dans l'article associé.

Somme restreinte externe comme somme restreinte interne

Soit $(G_{i})_{i \in I}$ une famille de groupes. Désignons par S sa somme restreinte externe et, pour tout élément j de I, par $φ j$ la j-ième injection canonique de $\ G_{j}$ dans S. On vérifie facilement que S est somme restreinte interne de la famille $(\varphi_{i}(G_{i}))_{i \in I}$ .

Propriétés

Comme déjà noté, l'ordre du produit direct externe d'une famille (finie ou infinie) de groupes est égal au produit des ordres de ces groupes. L'ordre du produit direct interne d'une famille finie de sous-groupes est égal au produit des ordres de ces groupes.
Le produit direct externe et la somme restreinte externe d'une famille de groupes abéliens sont des groupes abéliens. Si un groupe G est somme restreinte interne d'une famille de sous-groupes abéliens, G est abélien.
Si G est le produit direct externe de deux groupes G₁ et G₂, notons i₁ (resp. i₂) l'application de G₁ (resp. G₂) dans G qui à x associe (x, e₂) (resp. (e₁, x). Le sous-groupe image de i₁ (resp. i₂) est noté H₁ (resp. H₂). Enfin l'application s₁ (resp. s₂) de G dans G₁ (resp. G₂) est définie par s₁(x₁, x₂) = x₁ (resp. s₂(x₁, x₂) = x₂).
Les applications i₁ et i₂ sont des morphismes injectifs.
Les applications s₁ et s₂ sont des morphismes surjectifs.
Les deux suites suivantes sont exactes.

$e_1\xrightarrow{}G_1\xrightarrow{i_1}G=G_1\times G_2\xrightarrow{s_2}G_2\xrightarrow{}e_2 \quad et \quad e_2\xrightarrow{}G_2\xrightarrow{i_2}G=G_1\times G_2\xrightarrow{s_1}G_1\xrightarrow{}e_1$

Les applications i₁ et i₂ sont des morphismes injectifs.
Les applications s₁ et s₂ sont des morphismes surjectifs.
Les deux suites suivantes sont exactes.

$e_1\xrightarrow{}G_1\xrightarrow{i_1}G=G_1\times G_2\xrightarrow{s_2}G_2\xrightarrow{}e_2 \quad et \quad e_2\xrightarrow{}G_2\xrightarrow{i_2}G=G_1\times G_2\xrightarrow{s_1}G_1\xrightarrow{}e_1$

Projecteur

Une approche, un peu analogue à celle des espaces vectoriel, donne une équivalence entre un produit direct et un morphisme particulier appelé projecteur. Soit G un groupe, H₁ et H₂ deux sous-groupes de G tel que l'application φ du paragraphe précédent soit un isomorphisme. Alors tout élément g de G s'écrit de manière unique h₁*h₂ où h_i est élément de H_i. Soit p l'application de G dans G qui à g associe h₁. Elle bénéficie des propriétés suivantes :

La fonction p est un morphisme de groupe, tout élément de son image commute avec tout élément de son noyau et pop est égal à p.

Ici o désigne la composition des fonctions.

L'analogie avec les espaces vectoriels donne lieu à la définition suivante :

Un projecteur p de G est un morphisme de G dans G tel que tout élément de son image commute avec tout élément de son noyau et pop est égal à p.

La donnée d'un projecteur permet une décomposition de G en produit direct :

Soit p un projecteur de G, alors G est isomorphe au produit direct de l'image de p et du noyau de p.

Dans le cas où G est abélien, tout morphisme dont le carré est égal à lui-même est un projecteur, en effet tout élément du groupe commute avec tout élément du groupe.

Cette propriété peut se reformuler de la manière suivante. Toute suite exacte :

$1\to H\to G\to G/H\to1$

telle que G est abélien, et qu'il existe une section G/H dans G qui se factorise en un produit direct $\scriptstyle G\simeq H\times G/H$ .

Démonstrations

La fonction p est un morphisme de groupe, tout élément de son image commute avec tout élément de son noyau et pop est égal à p.

En effet, montrons p est un morphisme :

$\forall g,g'\in G \quad \exists ! h_1,h'_1\in H_1 \; \exists ! h_2,h'_2\in H_2 \quad tel \; que \quad g=h_1*h_2\; ,\;g'=h'_1*h'_2 \; et\; g*g'=(h_1*h'_1)*(h_2*h'_2)$ $donc \quad p(g)*\varphi(g')=h_1*h'_1=p\Big((h_1*h'_1)*(h_2*h'_2)\Big)=p(g*g')$

Montrons que pop est égal à p. Soit g = h₁*h₂ un élément quelconque de G, p(g) = h₁. De plus, h₁ s'écrit de manière unique comme produit d'un élément de H₁ et d'un élément de H₂ de la manière suivante h₁=h₁*e, donc p(h₁)=h₁, et la proposition est démontrée.

Montrons que tout élément de l'image de p commute avec tout élément du noyau de p. L'image de p est inclus dans H₁, la proposition précédente montre l'inclusion inverse donc l'image de p est égale à H₁. Montrons alors que le noyau de p est égal à H₂. Par construction de p tout élément du noyau s'écrit e*h₂ avec h₂ élément de H₂ ce qui démontre l'égalité. Le paragraphe précédent montre alors le résultat recherché.

Soit p un projecteur de G, alors G est isomorphe au produit direct de l'image de p et du noyau de p.

Il suffit de montrer que tout élément de G s'écrit de manière unique comme produit d'un élément h de l'image et d'un élément k du noyau. Soit g un élément de G soit h l'image de g par p et k=g*h^-1. Par construction, h est élément de l'image de p.

De plus, pop(g) = p(g) = p(h) = h, et donc p(h^-1) = h^-1. En conséquence p(k) = p (g)*p(h^-1)=e, et k est bien un élément du noyau. Tout élément de G s'écrit bien comme produit d'un élément de l'image et d'un élément du noyau.

Supposons deux écritures g = h*k et g = i*l d'un élément g de G comme produit d'un élément de l'image et d'un élément du noyau de p. alors i^-1*h = l*k^-1 et le terme de gauche est un élément de l'image et celui de droite du noyau. Comme les deux termes sont égaux, ils appartiennent à l'intersection. En tant qu'élément de l'image, le terme est invariant par p, en tant qu'élément du noyau son image est égal à e, en conséquence i^-1*h = l*k^-1 = e. Ce qui montre l'unicité de l'écriture.

Groupe abélien

Article détaillé : Groupe abélien.

Le cas général ne peut être traité, il est trop vaste, il est donc nécessaire d'apporter des hypothèses supplémentaires. Ces hypothèses correspondent essentiellement à trois cas, traités ici.

Groupe abélien fini

Article détaillé : Théorème de Kronecker.

Le cas le plus simple est celui ou le groupe G est fini. Un premier exemple est donné par les groupes cycliques, ils suffisent pour générer, à l'aide du produit direct tous les groupes abéliens finis.

Il existe une suite d'entiers strictement positifs (a₁,a₂,...,a_k) tel que G est isomorphe au produit direct des groupes cycliques de cardinal les différents éléments de la suite.

Ce qui s'écrit de la manière suivante :

$G\simeq \mathbb{Z}/a_1\mathbb{Z}\times \mathbb{Z}/a_2\mathbb{Z} \times \cdots \times \mathbb{Z}/a_k\mathbb{Z}$

Groupe abélien de type fini

Article détaillé : Groupe abélien de type fini.

Le deuxième cas est d'une nature proche du cas précédent. Il correspond aux groupes contenant une partie génératrice finie. Il existe ainsi au moins un groupe qui n'est pas élément de l'ensemble précédent, celui des entiers Z. On démontre (dans l'article associé) qu'il est l'unique générateur à ajouter pour obtenir tous les groupes abéliens de type fini.

Pour tout groupe abélien G de type fini, il existe un entier n et un groupe fini F tel que G est isomorphe au produit direct de F et de Zⁿ.

Groupe de Lie commutatif

Article détaillé : Groupe de Lie commutatif.

Les deux catégories précédentes sont dénombrables. Il existe pourtant des groupes importants qui ne le sont pas, on peut citer par exemple le cas des isométries linéaires du plan utilisé précédemment. Il est alors nécessaire d'adjoindre trois hypothèses : le groupe dispose d'une structure de variété différentielle compatible avec le groupe (on parle de groupe de Lie), l'espace tangent est de dimension finie et le nombre de composantes connexes du groupe est fini. La propriété suivante est alors vérifiée :

Tout groupe de Lie de dimension finie et ayant un nombre fini de composantes connexes est isomorphe à un produit direct d'un groupe fini, d'un espace vectoriel de dimension finie et d'un tore maximal.

Voir aussi

Article connexe

Produit semi-direct

Lien externe

Groupe produit sur les-mathematiques.net

Références

Serge Lang, Algèbre [détail des éditions]
J. F. Labarre, La Théorie des groupes, Presses Universitaires de France, 1978
G. Pichon, Groupes de Lie, représentations linéaires et applications, Hermann , 1973

Notes et références

↑ Algèbre, ch. 1, § 4, déf. 12, p. 43.
↑ (en) An Introduction to the Theory of Groups [détail de l’édition] , 4^e éd., p. 308.
↑ Abstract Algebra, Wiley, 2004, p. 157.
↑ The Theory of Finite Groups, An Introduction, Springer, 2004, p. 27.
↑ Ouvr. cité, p. 28.
↑ N. Bourbaki, Éléments de mathématique, Algèbre, vol. 1, Paris, 1970, p. I.45 , emploie une autre notation. La notation utilisée dans le présent article est proche de celle de W.R. Scott, Group Theory, 1964, rééd. Dover, 1987, p. 15.
↑ Voir N. Bourbaki, Algèbre, vol. I, Paris, 1970, p. I.45, prop. 12.
↑ Voir S. Lang, Algèbre, Paris, Dunod, 2004, pp. 39 et 137.
↑ S. Lang, Algèbre, 3^e éd., Paris, Dunod, 2004, p. 74.
↑ Voir par exemple H. Kurzweil et B. Stellmacher, The Theory of Finite Groups, An Introduction, 2004, p. 28.
↑ Voir par exemple N. Bourbaki, Algèbre, vol. I, Paris, 1970, p. I, 46.
↑ Voir par exemple H. Kurzweil et B. Stellmacher, The Theory of Finite Groups, An Introduction, Springer, 2004, p. 28.
↑ Voir une forme de cette relation générale dans W.R. Scott, Group Theory, 1964, rééd. Dover, 1987, exerc. 4.2.8, p. 71.

Portail des mathématiques

Catégorie :

Théorie des groupes

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit direct (groupes) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Produit direct — La plupart des structures algébriques permettent de construire de façon très simple une structure produit sur le produit cartésien des ensembles sous jacents. Plus généralement, on peut appeler produit direct un produit qui commute avec le… … Wikipédia en Français
Produit tensoriel et representations de groupes finis — Produit tensoriel et représentations de groupes finis En mathématiques et plus précisément dans le cadre des représentations d un groupe fini, le produit tensoriel est une technique permettant de construire une représentation à partir de deux… … Wikipédia en Français
Produit — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Produit », sur le Wiktionnaire (dictionnaire universel) Le mot produit peut avoir plusieurs… … Wikipédia en Français
GROUPES (mathématiques) - Généralités — On se propose de présenter ici les notions fondamentales de théorie des groupes qui interviendront constamment dans la suite des articles qui traitent des groupes. Ces articles contiennent un très grand nombre d’exemples, c’est pourquoi cet… … Encyclopédie Universelle
GROUPES (mathématiques) - Groupes classiques et géométrie — Jusque vers 1800, la géométrie dite «élémentaire» est restée à peu de chose près ce qu’elle était dans l’Antiquité, tant dans sa substance que dans ses méthodes (l’invention de la «géométrie analytique» ayant à peu près exclusivement servi à… … Encyclopédie Universelle
GROUPES (mathématiques) - Groupes de Lie — La théorie des groupes de Lie, fondée dans la période de 1870 1880 par le mathématicien norvégien Sophus Lie, a d’abord été considérée comme une partie assez marginale des mathématiques, liée à des problèmes touchant les équations différentielles … Encyclopédie Universelle
GROUPES (mathématiques) - Groupes finis — Née de l’étude des groupes de permutations des racines d’équations, la théorie des groupes finis s’est développée indépendamment depuis le Traité des substitutions et des équations algébriques (1870) de Camille Jordan. Après les travaux… … Encyclopédie Universelle
Groupes finis — Groupe fini En mathématiques, un groupe fini est un groupe constitué d un nombre fini d éléments, c est à dire que son cardinal est fini. Sommaire 1 Introduction 2 Parité de l ordre et involution 3 Exemples … Wikipédia en Français
Produit semi-direct — Dans la théorie des groupes, le produit semi direct permet de définir un groupe G à partir de deux groupes H et K, et généralise la notion de produit direct de deux groupes. Sommaire 1 Produit semi direct interne 2 Produit semi direct externe 3… … Wikipédia en Français
Groupes diédraux — Groupe diédral Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Produit direct (groupes)

Sommaire

Produit direct de deux groupes

Produit direct d'une famille de groupes

Définition

Propriété universelle du produit d'une famille de groupes

Somme restreinte d'une famille de groupes

Définition

Propriété universelle de la somme directe d'une famille de groupes abéliens

Somme restreinte interne d'une famille de sous-groupes

Somme directe interne d'une famille de sous-groupes abéliens

Produit direct interne d'une famille finie de sous-groupes

Exemples

Décomposition triviale en produit direct interne

Groupe de Klein

Groupe additif d'un espace vectoriel

Groupe cyclique

Somme restreinte externe comme somme restreinte interne

Propriétés

Projecteur

Groupe abélien

Groupe abélien fini

Groupe abélien de type fini

Groupe de Lie commutatif

Voir aussi

Article connexe

Lien externe

Références

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Produit direct (groupes)

Sommaire

Produit direct de deux groupes

Produit direct d'une famille de groupes

Définition

Propriété universelle du produit d'une famille de groupes

Somme restreinte d'une famille de groupes

Définition

Propriété universelle de la somme directe d'une famille de groupes abéliens

Somme restreinte interne d'une famille de sous-groupes

Somme directe interne d'une famille de sous-groupes abéliens

Produit direct interne d'une famille finie de sous-groupes

Exemples

Décomposition triviale en produit direct interne

Groupe de Klein

Groupe additif d'un espace vectoriel

Groupe cyclique

Somme restreinte externe comme somme restreinte interne

Propriétés

Projecteur

Groupe abélien

Groupe abélien fini

Groupe abélien de type fini

Groupe de Lie commutatif

Voir aussi

Article connexe

Lien externe

Références

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link