Voir la source de Théorie des groupes/Groupes, premières notions

{{Chapitre
  | niveau    = 14
  | idfaculté = mathématiques
  | numéro    = 2
  | précédent = [[../Lois de composition internes, monoïdes/]]
  | suivant   = [[../Classes modulo un sous-groupe/]]
  | page_liée = Exercices/Groupes, premières notions
}}

== Groupe : définitions et exemples  ==

{{Définition
  | contenu =

Un '''groupe''' <math>(G,\star)</math> est un monoïde où tout élément admet un symétrique.
}}

Un '''groupe''' <math>(G,\star)</math> est donc un ensemble muni d'une loi de composition interne <math>\ \star </math> possédant les propriétés suivantes :
* La loi de composition est associative : <math>\forall x,y,z \in G : x \star (y \star z) = (x \star y) \star z</math> ;
* Il existe un (et un seul) '''élément neutre''', noté ''e'' vérifiant <math>\forall x \in G : x \star e = e \star x = x</math> ;
* Tout élément a un symétrique (dit aussi inverse en notation multiplicative et opposé en notation additive), <math>\forall x \in G, \exists y \in G, x \star y = y \star x = e.</math>

Remarque : le symétrique de ''x'' est noté x{{exp|-1}} en notation multiplicative et -x en notation additive.

Comme on l'a vu dans le chapitre sur les monoïdes,
* l'élément neutre est unique ;
* un élément donné n'a qu'un symétrique ;
* le symétrique du symétrique d'un élément ''x'' est ''x'' lui-même.

On vérifie facilement que si un magma M est isomorphe comme magma à un groupe, M est un groupe.


{{Théorème
  | titre=Théorème
  |contenu=
Tout élément d'un groupe est simplifiable.
}}
Démonstration. Nous avons vu dans le chapitre sur les monoïdes que tout élément inversible d'un monoïde est simplifiable.


{{Théorème
  | titre=Théorème
  |contenu=
Soit ''x'' un élément d'un groupe G. Si ''y'' est un élément de G tel que xy = 1 ou yx = 1, y est l'inverse de ''x''
}}
Démonstration. Supposons d’abord xy = 1 et prouvons que ''y'' est l'inverse de ''x''. Il suffit de multiplier à gauche les deux membres de l'égalité xy = 1 par x{{exp|-1}} et d'appliquer l'associativité. Si maintenant y x = 1, on peut multiplier à droite par x{{exp|-1}}, ou encore dire que d’après le résultat précédent, ''x'' est l'inverse de ''y'', ce qui entraîne que ''y'' est l'inverse de ''x''.

On supposera dans ce cours que le lecteur connaît la notion de [[w:Cardinalité_(mathématiques)|cardinal]] infini et ses propriétés les plus classiques. On notera <math>\vert X \vert</math> ou encore Card(X) le cardinal d'un ensemble X.

{{Définition
  | contenu =
L<nowiki>'</nowiki>'''ordre''' d'un groupe est le cardinal de son ensemble sous-jacent. On notera <math>\vert G \vert</math> l'ordre du groupe G. Certains auteurs<ref>Voir par exemple P. Tauvel, ''Algèbre'', 2de éd., Dunod, 2005, p. 39, théor. 4.3.3.</ref> appellent cardinal d'un groupe ce que nous appelons l'ordre de ce groupe.
}}

Un groupe d'ordre fini (resp. infini) est encore appelé un groupe fini (resp. infini) etc.

Exemples.

1) <math>\{e\}</math> : groupe trivial (la loi est définie par <math>e.e=e</math>).

2) Si A, B, C sont des ensembles, si <math>f</math> est une application de A dans B et <math>g</math> une application de B dans C, on notera dans ce cours <math>g \circ f</math> l'application <math>x \mapsto g(f(x))</math> de A dans C. (On compose donc de droite à gauche. Certains auteurs composent de gauche à droite, c'est-à-dire qu'ils écrivent <math>f g</math> là où nous écrivons <math>g \circ f</math>.) Soit ''X'' un ensemble. Rappelons qu'en théorie des ensembles, on appelle permutation de ''X'' une bijection de ''X'' sur lui-même. L'application de ''X'' dans lui-même qui applique chaque élément sur lui-même est évidemment une permutation de ''X'', que nous noterons id<sub>''X''</sub>. Soient ''f'', ''g'' et ''h'' des permutations de ''X''. On montre en théorie des ensembles que
:* <math>f \circ (g \circ h) = (f \circ g )\circ h</math>
:* <math>f \circ id_{X} = id_{X} \circ f = f</math>
:* <math>f \circ f^{-1} =  f^{-1} \circ f = id_{X}</math>,
où ''f''{{exp|-1}} désigne la permutation réciproque de ''f'', définie en théorie des ensembles. Cela montre que l’ensemble des permutations de ''X'', muni de la loi de composition <math>\circ </math>, est un groupe, qu'on appelle ''groupe symétrique'' de ''X'', et qu'on note <math>\ S_{X}</math> ou <math>\mathfrak{S}(X)</math>.

3) L'ensemble des entiers relatifs (ou entiers rationnels), muni de l'addition des entiers est un autre exemple de groupe. (Cet ensemble est connu dès le niveau des lycées et collèges, mais nous le construirons dans la suite du présent chapitre.) On sait que la somme de deux entiers ne dépend pas de l’ordre dans lequel l'addition est effectuée, autrement dit le composé de deux éléments du groupe en question ne dépend pas de l'ordre dans lequel on leur applique la loi de groupe. On dit qu'un tel groupe est commutatif, ou encore abélien :

{{Définition
  | contenu ={{Wikipédia|Groupe abélien}}
Un '''groupe abélien''' (ou commutatif) <math>(G,\star)</math> est un groupe dont la loi de composition est commutative, c'est-à-dire, rappelons-le, que cette loi satisfait à la condition :
:<math>\forall x,y \in G : x \star y = y \star x</math>.
}}

Dire qu'un groupe est abélien revient à dire qu'il est commutatif comme monoïde.

{{Théorème
  | titre=Exemple de groupe non commutatif.|contenu=
Si ''X'' est un ensemble d'au moins trois éléments, le groupe S<sub>X</sub> n’est pas commutatif.
}}

Démonstration. Si ''x'' et ''y'' sont deux éléments distincts de ''X'', désignons par (''x'', ''y'') la permutation de ''X'' qui applique ''x'' sur ''y'', ''y'' sur ''x'', et laisse fixes tous les autres éléments de ''X''. Par hypothèse, nous pouvons choisir trois éléments distincts ''a'', ''b'' et ''c'' de ''X''. Les permutations
:<math>(a,b)\circ (b,c)</math> et <math> (b,c) \circ (a,b)</math>
ne sont pas égales, car la première applique ''b'' sur ''c'' et la seconde l'applique sur ''a''. Ceci prouve bien que le groupe S<sub>X</sub> n’est pas commutatif.

''Remarque :'' Quand on parle d'un groupe, il arrive (souvent) que la loi soit sous-entendue, mais s'il y a un risque de confusion il faut la mettre explicitement.<br />Par convention ''tacite'', la loi d'un groupe est généralement notée de la même façon que la multiplication, d'élément neutre 1. Les groupes abéliens sont notés comme l'addition, d'élément neutre 0 et d'inverse -x (on dit « l'opposé »). Attention cependant, aucune convention explicite n'existe, les auteurs sont donc libres de noter les lois comme ils veulent ; et souvent les notations dépendent de la nature des objets constituant le groupe.

== Extension de la loi aux parties  ==
Si <math>X</math> et <math>Y</math> sont des parties d'un groupe <math>G</math> noté multiplicativement, nous désignerons par <math>XY</math> l’ensemble des éléments de <math>G</math> de la forme <math>xy</math> avec <math>x \in X</math> et <math>y \in Y</math>. Nous désignerons par <math>X^{-1}</math> l’ensemble des éléments de G de la forme <math>x^{-1}</math> avec <math>x \in X</math>.<br />
Il est clair que, pour toutes parties <math>X, Y</math> et <math>Z</math> de <math>G</math>, nous avons :
:<math>(XY)Z = X(YZ)</math>
:<math>(XY)^{-1} = Y^{-1}X^{-1}</math>
:<math>(X^{-1})^{-1} = X</math>

Si X est le singleton <math>\{x\}</math>, on écrit <math>xY</math> au lieu de <math>\{x\}Y</math> et, de même, <math>Yx</math> au lieu de <math>Y\{x\}</math>.

En notation additive, on écrit <math>X+Y</math> au lieu de <math>XY</math>, et <math>-X</math> au lieu de <math>X^{-1}</math>.

== Groupe additif des entiers relatifs et des nombres rationnels  ==
{{Wikipédia|Construction des entiers relatifs}}
(Cette section peut être omise en première lecture.)

L'ensemble <math>\N</math> des nombres naturels, muni de l'addition, est un monoïde commutatif où tout élément est simplifiable. Le seul élément de ce monoïde qui admette un opposé est 0<ref>Pour le prouver dans le cadre de Bourbaki, où les entiers naturels sont définis comme des cardinaux, on peut dire que si un entier naturel ''a'' admet un opposé ''b'', alors a + b = 0, d'où (N. Bourbaki, ''Théorie des ensembles'', Paris, 1998, ch. III, § 3, prop. 13, p. 29) a ≤ 0, d'où, puisque 0 est le plus petit des cardinaux (ib. § 3, p. 25), a = 0.</ref>. Nous allons montrer que <math>(\N, +)</math> peut être « plongé » dans un groupe. De façon générale, si M est un monoïde commutatif, on peut « plonger » M dans un monoïde commutatif plus grand, où tout élément est de la forme ''ms''<sup>-1</sup>, -que l’on notera (''m'' ''/'' ''s'') en notation multiplicative et (''m'' ''-'' ''s'') en notation additive,- ''m'' appartenant à M et ''s'' étant un élément simplifiable de M. On procède comme suit. Soit S l’ensemble des éléments simplifiables de M. Dans le produit cartésien <math>M \times S</math>, on considère la relation d'équivalence entre <math>(m_{1}, s_{1})</math> et <math>(m_{2}, s_{2})</math> définie par la condition <math>m_{1} s_{2} = m_{2} s_{1}</math>. On note m/s (en contexte multiplicatif) la classe d'équivalence de (m,s). On montre que, pour <math>m, n \in M</math> et <math>s, t \in S</math>, la classe d'équivalence de (mn, st) ne dépend que des classes d'équivalence de (m,s) et (n,t), ce qui permet de munir l’ensemble quotient d'une loi de composition <math>\star</math> qui peut être caractérisée par <math>m/s \star n/t = (mn)/(st)</math>. On munit ainsi l’ensemble quotient d'une structure de monoïde. Ce monoïde est noté <math>M_{S}</math>. Le monoïde M est isomorphe au [[Monoïde/Définition d’un monoïde#Définition|sous-monoïde]] de <math>M_S</math> formé par les éléments de la forme (m/1), m parcourant M. On identifie M à ce sous-monoïde de <math>M_{S}</math> et on a donc bien «plongé» M dans un monoïde tel qu'annoncé. On vérifie en effet (i) que tout élément simplifiable s de M est inversible dans <math>M_{S}</math>, (ii) que ''s''<sup>-1</sup> est identique à la classe associée au couple (''1'',''s''), et (iii) que toute classe ''m''/''s'' associée au couple (''m'',''s'') est égale au produit ''ms''<sup>-1</sup> dans <math>M_{S}</math>.

Si tout élément de M est simplifiable, S est égal à M tout entier et <math>M_{S}</math> est un groupe. On étend, dans ce cas, la notation a/b à tous les éléments a et b du groupe <math>M_{S}</math>, en convenant que <math>a / b = ab^{-1}</math> (<math>a - b = a + (-b)</math> en contexte additif). <br />
Dans le cas particulier où M est le monoïde additif <math>\N</math>, on plonge ainsi <math>\N</math> dans un groupe commutatif noté ℤ, +, qu'on appelle groupe des entiers rationnels, ou des entiers relatifs.

Soient a, b deux nombres naturels, et soit n le nombre naturel constituant l'écart entre a et b. Ainsi a+n=b ou bien a=b+n, selon que <math>a \leq b</math> ou bien <math>b \leq a</math>. L'élément (a-b) de ℤ peut donc s'écrire d'une des deux façons (0-n), (n-0) avec n naturel (selon que <math>a \leq b</math> ou <math>b \leq a</math>). On en tire que tout élément de ℤ est égal à un élément de la forme -n ou n, avec n naturel (si on identifie comme ci-dessus <math>\N</math> à un sous-monoïde de ℤ). Autrement dit, <math>\Z = \N \cup -\N</math>. On peut aussi montrer que 0 est le seul élément de ℤ qui appartienne à la fois à <math>\N</math> et à <math>-\N</math><ref>Voir les détails dans N. Bourbaki, ''Algèbre'', Paris, Hermann, 1970, ch. I, § 2, num. 4 et 5, pp. 17-21.</ref>.

On a dans ℤ une relation d'ordre total
:<math>a \leq b \Leftrightarrow b-a \in \N</math>
qui coïncide dans <math>\N</math> avec la relation d'ordre usuelle dans <math>\N</math>. Cette relation d'ordre dans ℤ est dite relation d'ordre usuelle dans ℤ. Quand nous parlerons d'une relation d'ordre dans ℤ sans la préciser, il s'agira de celle-là.

Si ''r'' est un entier relatif, il résulte d'une remarque ci-dessus que ''r'' ou -r est naturel et qu’ils ne le sont tous deux que si r = -r = 0. On appelle valeur absolue de ''r'' et on note <math>\ \vert r \vert </math> l'unique entier naturel qui appartient à l’ensemble {r, -r}. C'est aussi le plus grand des deux entiers rationnels r et -r.

Remarque : la méthode de plongement ci-dessus sert aussi à définir le [[Corps (mathématiques)/Définitions#Corps des fractions|corps des fractions d'un anneau intègre]]. L'anneau <math>\mathbb{Z}</math> est un anneau intègre et son corps des fractions est le corps <math>\mathbb{Q}</math> des nombres rationnels. Ce corps est un corps ordonné.

== Sous-groupes ==
{{Définition
  | contenu ={{Wikipédia|Sous-groupe}}
Un '''sous-groupe''' d'un groupe <math>(G,\star)</math> est un sous-ensemble H de G possédant les propriétés suivantes :
* H est stable par la loi <math>\star</math> : <math>\forall x,y \in H : x \star y \in H</math>
* l'élément neutre de G appartient à H
* l'inverse de tout élément de H est dans H
}}

D'après la condition de stabilité, la loi <math>\star</math> de G induit une loi de composition interne dans H, qui, pour tous éléments h<sub>1</sub>, h<sub>2</sub> de H, applique (h<sub>1</sub>, h<sub>2</sub>) sur l'élément h<sub>1</sub> <math>\star</math> h<sub>2</sub> de H. Cette loi induite est évidemment associative. Puisque l'élément neutre de G appartient à H, il est évidemment élément neutre pour la loi induite. Enfin, puisque pour tout élément ''h'' de H, l'inverse de ''h'' pour * appartient à H, il est clair que cet inverse est aussi l'inverse de ''h'' pour la loi induite. Tout ceci montre que la loi induite fait de H un groupe.

Pour exprimer que ''H'' est sous-groupe de ''G'', on écrit souvent<ref name=Calais30>Voir par exemple J. Calais, ''Éléments de théorie des groupes'', Paris, 1984, p. 30.</ref> <math>H \leq G</math> plutôt que <math>H \subseteq G</math>. De même, pour exprimer que ''H'' est un sous-groupe propre de ''G'' (c'est-à-dire distinct de ''G''), on écrit souvent<ref name=Calais30/> <math>\ H < G</math>.

{{Théorème
  | titre=Caractérisation|contenu=
H est un '''sous-groupe''' de G si et seulement si :
* <math>H \subset G</math>
* <math>H  \ne \varnothing</math>
* <math>\forall x,y \in H : x \star y^{-1} \in H</math>
}}
{{démonstration déroulante|contenu= 
Le sens direct est évident. Pour l'autre sens, H est dans G donc l'associativité reste vraie. H non vide donc il existe un élément <math>x</math>. D'après le troisième point, <math>x \star x^{-1} = e</math> est dans H ce qui montre que l'élément neutre appartient à H. Ensuite, d’après le troisième point, en choisissant <math>x = e</math> et y quelconque, <math>e \star y^{-1} = y^{-1} \in H</math> donc l'inverse de tout élément est dans H. La loi est bien sûr interne car pour tout <math>x,y \in H</math>, en choisissant x et <math>y^{-1}</math> dans le troisième point, <math>x \star (y^{-1})^{-1} = x \star y \in H</math>. Donc la loi est bien interne. D'où la conclusion.
}}

Exemples :
* Dans tout groupe, l’ensemble constitué de l'élément neutre est un sous-groupe.
* Dans <math>(\Z,+)</math>, toute partie de la forme <math>n\Z</math> avec <math>n \in \N</math> est un sous-groupe. Nous verrons dans un autre chapitre que tout sous-groupe de <math>(\Z,+)</math> est de cette forme.
*Dans le groupe <math>S_\Complex</math> des bijections de <math>\Complex</math> dans lui-même, l'ensemble des applications de la forme <math>z\mapsto az+b</math> avec <math>a,b\in\Complex</math> et <math>a\ne0</math> est un sous-groupe. C'est le groupe des [[similitude]]s directes du plan complexe.


{{Théorème
  | titre=Proposition|contenu=
L'[[Application (mathématiques)/Famille#Opérations sur les familles|intersection d'une famille]] non vide de sous-groupes est un sous-groupe.
}}
{{démonstration déroulante|contenu= 
Soient <math>(H_i)_{i\in I}</math> une famille non vide de sous-groupes de G, et H son intersection (qui est bien définie, car <math>I\ne \varnothing</math>).
*H est un sous-monoïde de G (comme [[Monoïde/Définition d’un monoïde#Partie génératrice|intersection de sous-monoïdes]]).
*Si <math>x\in H</math> alors, pour tout i, on a <math>x\in H_i</math>, donc <math>x^{-1}\in H_i</math>. Comme c'est vrai pour tout i, <math>x^{-1}\in H</math>.
}}

{{Attention|Avec_fond = oui|Une réunion de sous-groupes n’est pas toujours un sous-groupe. (Par exemple, dans <math>\mathfrak{S}_3</math>, <math>\{id , (12)\}</math> est un sous-groupe, <math>\{(id , (13)\}</math> est un sous-groupe mais la réunion <math>\{id , (12) , (13)\}</math> n’est pas un groupe car <math>(13)(12)=(123)</math>.) Voir dans les exercices à quelle condition la réunion de deux sous-groupes est un sous-groupe.}}

{{Définition
  | contenu =
On appelle sous-groupe maximal d'un groupe G un élément maximal de l’ensemble des sous-groupes ''propres'' de G, cet ensemble étant ordonné par inclusion. Autrement dit, un sous-groupe M de G est dit sous-groupe maximal de G si M est un sous-groupe propre de G et qu’il n'existe pas de sous-groupe H de G tel que M < H < G.
}}

{{remarque|contenu=
 Cette définition est quelque peu abusive, puisque, en toute rigueur, le seul sous-groupe maximal de G pour la relation d'inclusion est G lui-même. Cet abus est cependant quasi universel.
}}

Si G est un groupe ''fini'', tout sous-groupe propre de G est contenu dans au moins un sous-groupe maximal. (Si H est un sous-groupe propre de G, il existe au moins un sous-groupe propre de G qui contient H, à savoir H lui-même. L'ensemble des ordres des sous-groupes propres de G qui contiennent H est donc non vide. D'autre part, puisque G est fini, cet ensemble est fini. Comme tout ensemble fini non vide de nombres naturels admet un plus grand élément, il existe donc un sous-groupe propre de G contenant H dont l’ordre est le plus grand possible. Il est clair qu'un tel sous-groupe propre de G est un sous-groupe maximal de G. On pourrait dire aussi que l’ensemble des sous-groupes propres de G contenant H, ordonné par inclusion, est un ensemble ordonné fini non vide et admet donc un élément maximal.) En particulier, tout groupe fini G non réduit à l'élément neutre contient au moins un sous-groupe maximal. (En effet, d’après ce qui précède, le sous-groupe propre 1 de G est contenu dans au moins un sous-groupe maximal de G.)

== Homomorphismes ==
{{Définition
  | contenu ={{Wikipédia|Morphisme de groupes}}
Un '''homomorphisme''' de groupes, parfois appelé morphisme de groupes, est un [[../Lois de composition internes, monoïdes#Loi de composition interne|morphisme de magmas]] d'un groupe <math>(G,*)</math> dans un groupe <math>(H,\star)</math>, c'est-à-dire une application <math>f:G \rightarrow H</math> vérifiant :
:<math>\forall x,y \in G : f(x*y) = f(x) \star f(y)</math>.
L'ensemble des homomorphismes d'un groupe G dans un groupe H se note Hom(G, H).
}}

;Remarque :
:Un homomorphisme d'un groupe ''G'' dans lui-même est appelé endomorphisme (de groupe) de ''G''.

Rappelons que selon les conventions sur la préséance des évaluations, ''f''(''x''){{exp|–1}} désigne ( ''f''(''x'') ){{exp|–1}}. Cela étant, nous avons la

{{Proposition|contenu=
Soit ''f'' un homomorphisme d'un groupe ''G'' dans un groupe ''H''. Alors :
*''f'' applique élément neutre sur élément neutre ;
*pour tout élément ''x'' de ''G'', ''f''(''x''{{exp|–1}}) = ''f''(''x''){{exp|–1}}.
}}
{{Démonstration déroulante|contenu=
Voir les [[../Exercices/Lois de composition internes, monoïdes|exercices 1 et 2 du chapitre précédent]].
}}

Exemples d'homomorphismes.
:1) Si ''G'' et ''H'' sont des groupes, l’application de ''G'' dans ''H'' qui envoie tout élément de ''G'' sur l'élément neutre de ''H'' est un homomorphisme de ''G'' dans ''H'', qu'on appelle l'homomorphisme trivial de ''G'' dans ''H''.
:2) Nous avons vu que, dans '''Z''', la multiplication est distributive par rapport à l'addition. On en tire que si ''n'' est un élément de '''Z''', l’application <math>x \mapsto nx</math> de '''Z''' dans lui-même (multiplication par ''n'') est un endomorphisme de '''Z'''.

Pour un morphisme de groupes de ''G'' dans ''H'', l'image de tout sous-groupe de ''G'' et la préimage de tout sous-groupe de ''H'', sont des sous-groupes de ''H'' et de ''G'' respectivement (c'est une conséquence immédiate de la [[Magma (mathématiques)#Morphismes|propriété correspondante pour les magmas]] et de la proposition précédente). En particulier :

{{Proposition|titre=Noyau et image|contenu={{Wikipédia|Noyau (algèbre)#Noyau d'un morphisme de groupes|Noyau}}
Si <math>f:G\rightarrow H</math> est un morphisme de groupes,
*la [[Application (mathématiques)#Image directe, image réciproque d’une partie par une application|préimage]] de l'élément neutre de ''H'', appelée '''noyau''' de ''f'', est un sous-groupe de ''G'', noté <math>\ker f</math> ;
*l'[[Application (mathématiques)#Image directe, image réciproque d’une partie par une application|'''image''']] de ''f'' est un sous-groupe de ''H''.
}}

Exemple. Le morphisme <math>(\R,+)\to(\Complex^*,\cdot),\;t\mapsto\operatorname e^{\mathrm it}</math> a pour noyau le sous-groupe <math>2\pi\Z</math> des réels de la forme <math>2\pi k</math> avec <math>k</math> entier, et pour image le sous-groupe des nombres complexes de module <math>1</math>.


{{Définition
|contenu=
G et H étant des groupes, on dit que H est '''image homomorphe''' de G s'il existe un homomorphisme de groupes partant de G et dont H est l'image. Cela revient à dire qu’il existe un homomorphisme surjectif de G sur H.
}}

{{Exemple|titre=Exercice|contenu=
Démontrer que :
#un homomorphisme est [[Application (mathématiques)/Injection, surjection, bijection#Les types d’applications|injectif]] si et seulement si son noyau est réduit à l'élément neutre ;
#si ''f'' et ''g'' sont deux homomorphismes d'un groupe ''G'' dans un même groupe, alors l'ensemble des éléments ''x'' de ''G'' tels que <math>f(x) = g(x)</math> est un sous-groupe de ''G''.
{{Solution|contenu=
#Soit <math>f:G\to H</math> un morphisme.
#*Si <math>f</math> est injectif alors <math>\forall x\in G\quad x\in\ker f\Rightarrow f(x)=f(e_G)\Rightarrow x=e_G</math> donc <math>\ker f=\{e_G\}</math>.
#*Si <math>\ker f=\{e_G\}</math> alors <math>\forall x,y\in G\quad f(x)=f(y)\Rightarrow f\left(x\ y^{-1}\right)=f(x)\ f(y)^{-1}=e_H\Rightarrow x\ y^{-1}\in\ker f\Rightarrow x\ y^{-1}=e_G\Rightarrow x=y</math> donc <math>f</math> est injectif.
#Soient <math>f,g:G\to H</math> deux morphismes et <math>K=\{x\in G\mid f(x)=g(x)\}</math>. Alors, <math>e_G\in K</math> et <math>\forall x,y\in K\quad f\left(x\ y^{-1}\right)=f(x)\ f(y)^{-1}=g(x)\ g(y)^{-1}=g\left(x\ y^{-1}\right)</math> donc <math>x\ y^{-1}\in K</math>.
}}
}}
Remarque. On notera parfois dans ce cours que certaines notions de la théorie des groupes sont des cas particuliers de notions de la {{w|théorie des catégories}}. Ces références à la théorie des catégories resteront toutefois marginales et pourront être ignorées par le lecteur non intéressé. Il existe une (et une seule) catégorie dont les objets sont les groupes, dont les morphismes sont les homomorphismes de groupes et où la [[Magma (mathématiques)#Morphismes|composition des morphismes]] est la composition des homomorphismes de groupes en tant qu'applications ; cette catégorie est appelée la {{w|catégorie des groupes}}. De même, il existe une (et une seule) catégorie dont les objets sont les groupes abéliens, dont les morphismes sont les homomorphismes de groupes entre groupes abéliens et où la composition des morphismes est la composition des homomorphismes de groupes abéliens en tant qu'applications ; cette catégorie est appelée la {{w|catégorie des groupes abéliens}}. On montre facilement que dans chacune de ces deux catégories, les [[w:monomorphisme|monomorphismes]] sont exactement les homomorphismes injectifs (voir les exercices sur le présent chapitre). Il est également facile (voir  [[../Exercices/Sous-groupe distingué et groupe quotient|un exercice sur le chapitre « Sous-groupe distingué et groupe quotient »]] dans la suite du cours) de prouver que dans la catégorie des groupes abéliens, les [[w:épimorphisme|épimorphismes]] sont exactement les homomorphismes surjectifs entre groupes abéliens. Un peu moins facilement, on prouve que c'est également vrai dans la catégorie des groupes (voir un exercice de la série [[../Exercices/Conjugaison, centralisateur, normalisateur|Conjugaison, centralisateur, normalisateur]]). Tout cela explique que certains auteurs<ref>D.J.S. Robinson, ''A Course in the Theory of Groups'', 2<sup>de</sup> éd., 1996, p. 18.</ref> appellent ''épimorphisme'' (de groupes) un homomorphisme surjectif de groupes et ''monomorphisme'' (de groupes) un homomorphisme injectif de groupes, sans allusion à la définition générale des épimorphismes et des monomorphismes. On imitera ces auteurs dans le présent cours et le lecteur peut donc considérer que les termes ''épimorphisme'' et ''monomorphisme'' sont respectivement des synonymes d'homomorphisme surjectif de groupes et d'homomorphisme injectif de groupes.

== Isomorphismes ==
* Si un homomorphisme <math>f : G \rightarrow H</math> est bijectif, on parle d''''isomorphisme de groupes'''. (On montre qu'alors <math>f^{-1}</math> est également un morphisme de groupes).
* Un isomorphisme d'un groupe ''G'' sur lui-même est appelé un automorphisme de ''G''.

Soient G, H et K trois groupes. Il existe évidemment un isomorphisme de G sur lui-même, car la transformation identique est un tel isomorphisme. S'il existe un isomorphisme de G sur H, il existe un isomorphisme de H sur G (l'inverse de n’importe quel isomorphisme de G sur H). Enfin, s'il existe un isomorphisme ''f'' de G sur H et un isomorphisme ''g'' de H sur K, alors il existe un isomorphisme de G sur K, car <math>g \circ f</math> est un tel isomorphisme. Ceci montre que la relation « il existe un isomorphisme de G sur H » est une relation d'équivalence entre groupes.

{{Définition
  | contenu =
Deux groupes sont dits isomorphes s'il existe un isomorphisme de groupes de l'un sur l'autre.
}}

Un groupe isomorphe à un groupe G est parfois appelé ''une copie'' de G.

D'après ce qui précède, la relation « être des groupes isomorphes » est une relation d'équivalence. On peut considérer que deux groupes isomorphes ont la même structure de groupe, qu'on passe de l'un à l'autre par un changement de notation.

Nous écrirons <math>G\approx H</math> ou encore <math>G\cong H</math>pour exprimer que deux groupes ''G'' et ''H'' sont isomorphes.

On vérifie facilement qu'un magma isomorphe comme magma à un groupe est lui-même un groupe et que tout isomorphisme de magmas entre groupes est un isomorphisme de groupes.

Exemples d'isomorphismes de groupes.
:1) Si ''G'' est un groupe, la permutation identique de ''G'' est évidemment un automorphisme de ''G''.
:2) L'application <math>n\mapsto-n</math> de '''Z''' dans lui-même est un automorphisme du groupe (additif) '''Z'''. Plus généralement, si ''G'' est un groupe ''commutatif'', l’application <math>x\mapsto x^{-1}</math> de ''G'' dans lui-même est un automorphisme de ''G''.
:3) Automorphismes intérieurs. Soient ''G'' un groupe et ''g'' un élément de ''G''. L'application <math>x \mapsto gxg^{-1}</math> est un automorphisme de ''G''. (Par exemple, pour montrer que cette application est une permutation, on peut montrer qu'elle admet l’application <math>x \mapsto g^{-1}xg</math> pour réciproque.) Un tel automorphisme est appelé automorphisme intérieur de ''G''.
:4) Si ''X'' et ''Y'' sont des ensembles équipotents, si ''f'' est une bijection de ''X'' sur ''Y'', l’application <math>\sigma \mapsto f \circ \sigma \circ f^{-1}</math> du groupe symétrique ''S<sub>X</sub>'' dans le groupe symétrique ''S<sub>Y</sub>'' est un isomorphisme de ''S<sub>X</sub>'' sur ''S<sub>Y</sub>''. (Pour montrer que c’est une bijection, noter qu'on obtient sa réciproque en remplaçant <math>\ f</math> par <math>\ f^{-1}</math>.) Dans le cas particulier où ''X'' et ''Y'' sont égaux, ''f'' est un élément du groupe ''S<sub>X</sub>'' et l'isomorphisme en question est un automorphisme intérieur.
{{Wikipédia|en:Transport of structure|Transport de structure (en anglais)}}
:5) Transport de structure.{{Ancre|Transport de structure}} Soient <math>(G, \cdot )</math> un groupe et ''f'' une bijection de l'ensemble G sur un ensemble X. La loi de composition <math>\star </math> dans X définie par <math>x \star y = f(f^{-1}(x) \cdot f^{-1}(y))</math> fait de X un groupe. C'est la seule loi de groupe (et même de magma) sur X pour laquelle la bijection ''f'' est un isomorphisme de G sur X. (Vérification facile.) On dit que <math>(X, \star)</math> est la structure de groupe transportée de <math>(G, \cdot )</math> sur X par ''f''. C'est un cas particulier du transport de structure d'un magma.

On verra plus loin un exemple de trois groupes infinis abéliens dénombrables et deux à deux non isomorphes.

{{Théorème
|contenu=
L'ensemble des automorphismes d'un groupe ''G'', muni de la composition, forme un groupe. Ce groupe est noté Aut(G).
}}

== Puissances d'un élément  ==
Soient ''G'' un groupe noté multiplicativement, ''x'' un élément de ''G'' et ''n'' un nombre naturel. On appelle ''n-ième puissance de x'' et on note <math>x^{n}</math> le composé d'une séquence de ''n'' éléments égaux à ''x''. (Ce composé a été défini au chapitre ''Lois de composition internes, monoïdes''.)<br />
Si le groupe ''G'' est noté additivement, on écrit ''nx'' plutôt que <math>x^{n}</math>.<br />
En particulier, en notation multiplicative, <math>x^{0}=1</math>, et en notation additive, 0x = 0 (le premier zéro étant celui de '''Z''' et le second celui de ''G'').<br />
On étend la définition de <math>x^{n}</math> au cas où ''n'' est un entier relatif négatif en posant, pour ''r'' naturel > 0,
:<math>x^{-r} = (x^{r})^{-1}</math>.
En notation additive, ceci s'écrit
:<math>(-r)x = -(rx)</math>.
On démontre (par d'assez fastidieuses récurrences et distinctions entre cas positif et négatif) que, pour tous entiers rationnels ''m'' et ''n'',
:<math>x^{m+n}=x^{m}x^{n}</math>,
ce qui montre que, pour un ''x'' donné, l’application <math>n \mapsto x^{n}</math> de ℤ dans ''G'' est un homomorphisme. On vérifie facilement (récurrence sur ''n'') que c'est le seul homomorphisme de ℤ dans ''G'' qui applique 1 sur ''x''.<br />
En notation additive : (m+n)x = mx+nx et, pour un x donné, l’application <math>n \mapsto nx</math> de ℤ dans ''G'' est un homomorphisme.
Si le groupe ''G'' est commutatif, alors <math>(xy)^{n}=x^{n}y^{n}</math> (récurrence sur ''n'' ou application d'un résultat plus général sur les séquences si ''n'' est naturel; passage aux inverses si ''n'' est négatif). En notation additive, cela s'écrit <math>n(x+y)=nx+ny</math>. Cela revient à dire que si ''G'' est commutatif, alors, pour un entier relatif n donné, l'application
:<math>x \mapsto x^{n}</math>
:(<math>x \mapsto nx</math> en notation additive)
de ''G'' dans lui-même est un endomorphisme.

{{Théorème
  | titre=Théorème
|contenu=
Soient ''G'' et ''H'' deux groupes et ''f'' un homomorphisme de ''G'' dans ''H''. Pour tout élément ''x'' de ''G'' et tout entier relatif ''n'',
:<math>\ f(x^{n}) = f(x)^{n}</math>.
}}

Démonstration. Récurrence sur ''n'' pour ''n'' positif; passage aux inverses pour ''n'' négatif.

== Multiplication dans ℤ  ==

Dans le cas particulier où ''G'' est le groupe commutatif ℤ noté additivement, l’application <math>\Z \times G \rightarrow G : (n,x) \mapsto nx</math> est une loi de composition interne dans ℤ, qu'on appelle multiplication dans ℤ et qu'on note multiplicativement (par juxtaposition ou au moyen du symbole <math>\ \cdot </math>). À l'aide des résultats mentionnés dans la section précédente, on peut démontrer les propriétés classiques de la multiplication dans ℤ : coïncidence dans <math>\N</math> avec la multiplication dans <math>\N</math> définie en théorie des ensembles, associativité, neutralité de 1, commutativité, distributivité à gauche et à droite par rapport à l'addition. En raison de ces propriétés, l'addition et la multiplication font de ℤ un anneau commutatif. (Pour la notion d'anneau, voir [[Anneau (mathématiques)/Définitions|la leçon de Wikiversité sur ce sujet]].)

Si ''r'' et ''s'' sont des entiers rationnels, <math>\ \vert rs \vert = \vert r \ \vert \cdot \vert s \vert </math>. Puisque le produit de deux nombres naturels non nuls est non nul, il en résulte que le produit de deux entiers rationnels non nuls est non nul, ce qui revient à dire que l'anneau ℤ est intègre.

On dit qu'un entier relatif ''a'' divise un entier relatif ''b'' s'il existe un entier relatif ''c'' tel que a c = b. Il est clair qu'un entier relatif a divise un entier relatif ''b'' dans ℤ si et seulement si <math>\ \vert a \vert </math> divise <math>\ \vert b \vert </math> dans <math>\N</math>. En particulier, un nombre naturel ''a'' divise un nombre naturel ''b'' dans ℤ si et seulement si ''a'' divise ''b'' dans <math>\N</math>.

Si ''G'' est un groupe, ''x'' un élément de ''G'' et ''m'', ''n'' des entiers rationnels, nous avons
:<math>(x^{m})^{n} = x^{mn}</math> en notation multiplicative
et
:<math>n(mx) = (nm)x</math> en notation additive.

L'énoncé qui suit suppose connue la notion de module sur un anneau (voir [[Module sur un anneau/Définitions|la leçon de Wikiversité sur les modules]]).

{{Théorème
  | titre=Théorème. Les groupes abéliens comme ℤ-modules.
  |contenu=
Soit G, + un groupe '''abélien'''. Il existe sur G une et une seule structure de ℤ-module dont la loi interne est la loi + de G.
}}
Démonstration. On a considéré plus haut la loi de composition externe <math>\Z \times G \rightarrow G : (n,x) \mapsto nx</math>. Des propriétés de cette loi que nous avons énoncées permettent de prouver qu'avec la loi interne +, elle munit G d'une structure de ℤ-module. Cela démontre l'assertion d'existence. Prouvons l'unicité, ce qui revient à prouver que si une loi externe <math>\star : \Z \times G \rightarrow G : (n,x) \mapsto n \star x</math> est telle que G, +, <math>\star </math> soit un ℤ-module, alors la loi <math>\star </math> est égale à la loi <math>\Z \times G \rightarrow G : (n,x) \mapsto nx</math>. Soit ''x'' un élément de G. Nous avons (propriétés élémentaires des modules) <math>0 \star x = 0</math> et, pour tout nombre naturel ''n'', <math>(n + 1) \star x = n \star x + 1 \star x = n \star x + x</math>, d'où on tire par récurrence sur ''n'' que <math>n \star x = n x</math> pour tout nombre naturel ''n''. En passant aux opposés, nous trouvons <math>-(n \star x) = -(n x)</math>, autrement dit <math>-(n \star x) = (-n) x</math> (voir la définition de (-n) x). Toujours d'après les propriétés élémentaires des modules, le premier membre <math>-(n \star x)</math> est égal à <math>(-n) \star x</math>, d'où <math>(-n) \star x = (-n) x</math>. On a donc prouvé que pour tout entier rationnel ''r'', <math>r \star x = r x</math>. Comme ceci est démontré pour tout élément ''x'' de G, la loi <math>\star </math> est égale à la loi <math>\Z \times G \rightarrow G : (n,x) \mapsto nx</math>, comme annoncé.

Par une construction analogue à celle du groupe des entiers relatifs à partir du monoïde des entiers naturels, on construit à partir de l'anneau (intègre) <math>\Z</math> le corps <math>\Q</math> des nombres rationnels, qui est le corps des fractions de l'anneau ℤ. Nous ne détaillerons pas cette construction et supposerons connu le corps des nombres rationnels, ainsi que ses propriétés de corps ordonné.

== Parties génératrices  ==
{{Wikipédia|Partie génératrice d'un groupe}}
Si ''A'' est une partie d'un groupe ''G'', l'intersection des sous-groupes de G qui contiennent A est un sous-groupe de G d’après ce qui précède. C'est évidemment le plus petit sous-groupe de ''G'' contenant ''A'' (« plus petit » correspondant à la relation d'ordre inclusion). On l'appelle le sous-groupe engendré par ''A'' et nous le noterons 〈''A''〉. On dit qu'une partie ''A'' d'un groupe ''G'' engendre ''G'', ou encore est une partie génératrice de ''G'', si 〈''A''〉 = ''G''. Si <math>\left(x_i\right)_{i\in I}</math> est une famille d'éléments d'un groupe ''G'' telle que l'ensemble <math>\{x_{i}|i \in I \}</math> des valeurs de cette famille soit une partie génératrice de ''G'', nous dirons parfois que <math>\left(x_i\right)_{i\in I}</math> est une famille génératrice de ''G''.

Si <math>\left(A_i\right)_{i\in I}</math> est une famille de parties de ''G'', le sous-groupe de ''G'' engendré par <math>\cup_{i\in I}A_i</math> est aussi appelé le sous-groupe de ''G'' engendré par les parties <math>A_i</math>, ou encore par les <math>A_i</math>. Nous noterons ce sous-groupe <math>\langle A_i\mid i\in I\rangle</math>. Nous dirons qu'un groupe est '''de type fini''' s'il admet une partie génératrice finie<ref>Cette définition correspond à J. Calais, ''Éléments de théorie des groupes'', P.U.F., 1984, p. 35.</ref> et qu'il est de type infini dans le cas contraire, c'est-à-dire si toutes ses parties génératrices sont infinies. 

{{Théorème
  | titre=Description constructive du sous-groupe engendré|contenu=
Soit ''A'' une partie d'un groupe ''G''. Le sous-groupe de ''G'' engendré par ''A'' est l’ensemble des produits de séquences d'éléments de ''G'' où n'apparaissent que des éléments de ''A'' ou des inverses d'éléments de ''A''. Autrement dit, c’est l’ensemble des éléments de ''G'' qui peuvent se mettre sous la forme
:<math>x_1\ldots x_n</math>,
<math>n</math> parcourant les nombres naturels (≥ 0) et les <math>x_i</math> parcourant les éléments de <math>A\cup A^{-1}</math>.
}}
{{démonstration déroulante|contenu= 
Ces éléments de ''G'' forment un sous-groupe ''H'' de G qui contient ''A'' et tout sous-groupe de G qui contient ''A'' doit comprendre ces éléments, donc doit contenir ''H'', ce qui prouve la minimalité de ''H'' comme sous-groupe contenant A.
}}

Si <math>A_1,\ldots,A_n</math> sont des parties de ''G'', le sous-groupe de ''G'' engendré par <math>A_1\cup\ldots\cup A_n</math> se désigne aussi comme le sous-groupe de ''G'' engendré par <math>A_1,\ldots,A_n</math> et se note <math>\langle A_1,\ldots,A_n\rangle</math> plutôt que <math>\langle A_1\cup\ldots\cup A_n\rangle</math>. 

Si la partie ''A'' de ''G'' se réduit à un élément ''a'', on dit « sous-groupe engendré par ''a'' » au lieu de « sous-groupe engendré par {''a''} » et on écrit 〈''a''〉 au lieu de 〈{''a''}〉. De même, le sous-groupe engendré par la partie finie <math>\{a_1,\ldots,a_n\}</math> est appelé « sous-groupe engendré par <math>a_1,\ldots,a_n</math> » et noté <math>\langle a_1,\ldots,a_n\rangle</math>.

{{Définition
  |titre = Définition : groupe monogène
  | contenu =
 Un groupe est dit '''monogène''' s'il est engendré par une partie à un élément.
}}

D'après la caractérisation ci-dessus des éléments de 〈''A''〉, il est clair que si ''a'' est un élément du groupe ''G'', le groupe (monogène) <math>\langle a \rangle </math> est l’ensemble des éléments de ''G'' de la forme <math>a^n</math>, ''n'' parcourant ℤ.


{{Théorème
  | titre=Proposition|contenu=
Soient <math>f:G\to H</math> un homomorphisme de groupes et ''A'' une partie de ''G''. Désignons par 〈''A''〉 le sous-groupe de ''G'' engendré par ''A''. Le sous-groupe de ''H'' engendré par ''f''(''A'') est égal à ''f''(〈''A''〉).
}}

{{démonstration déroulante|contenu= 
D'après la « description constructive » que nous avons donnée de <A>, les éléments de <A> sont les éléments de ''G'' de la forme
:<math>a_{1} \ldots a_{n}</math>,
où ''n'' parcourt les nombres naturels <math>\geq 0</math> et où <math>a_{1}, a_{2}, \ldots  a_{n}</math> parcourent <math>A \cup A^{-1}</math>.<br />
Puisque ''f'' est un homomorphisme, il en résulte clairement que les éléments de f(<A>) sont les éléments de ''H'' de la forme
:<math>f(a_{1}) \ldots f(a_{n})</math>,
où ''n'' parcourt les nombres naturels <math>\geq 0</math> et où <math>a_{1}, a_{2}, \ldots a_{n}</math> parcourent <math>A \cup A^{-1}</math>.<br />
Autrement dit, f(<A>) est l’ensemble des éléments de ''H'' de la forme
:<math>b_{1} \ldots b_{n}</math>,
où ''n'' parcourt les nombres naturels <math>\geq 0</math> et où <math>b_{1}, b_{2}, \ldots b_{n}</math> parcourent <math>f(A \cup A^{-1}) = f(A) \cup f(A)^{-1}</math>.<br />
D'après la « description constructive » du sous-groupe engendré, cela revient à dire que f(<A>) est le sous-groupe de ''H'' engendré par f(A), ce qui démontre l'énoncé.
}}

{{remarque|contenu= 
Il existe des structures mathématiques pour lesquelles on n'a pas de « description constructive » de la sous-structure engendrée. (On en rencontre en théorie de la mesure.) On peut donc trouver que la démonstration qui précède repose sur un aspect un peu adventice du sous-groupe engendré. Voici une démonstration qui n'a pas cet inconvénient.}}
{{Démonstration déroulante
|contenu =
Puisque l'image d'un sous-groupe par un homomorphisme est un sous-groupe du groupe d'arrivée, <math>f(<A>)</math> est un sous-groupe de ''H'' ; de plus, puisque <math>A \subseteq \langle A\rangle</math>, <math>f(<A>)</math> contient <math>f(A)</math>. Ainsi, <math>f(<A>)</math> est un sous-groupe de ''H'' qui contient <math>f(A)</math>. Par minimalité de 〈 ''f''(''A'') 〉, nous avons donc
:<math>\langle f(A)\rangle\subseteq f(\langle A\rangle)</math>.
Prouvons l'inclusion réciproque, à savoir
:<math>f(<A>) \subseteq <f(A)></math>.
Il revient au même de prouver que tout sous-groupe ''K'' de ''H'' qui contient f(A) contient f(<A>). Or <math>f^{-1}(K)</math> est un sous-groupe de ''G'' qui contient ''A'', donc, par minimalité de <A>,
:<math><A> \subseteq f^{-1}(K)</math>, donc <math>f(<A>) \subseteq K</math>, ce qui démontre notre argument.
}}

D'après le théorème qui précède, toute image homomorphe d'un groupe monogène est monogène. En particulier, tout groupe isomorphe à un groupe monogène est monogène.


Exemple de trois groupes abéliens infinis [[Introduction aux mathématiques/Rudiments de combinatoire#Ensembles dénombrables|dénombrables]] et deux à deux non isomorphes.
:Les groupes <math>(\Z,+)</math>, <math>(\Q,+)</math> et <math>(\Q_+^*,\times)</math> sont tous les trois dénombrables, [[#Groupe : définitions et exemples|abéliens]] et [[w:Torsion (algèbre)|sans torsion]], mais sont deux à deux non isomorphes car le second est le seul à être [[w:Groupe divisible|divisible]] et même, le seul dans lequel tout élément est divisible par 2 (dans ℤ, <math>1</math> n'est pas de la forme <math>k+k</math> et dans <math>\Q^*</math>, <math>2</math> n'est pas de la forme <math>r\times r</math>) et le premier est le seul des trois à être monogène et même, le seul [[w:Théorème de structure des groupes abéliens de type fini#Structure des groupes abéliens sans torsion de type fini|de type fini]] (<math>\Q_+^*</math> est [[Module sur un anneau/Définitions#Modules libres et de type fini|abélien libre mais de rang]] infini dénombrable, une base étant l'ensemble des nombres premiers).

{{Théorème
  | titre=Proposition|contenu=
Soient ''f'' et ''g'' deux homomorphismes d'un groupe G dans un groupe H, X une partie génératrice de G. Si ''f'' et ''g'' coïncident en tout point de X, ils sont égaux.
}}
{{démonstration déroulante|contenu= 
D'après une précédente proposition, l’ensemble des éléments ''x'' de G tels que f(x) = g(x) est un sous-groupe de G. D'après les hypothèses, ce sous-groupe contient la partie génératrice X et est donc égal à G tout entier, ce qui prouve que f = g.
}}

{{Théorème
|titre=Proposition
|contenu=
Soient G, H deux groupes et X une partie génératrice de G. Un homomorphisme ''f'' de G dans H est surjectif si et seulement si f(X) est une partie génératrice de H.
}}

{{démonstration déroulante|contenu= 
D'après une précédente proposition, <f(X)> = f(<X>), donc, puisque X est une partie génératrice de G (ce qui entraîne <X> = G),
:(1) <f(X)> = f(G).
Dire que ''f'' est surjectif revient à dire que f(G) = H, autrement dit, d’après (1), que <f(X)> = H, ce qui revient à dire que f(X) est une partie génératrice de H.
}}

== Opposé d'un groupe  ==
Soit ''G'' un groupe, noté multiplicativement (par juxtaposition). La loi de composition <math> \star </math> sur l’ensemble sous-jacent de ''G'' définie par :
: <math> x \star y = yx </math>
est une loi de groupe. Le groupe ainsi défini est appelé le groupe opposé de ''G'', ou l'opposé de ''G''<ref>N. Bourbaki, ''Algèbre'', ch. I, § 4, {{numéro}}1; Paris, Hermann, 1970, p. 29.</ref>. L'élément neutre est le même dans les deux groupes et le symétrique d'un élément donné est également le même dans les deux groupes. L'opposé de l'opposé de ''G'' est ''G'' lui-même. Un groupe est identique à son opposé si et seulement s'il est commutatif. Dans tous les cas, ''G'' est isomorphe à son opposé par l’application <math>x \mapsto x^{-1} </math>.<br />
(La considération du groupe opposé nous permettra d'éclaircir les rapports entre actions à gauche et actions à droite d'un groupe sur un ensemble.)

== Identité de Dedekind  ==

{{Théorème
|titre=Identité de Dedekind
|contenu=
Soient G un groupe, U et V des parties de G telles que G = UV. Pour tout sous-groupe H de G contenant U, <math>H = U (V \cap H).</math> Pour tout sous-groupe K de G contenant V, <math>K = (U \cap K) V.</math>  
}}
{{démonstration déroulante|contenu= 
 Soit <math>h \in H.</math> Puisque G = UV, il existe <math>u \in U</math> et <math>v \in V</math> tels que <math>\ h = uv</math>. Alors <math>\ v = u^{-1}h,</math> donc, puisque H est un sous-groupe de G contenant U, <math>\ v \in H,</math> <math>\ v \in V \cap H,</math> donc <math>h \in U (V \cap H),</math> <math>H \subseteq U (V \cap H).</math> Puisque H est un sous-groupe de G, l'inclusion réciproque est claire, donc <math>H = U (V \cap H).</math> La seconde partie de l'énoncé se démontre de façon semblable. (On pourrait aussi la tirer de la première partie, appliquée au groupe opposé de G.)
}}
Remarque. L'identité de Dedekind est le plus souvent utilisée quand U et V sont des sous-groupes de G, mais elle nous servira sous sa forme générale dans la démonstration des théorèmes de Gaschütz et de Schur-Zassenhaus.

== Notes et références  ==
<references/>

{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Lois de composition internes, monoïdes/]]
  | suivant   = [[../Classes modulo un sous-groupe/]]
}}