Produit direct (groupes) 222549 30714846 2008-06-17T01:20:18Z Dhatier 269771 ortho En [[mathématiques]] et plus précisément dans le cadre de la [[théorie des groupes]], le '''produit direct''' est une méthode permettant, à partir de plusieurs [[groupe (mathématiques)|groupes]], d'en construire un nouveau. Le '''produit direct''' correspond à une extension dans le sens où la structure obtenue contient des sous-structures [[isomorphisme|isomorphes]] à celles définissant le produit. Cette méthode, appliquée aux groupes permet de classifier les trois grands cas de groupes abéliens : ceux fini, ceux de type fini et les [[groupe de Lie|groupes de Lie]] de dimension finie et ayant un nombre fini de [[composante connexe|composantes connexes]]. Dans tout cet article, ''n'' est un entier strictement positif, (''G''<sub>1</sub>,*<sub>1</sub>), (''G''<sub>2</sub>,*<sub>2</sub>) ... (''G''<sub>n</sub>,*<sub>n</sub>) désignent des groupes, d'éléments neutres respectifs ''e''<sub>1</sub>, ''e''<sub>2</sub>, ..., ''e''<sub>n</sub>. == Motivation == Le produit direct correspond à l'opération du ''produit cartésien'' avec le transfert de l'opération des groupes. Une ''généralisation'' du produit cartésien pour rendre compatible une [[structure (mathématiques)|structure]] [[structure algébrique|algébrique]] est fréquente, on peut citer par exemple l'[[espace vectoriel]], le [[module sur un anneau]], l'[[algèbre sur un corps]] ou encore dans une moindre mesure ''(car l'intégrité, si elle existait, disparait) l'[[anneau (mathématiques)|anneau]]. Cette approche offre un premier service : le produit direct est un outil permettant de construire de nouveaux groupes, il étend ainsi le nombre d'exemples aisément accessibles pour étudier la théorie. Il existe un autre intérêt plus profond, celui de la classification des éléments de la structure étudiée. La classification permet de connaître, pour chaque élément les propriétés exactes dont il bénéficie ainsi que les autres éléments de la structure bénéficiant des mêmes propriétés. Un exemple de classification est celui des espaces vectoriels sur un [[corps (mathématiques)|corps]] ''K'' de [[dimension]] finie. La dimension classifie exactement tous ces espaces vectoriels. Une approche fréquente est celle de l'extension, elle consiste, à partir par exemple d'un groupe, à construire un nouveau groupe contenant le précédent. En ce sens, le produit direct est une extension d'un groupe. Cette méthode, d'extension par produit, est celle utilisée pour les espaces vectoriel et tout espace vectoriel sur ''K'' de dimension finie est isomorphe à un produit de l'espace vectoriel ''K'' (de dimension ''un''). Plus l'espace des objets construits grâce à l'extension est vaste, plus le champ d'application de l'extension est large. Dans le cas des groupes, le produit direct est une technique d'extension couvrant très largement le cas [[commutatif]]. Si le groupe est [[groupe abélien|abélien]] et possède suffisamment de ''bonnes'' propriétés, alors il est produit direct de groupes abéliens de la même catégorie et sa structure est particulièrement simple. Les trois cas les plus importants sont cités dans cet article. Dans le cas non abélien, d'autres méthodes d'extension sont nécessaires, c'est la raison d'être, par exemple du [[produit semi-direct]]. == Exemples == ===Groupe de Klein=== {{Article détaillé|Groupe de Klein}} Soit ''G'' l'unique groupe d'ordre ''deux'', [[isomorphisme|isomorphe]] au [[groupe cyclique]] d'ordre ''deux'' ''Z''/2''Z''. Sa table est la suivante : <center> {| class="wikitable" | {| border="1" | &nbsp;'''+'''&nbsp; || &nbsp;'''0'''&nbsp; || &nbsp;'''1'''&nbsp; |- | &nbsp;'''0'''&nbsp; || &nbsp;0 || &nbsp;1 |- | &nbsp;'''1'''&nbsp; || &nbsp;1 || &nbsp;0 |} |} </center> Le groupe produit ''G''x''G'' est un groupe de quatre éléments dont la table est la suivante: <center> {| class="wikitable" | {| border="1" | &nbsp;'''+'''&nbsp; || &nbsp;'''(0,0)'''&nbsp; || &nbsp;'''(0,1)'''&nbsp; || &nbsp;'''(1,0)'''&nbsp; || &nbsp;'''(1,1)'''&nbsp; |- | &nbsp;'''(0,0)'''&nbsp; || &nbsp;(0,0) || &nbsp;(0,1) || &nbsp;(1,0) || &nbsp;(1,1) |- | &nbsp;'''(0,1)'''&nbsp; || &nbsp;(0,1) || &nbsp;(0,0) || &nbsp;(1,1) || &nbsp;(1,0) |- | &nbsp;'''(1,0)'''&nbsp; || &nbsp;(1,0) || &nbsp;(1,1) || &nbsp;(0,0) || &nbsp;(0,1) |- | &nbsp;'''(1,1)'''&nbsp; || &nbsp;(1,1) || &nbsp;(1,0) || &nbsp;(0,1) || &nbsp;(0,0) |} |} </center> Le groupe obtenu est isomorphe au groupe de Klein, le seul groupe abélien d'ordre ''quatre'', dont tous les éléments ont eux-même pour inverse. ===Produit trivial=== Soit {e} le groupe réduit à un élément, ''G''x{e} est un produit de groupe isomorphe à ''G''. On parle alors de '''produit trivial'''. ===Groupe cyclique=== {{Article détaillé|Groupe cyclique}} Il est possible de se poser la question inverse, soit ''G'' un groupe, par exemple un groupe cyclique d'ordre ''g'', ''G'' est-il un produit non trivial de certains de ses [[sous-groupe]]s. La réponse est donnée par le [[Théorème des restes chinois]]. :*'' ''G'' est isomorphe à un produit non trivial de sous-groupes si et seulement s'il existe deux [[entier naturel|entiers]] ''a'' et ''b'' [[Nombres premiers entre eux|premiers entre eux]] tel que leur produit soit égal à ''g''.'' Dans ce cas, ''G'' est isomorphe au produit direct des deux groupes ''Z''/''a''.''Z'' et ''Z''/''b''.''Z''. Remarque : La démonstration est donnée dans l'article associé. ===Clôture algébrique de ''F''<sub>2</sub>=== ''F''<sub>2</sub> est l'unique [[corps fini]] à ''deux éléments'' (à un isomorphisme près). La [[clôture algébrique]] ''K'' de ''F''<sub>2</sub> correspond au plus petit [[corps (mathématiques)|sous-corps]] (à un isomorphisme près) contenant ''F''<sub>2</sub> et tel que tout [[polynôme]] à coefficients dans ''K'' de degré supérieur ou égal à ''un'' admette au moins une [[Racine (mathématiques)|racine]]. (''K'', +) par définition de la structure de corps est un groupe. On démontre qu'il est d'ordre infini et que : <center><math>\mathbb K \approx \prod_{i \in \mathbb N} \mathbb Z/2\mathbb Z \; </math></center> Le signe <math>\approx</math> désigne ici un isomorphisme de groupe. ''K'' est un exemple de produit direct infini de groupes, il correspond au seul groupe dénombrable tel que tout élément est son propre inverse. == Propriétés == ===Propriétés élémentaires=== Dans le cas où ''G''<sub>1</sub> et ''G''<sub>2</sub> sont de cardinaux finis, les propriétés du produit cartésien montrent que : :* ''L'ordre de ''G'' est égal au produit des ordres de ''G''<sub>1</sub> et ''G''<sub>2</sub>.'' :* ''Si ''G''<sub>1</sub> et ''G''<sub>2</sub> sont deux groupes abéliens alors leur produit direct l'est aussi.'' Cette propriété est une conséquence directe de la définition. En effet, si ''G''<sub>1</sub> et ''G''<sub>2</sub> sont deux groupes abéliens : <center><math>\forall (x_1,x_2), (y_1,y_2) \in G \quad (x_1,x_2)*(y_1,y_2)=(x_1*_1y_1,x_2*_2y_2)=(y_1*_1x_1,y_2*_2x_2)=(y_1,y_2)*(x_1,x_2) </math></center> Dans le cas général, notons ''i''<sub>1</sub> (resp. ''i''<sub>2</sub>) l'application de ''G''<sub>1</sub> (resp. ''G''<sub>2</sub>) dans ''G'' qui à ''x'' associe (''x'', ''e''<sub>2</sub>) (resp. (''e''<sub>1</sub>, ''x''). Le sous-groupe image de ''i''<sub>1</sub> (resp. ''i''<sub>2</sub>) est noté ''H''<sub>1</sub> (resp. ''H''<sub>2</sub>). Enfin l'application ''s''<sub>1</sub> (resp. ''s''<sub>2</sub>) de ''G'' dans ''G''<sub>1</sub> (resp. ''G''<sub>2</sub>) est défini par ''s''<sub>1</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>) = ''x''<sub>1</sub> (resp. ''s''<sub>2</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>) = ''x''<sub>2</sub>). :* ''Les applications ''i''<sub>1</sub> et ''i''<sub>2</sub> sont des [[homomorphisme de groupe|morphismes]] [[Injection (mathématiques)|injectifs]].'' :* ''Les applications ''s''<sub>1</sub> et ''s''<sub>2</sub> sont des [[homomorphisme de groupe|morphismes]] [[surjection|surjectifs]].'' :* ''Les deux suites suivantes sont des [[suite exacte|suites exactes]].'' <center><math>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</math></center> ===Sous-groupes ''H''<sub>1</sub> et ''H''<sub>2</sub>=== Ici, ''H''<sub>1</sub> et ''H''<sub>2</sub> désignent les sous-groupes ''G''<sub>1</sub> x {''e''} et {''e''} x ''G''<sub>2</sub>. Les sous-groupes ''H''<sub>1</sub> et ''H''<sub>2</sub> possèdent des propriétés caractéristiques d'un produit de groupes : :*'' ''H''<sub>1</sub> (resp. ''H''<sub>2</sub>) est un [[sous-groupe distingué]] isomorphe à ''G''<sub>1</sub> et (resp. ''G''<sub>2</sub>).'' En effet, ''H''<sub>1</sub> est l'image de ''G''<sub>1</sub> par ''i''<sub>1</sub> un morphisme injectif, les deux structures sont donc isomorphes. De plus ''H''<sub>1</sub> est le [[Noyau (algèbre)|noyau]] de ''s''<sub>2</sub>, c'est donc un sous-groupe distingué. Un raisonnement analogue montre le résultat équivalent pour ''H''<sub>2</sub>. :*''Tout élément de ''G'' s'écrit de manière unique comme produit d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>.'' Cette proposition est une conséquence immédiate de la définition de produit direct : <center><math>\forall x \in G \quad \exists ! (x_1,x_2) \in G=G_1 \times G_2 \quad donc \quad x=(x_1,e_2)*(e_1,x_2)</math></center> :*''Tout élément de ''H''<sub>1</sub> commute avec tout élément de ''H''<sub>2</sub>.'' Par définition un élément de ''H''<sub>1</sub> (resp. ''H''<sub>2</sub>) est de la forme (''x''<sub>1</sub>, ''e''<sub>2</sub>) (resp. (''e''<sub>1</sub>, ''x''<sub>2</sub>)), en conséquence : <center><math>\forall (x_1,e_2) \in H_1 \; \forall (e_1,x_2) \in H_2 \quad (x_1,e_2)*(e_1,x_2)=(e_1,x_2)*(x_1,e_2)=(x_1,x_2)</math></center> ==Réciproque== La problématique réciproque est la suivante, soit ''G'' un groupe, existe-t-il deux sous-groupes ''H''<sub>1</sub> et ''H''<sub>2</sub> de ''G'' non triviaux (c’est-à-dire différents de {''e''} et ''G'') tel que ''G'' soit isomorphe au produit direct de ''H''<sub>1</sub> et ''H''<sub>2</sub> ? La réponse est parfois positive, comme le montre l'exemple des groupes cycliques. Ce n'est pas toujours le cas, le [[groupe symétrique]] d'ordre trois, contenant les [[permutation]]s d'un ensemble de trois éléments, contient six éléments. Les seuls sous-groupes non triviaux ont pour cardinal ''deux'' ou ''trois''. Or les seuls groupes de cardinal ''deux'' ou ''trois'' sont des groupes cycliques donc abéliens. Comme le produit direct de deux groupes abéliens est abélien et que le groupe symétrique d'ordre trois est non commutatif, il n'est pas produit direct non trivial de deux sous-groupes. ===Condition nécessaire et suffisante=== Soit ''H''<sub>1</sub> et ''H''<sub>2</sub> deux sous-groupes d'un groupe ''G'', les propriétés élémentaires offrent une condition nécessaire pour qu'ils correspondent à un produit direct. Tout élément de ''G'' s'écrit comme produit d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub> et tout élément de ''H''<sub>1</sub> commute avec tout élément de ''H''<sub>2</sub>. Cette condition n'est pas seulement nécessaire, mais aussi suffisante : :* L'application φ de ''H''<sub>1</sub>x''H''<sub>2</sub> dans ''G'' qui, à (''h''<sub>1</sub>, ''h''<sub>2</sub>) associe ''h''<sub>1</sub>*''h''<sub>2</sub> est un isomorphisme de groupe, si et seulement si :'' ::<math>(i)\quad \forall (h_1,h_2) \in H_1 \times H_2 \quad h_1*h_2=h_2*h_1</math> ::<math>(ii)\quad \forall g \in G \quad \exists ! (h_1,h_2) \in H_1 \times H_2 \quad tel\; que \quad g=h_1*h_2</math> Le fait que φ soit un morphisme provient directement de la condition ''(i)'', en effet : <center><math>\forall (h_1,h_2) (k_1,k_2)\in H_1 \times H_2\quad \varphi\Big((h_1,h_2)(k_1,k_2)\Big)=\varphi\Big(h_1*k_1,h_2*k_2\Big)=h_1*k_1*h_2*k_2 =h_1*h_2*k_1*k_2=\varphi(h_1,h_2)*\varphi(k_1,k_2) </math></center> La condition ''(ii)'' exprime exactement le fait que φ est bijective. La démonstration est donc achevée. ===Somme directe=== Soient ''H''<sub>1</sub> et ''H''<sub>2</sub> deux sous-groupes de ''G''. On dit que la '''somme de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G'' '''si et seulement si le groupe engendré par les éléments de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égal au groupe entier ''G'' et si tout élément de ''H''<sub>1</sub> commute avec tout élément de ''H''<sub>2</sub>. Si, de plus l'intersection de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est réduit à l'élément neutre, alors la '''somme''' est dite '''directe''' et la notation suivante est utilisée : <center><math>G=H_1\oplus H_2</math></center> :* ''La somme directe de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G'' si et seulement si tout élément de ''G'' s'écrit de manière unique comme somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>.'' Cette définition se généralise à ''n'' sous-groupes. La somme directe possède bien des analogies avec son homologue en [[algèbre linéaire]] (cf. [[Somme directe]]). Soit ''H''<sub>1</sub> et ''H''<sub>2</sub> deux sous-groupes de ''G'', alors : :* ''La somme directe de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G'', si ''G'' est [[Isomorphisme|isomorphe]] au produit direct de ''H''<sub>1</sub> et de ''H''<sub>2</sub>.'' {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''La somme de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égal à ''G'' et est directe si et seulement si tout élément de ''G'' s'écrit de manière unique comme somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>.''' Supposons que tout élément de ''G'' s'écrit de manière unique comme somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>. Alors soit ''h'' un élément de l'intersection de ''H''<sub>1</sub> et de ''H''<sub>2</sub>, 1<sub>G<sub> s'écrit comme somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub> des deux manières suivantes: 0 + 0 et ''h'' - ''h''. On en déduit que ''h'' est égal à 0. Si tout élément s'écrit comme la somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub> alors l'union de ''H''<sub>1</sub> et de ''H''<sub>2</sub> engendre ''G''. Et la somme directe de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est bien égale à ''G''. Supposons que la somme directe de ''H''<sub>1</sub> et ''H''<sub>2</sub> est égal à ''G''. Soit alors deux écritures d'un même élément comme somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>: ''h''<sub>1</sub> + ''k''<sub>1</sub> et ''h''<sub>2</sub> + ''k''<sub>2</sub>. On en déduit que les deux expressions ''h''<sub>1</sub> - ''h''<sub>2</sub> et ''k''<sub>2</sub> - ''k''<sub>1</sub> sont égales. Ces deux expressions sont membres de l'intersection de ''H''<sub>1</sub> et de ''H''<sub>2</sub>. Elles sont donc nulles, ce qui montre l'égalité entre ''h''<sub>1</sub> et ''h''<sub>2</sub> (respectivement entre ''k''<sub>1</sub> et ''k''<sub>2</sub>). Ce qui démontre l'unicité de l'écriture d'un élément de ''G'' comme somme d'un élément de ''H''<sub>1</sub> et de ''H''<sub>2</sub>. Si la somme de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G'' alors la démonstration précédente montre que le caractère abélien de ''G'' implique l'existence d'une écriture de la forme ''h'' + ''k'' où ''h'' est élément de ''H''<sub>1</sub> et ''k'' de ''H''<sub>2</sub> pour chaque élément de ''G''. :* '''Si la somme directe de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G'' alors ''G'' est isomorphe au [[Produit direct (groupes)|produit direct]] de ''H''<sub>1</sub> et de ''H''<sub>2</sub>.''' Supposons que la somme directe de ''H''<sub>1</sub> et de ''H''<sub>2</sub> soit égale à ''G''. Soit φ l'application de ''H''<sub>1</sub>x''H''<sub>2</sub> dans ''G'' qui, à tout élément (''h'',''k'') associe ''h''+''k''. φ est clairement un morphisme de groupe. Montrons que φ est [[surjection|surjectif]]. La somme de ''H''<sub>1</sub> et de ''H''<sub>2</sub> est égale à ''G''. En conséquence, si a est un élément de ''G'' Il existe donc une suite finie d'éléments de ''H''<sub>1</sub> et de ''H''<sub>2</sub> dont la somme est égale à a. Comme le groupe ''G'' est abélien, il est possible de permuter les termes de telle manière à avoir dans la somme d'abord les éléments de ''H''<sub>1</sub>, puis les éléments de ''H''<sub>2</sub>. On en déduit que ''a'' est somme d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub>. Ces deux éléments forment l'[[Antécédent (mathématiques)|antécédent]] de ''a'' par l'application φ. Montrons que φ est [[Injection (mathématiques)|injectif]]. Avec des notations évidentes, supposons que (''h'',''k'') un soit élément du [[Noyau (algèbre)|noyau]] de φ. Il vérifie ''h'' + ''k'' = 0, en conséquence ''h'' est un élément de ''H''<sub>1</sub> égal à -''k'' donc est aussi élément de ''H''<sub>2</sub>. Comme la somme est directe ''h'' est égal à 0 et donc ''k'' aussi. Ce qui termine la démonstration. }} ===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''<sub>1</sub> et ''H''<sub>2</sub> 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''<sub>1</sub>*''h''<sub>2</sub> où ''h''<sub>i</sub> est élément de ''H''<sub>i</sub>. Soit ''p'' l'application de ''G'' dans ''G'' qui à ''g'' associe ''h''<sub>1</sub>. 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 ''p''o''p'' 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 ''p''o''p'' 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 : :<math>1\to H\to G\to G/H\to1</math> telle que ''G'' est abélien, et qu'il existe une section ''G''/''H'' dans ''G'' qui se factorise en un produit direct <math>\scriptstyle G\simeq H\times G/H</math>. {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* ''La fonction ''p'' est un morphisme de groupe, tout élément de son image commute avec tout élément de son noyau et ''p''o''p'' est égal à ''p''.'' En effet, montrons ''p'' est un morphisme : <center><math>\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)</math></center> <center><math> donc \quad p(g)*\varphi(g')=h_1*h'_1=p\Big((h_1*h'_1)*(h_2*h'_2)\Big)=p(g*g')</math></center> Montrons que ''pop'' est égal à p. Soit ''g'' = ''h''<sub>1</sub>*''h''<sub>2</sub> un élément quelconque de ''G'', ''p''(''g'') = ''h''<sub>1</sub>. De plus, ''h''<sub>1</sub> s'écrit de manière unique comme produit d'un élément de ''H''<sub>1</sub> et d'un élément de ''H''<sub>2</sub> de la manière suivante ''h''<sub>1</sub>=''h''<sub>1</sub>*''e'', donc p(''h''<sub>1</sub>)=''h''<sub>1</sub>, 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''<sub>1</sub>, la proposition précédente montre l'inclusion inverse donc l'image de ''p'' est égale à ''H''<sub>1</sub>. Montrons alors que le noyau de ''p'' est égal à ''H''<sub>2</sub>. Par construction de ''p'' tout élément du noyau s'écrit ''e''*''h''<sub>2</sub> avec ''h''<sub>2</sub> élément de ''H''<sub>2</sub> 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''<sup>-1</sup>. Par construction, ''h'' est élément de l'image de ''p''. De plus, ''pop''(''g'') = ''p''(''g'') = ''p''(''h'') = ''h'', et donc ''p''(''h''<sup>-1</sup>) = ''h''<sup>-1</sup>. En conséquence ''p''(''k'') = ''p'' (''g'')*''p''(''h''<sup>-1</sup>)=''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''<sup>-1</sup>*''h'' = ''l*k''<sup>-1</sup> 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''<sup>-1</sup>*''h'' = ''l*k''<sup>-1</sup> = ''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]]=== {{Loupe | 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''<sub>1</sub>,''a''<sub>2</sub>,...,''a''<sub>k</sub>) 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 : <center><math>G\simeq \mathbb{Z}/a_1\mathbb{Z}\times \mathbb{Z}/a_2\mathbb{Z} \times \cdots \times \mathbb{Z}/a_k\mathbb{Z}</math></center> ===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 d'un groupe|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 [[entier relatif|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''<sup>n</sup>.'' ===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 [[Composante connexe|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 == ===Liens externes=== * {{fr}} [http://www.les-mathematiques.net/b/c/a/node14.php3#bcam1 Groupe produit] par ''les mathématiques.net'' ===Références=== * S. Lang, ''Algèbre'', Dunod, 2004. * 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. {{portail mathématiques}} [[Catégorie:Théorie des groupes]] [[en:Direct product]]