Théorie des groupes/Exercices/Produit direct et somme restreinte
Problème 1 (très facile)[modifier | modifier le wikicode]
Soient G et H deux groupes. Quel est le centre du groupe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} ? Justifier.
Prouvons que le centre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} est le produit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle Z(G) \times Z(H)} des centres de G et de H. Prouvons tout d’abord que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle Z(G) \times Z(H)} est contenu dans le centre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} . Il s'agit de prouver que si x appartient au centre de G et y au centre de H, (x,y) commute avec tout élément (g,h) de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} . Nous avons (x,y) (g,h) = (xg, yh). Puisque x appartient au centre de G, xg peut être remplacé par gx; de même, puisque y appartient au centre de H, yh peut être remplacé par hy. Nous avons donc (x,y) (g,h) = (gx, hy), ce qui peut s'écrire (x,y) (g,h) = (g,h) (x,y), ce qui montre bien que (x,y) commute avec tout élément (g,h) de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} . Nous avons donc prouvé que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle Z(G) \times Z(H)} est contenu dans le centre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} . Prouvons l'inclusion réciproque. Il s'agit de prouver que si un élément (x, y) de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} commute avec tout élément de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G \times H} , alors x commute avec tout élément de G et y avec tout élément de H. Soit g un élément de G. Par hypothèse, (x, y) commute avec (g, 1), donc x commute avec g. De même, si h est un élément de H, (x, y) commute avec (1, h), donc y commute avec h.
Remarque. Il n'est pas beaucoup plus difficile de prouver que le centre de la somme restreinte (interne ou externe) d'une famille finie ou infinie de groupes est la somme restreinte des centres de ces groupes. On utilisera ce fait dans le chapitre Groupes caractéristiquement simples, sous-groupes normaux minimaux.
Problème 2[modifier | modifier le wikicode]
Soient G un groupe et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (G_{i})_{i \in I}} une famille de sous-groupes distingués de G telle que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \bigcap_{i\in I} G_{i}} = 1. Prouver que G est isomorphe à un sous-groupe du produit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod _{i\in I} G/G_{i}} . (Voir[1].)
À tout élément g de G, faisons correspondre la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (g \, G_i)_{i\in I}} ; il est clair que nous définissons ainsi un homomorphisme de G dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i\in I}G/G_{i}} . Si un élément g de G appartient au noyau de cet homomorphisme, gGi est l'élément neutre de G/Gi pour tout i, autrement dit, g appartient à chaque Gi. Par hypothèse, ceci entraîne g = 1, donc notre homomorphisme est injectif, donc G est isomorphe à l'image de cet homomorphisme.
Problème 3[modifier | modifier le wikicode]
Soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (G_{i})_{i \in I}} une famille finie de groupes. Pour chaque i, soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ X_{i}} une partie génératrice de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{i}} . On suppose que pour chaque i, Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ X_{i}} comprend l'élément neutre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{i}} .
a) Prouver que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}X_{i}} est une partie génératrice de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} .
Pour chaque élément j de I, désignons par fj la j-ième injection canonique de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{j}} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} . D'après la théorie, les Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ f_{i}(G_{i})} engendrent Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} . Pour chaque j, Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ f_{j}(X_{j})} engendre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ f_{j}(G_{j})} , donc les Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ f_{i}(X_{i})} engendrent Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} . D'autre part, puisque, pour chaque j, Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ X_{j}} comprend l'élément neutre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{j}} , il est clair que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ f_{j}(X_{j})} est contenu dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}X_{i}} , qui est donc une partie génératrice de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} .
Remarque : l'énoncé a) nous servira dans un exercice de la série Commutateurs, groupe dérivé.
b) Prouver par un exemple que l'énoncé a) n’est pas forcément vrai si on cesse de supposer que chaque Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ X_{i}} comprend l'élément neutre de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{i}} .
Prendre tous les Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{i}} égaux à un même groupe monogène non trivial G, choisir un générateur g de G et prendre toutes les parties Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ X_{i}} égales à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ \{g\}} . Le sous-groupe de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} engendré par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}X_{i}} est la diagonale de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} (c'est-à-dire l’ensemble des éléments de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} dont toutes les composantes sont égales) et n'est donc pas Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \prod_{i \in I}G_{i}} tout entier (si I compte au moins deux éléments).
Problème 4[modifier | modifier le wikicode]
Soit G un groupe fini tel que x2 = 1 pour tout élément x de G. Prouver que G est un produit direct de groupes d'ordre 2.
G admet au moins un sous-groupe qui est produit direct d'une famille de groupes d'ordre 2, à savoir le sous-groupe 1 (qui est produit direct de la famille vide de sous-groupes de G). Parmi les sous-groupes de G qui sont produits directs de sous-groupes d'ordre 2, choisissons-en un, soit H, dont l’ordre est maximal. Il s'agit de prouver que H = G. Supposons que, par absurde, H ne soit pas G tout entier. Choisissons un élément x de G qui n'appartient pas à H. Par hypothèse, x2 = 1, donc le sous-groupe <x> de G engendré par x est {1, x}, donc <x> ⋂ H = 1. D'autre part, les hypothèses de l'énoncé entraînent que G est commutatif (exercice de la série Groupes, premières notions), donc, d’après ce qui précède, <x> H est produit direct de <x> et de H. Comme H est produit direct de sous-groupes d'ordre 2, il en résulte (« associativité » de la somme restreinte interne) que <x> H est lui aussi produit direct de sous-groupes d'ordre 2, ce qui contredit l'hypothèse de maximalité sur l’ordre de H. La contradiction prouve que H = G, ce qui, comme nous l'avons vu, prouve l'énoncé.
Remarques. 1° Nous avons vu que dans les hypothèses de l'énoncé, G est commutatif. Dès lors, puisque, par hypothèse, x2 = 1 pour tout élément x de G, G se munit naturellement d'une structure d'espace vectoriel sur le corps à deux éléments. Comme tout espace vectoriel admet une base, on en tire facilement l'énoncé, et même que G, si on ne le suppose pas fini, est somme restreinte d'une famille de groupes d'ordre 2.
2° Plus généralement, si p est un nombre premier, si G est un groupe abélien (noté additivement) tel que, pour tout élément x de G, px = 0, alors G est le groupe additif d'un espace vectoriel V sur le corps à p éléments. D'après la théorie des espaces vectoriels, V admet une base, donc le groupe G est somme directe d'une famille (finie ou infinie) de sous-groupes d'ordre p. Voir le chapitre Groupes commutatifs finis, 1.
Problème 5[modifier | modifier le wikicode]
Soient G un groupe et H, K deux sous-groupes de G. En appliquant à la fonction Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K \rightarrow HK : (h,k) \mapsto hk^{-1}} le fait que l'image d'une fonction f est équipotente à l’ensemble des classes d'équivalence pour la relation d'équivalence (en x et y) « f(x) = f(y) » (définie dans l’ensemble de départ de f), prouver que l’ensemble HK a pour cardinal l'indice d'un certain sous-groupe (à préciser) du groupe produit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K} . En déduire une nouvelle démonstration de la formule du produit.
Désignons par f l’application Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K \rightarrow hK : (h,k) \mapsto hk^{-1}} . On vérifie facilement que deux éléments (h, k) et (h', k') de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K} ont la même image par f si et seulement s'ils appartiennent à la même classe à gauche modulo le sous-groupe D de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K} formé par les éléments de la forme (a, a), où a parcourt Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \cap K} . D'après le principe de théorie des ensembles rappelé dans l'énoncé, l'image HK de f est donc équipotente à l’ensemble des classes à gauche de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K} suivant D. Autrement dit, le cardinal de l’ensemble HK est égal à l'indice de D dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \times K} . Comme D est évidemment équipotent (et même isomorphe) à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \cap K} , la formule du produit en résulte.
Problème 6[modifier | modifier le wikicode]
a) Soient G un groupe et (Gi)i∈I une famille de sous-groupes de G. On suppose que pour tout sous-groupe H de type fini de G, H est somme restreinte interne de la famille (H ⋂ Gi)i∈I. Prouver que G est somme restreinte interne de la famille (Gi)i∈I.
Prouvons d’abord que les Gi engendrent G. Soit x un élément de G. Il s'agit de prouver que x appartient au sous-groupe de G engendré par les Gi. Le sous-groupe <x> de G engendré par x est de type fini, donc, d’après les hypothèses de l'énoncé, x appartient au sous-groupe de <x> engendré par les <x> ⋂ Gi. A fortiori, x appartient au sous-groupe de G engendré par les Gi. Nous avons donc prouvé que les Gi engendrent G.
Prouvons maintenant que si i, j sont deux différents éléments de I, tout élément de Gi commute avec tout élément de Gj. Soient x un élément de Gi et y un élément de Gj; il s'agit de prouver que x et y commutent. Le sous-groupe <x,y> de G engendré par x et y est de type fini, x appartient à <x,y> ⋂ Gi et y appartient à <x,y> ⋂ Gj, donc, d’après les hypothèses de l'énoncé, x et y commutent. Nous avons donc prouvé que pour i ≠ j, Gi et Gj se centralisent mutuellement. (Il en résulte que pour tous i, j dans I, Gi et Gj se normalisent mutuellement. Puisque les Gi engendrent G, ils sont donc normaux dans G.)
Enfin, soient i1, ... , in des éléments de I deux à deux distincts, soient x1, ... , xn des éléments de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \ G_{i_{1} }, \ldots , G_{i_{n} }}
respectivement, supposons que
- (1) x1 ... xn = 1
et prouvons que
- (2) x1 = ... = xn = 1.
Désignons par H le sous-groupe <x1, ... , xn> de G engendré par x1, ... , xn. Alors H est de type fini et xj appartient à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H \cap G_{i_j}}
pour tout j (1 ≤ j ≤ n). Il résulte donc de (1) et des hypothèses de l'énoncé que x1 = ... = xn = 1, comme annoncé.
Nos trois résultats montrent que G est somme restreinte interne de la famille (Gi)i∈I.
Remarque : l'énoncé a) nous servira dans le chapitre Groupes nilpotents.
b) Donner un exemple de la situation suivante : G est un groupe, somme restreinte interne d'une famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (G_i)_{i \in I}} de sous-groupes, H est un sous-groupe de type fini de G et H n’est pas somme restreinte interne de la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (H \cap G_i)_{i \in I }.} (Ceci montre que le point a) donne une condition suffisante mais non nécessaire pour que G soit somme restreinte interne de la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (G_i)_{i \in I}.} )
Soit G = V un groupe de Klein (produit direct de deux groupes d'ordre 2). Désignons par a, b et c les éléments de G distincts de l'élément neutre, posons G1 = <a>, G2 = <b> et H = <c>. Alors G est somme restreinte interne (autrement dit, ici, produit direct interne) de G1 et G2, H est évidemment un sous-groupe de type fini de G et H n’est pas somme restreinte interne de H ⋂ G1 et H ⋂ G2, puisque H ⋂ G1 = H ⋂ G2 = 1.
Problème 6[modifier | modifier le wikicode]
On notera additivement les groupes abéliens intervenant dans ce problème.
Soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G un groupe abélien, soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X une partie génératrice de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G.}
a) Pour tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): x de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X , désignons par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H_x } le sous-groupe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \langle x \rangle = \mathbb{Z} x} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G engendré par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle x.} Prouver que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G est (isomorphe à) un quotient de la somme directe externe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x} de la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (H_{x})_{x \in X}.}
Pour tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): x de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X , notons Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle f_{x}} l'homomorphisme inclusion Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle t \mapsto t} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H_x = \mathbb{Z} x } dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G.} D'après la propriété universelle de la somme directe (et compte tenu que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G est supposé abélien), il existe un (et un seul) homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): f de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G possédant la propriété suivante :
- (1)Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \qquad } pour toute famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (h_{x})_{x \in X}} appartenant à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (H_{x})_{x \in X}} , Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): f applique cette famille sur l'élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X}f_x(h_{x}) = \sum_{x \in X} h_{x}} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G.}
Soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): y un élément de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle X.} Considérons la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (h_{x})_{x \in X}} telle que
- pour tout Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle x \in X \setminus \{y\}, h_{x}} est l'élément 0 de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G ;
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle h_{y} = y.}
Alors la famille Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (h_{x})_{x \in X}} est un élément de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x} et, d'après (1), son image par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): f est Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle y.} Donc tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): y de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X appartient à l'image de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle f.} Puisque Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X est une partie génératrice de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G , l'homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): f de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G est donc surjectif, donc, d'après le premier théorème d'isomorphisme, Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G est isomorphe à un quotient de la somme directe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x } , ce qui prouve le point a).
b) Prouver que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G est isomorphe à un quotient de la somme directe externe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \mathbb{Z} } (somme directe externe d'une famille de groupes tous isomorphes à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \mathbb{Z} } ).
Voici d'abord une démonstration semblable à celle du point a). Pour tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): x de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X , on considère l'homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \varphi_x : n \mapsto n x} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \mathbb{Z} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G puis l'homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \varphi } de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \mathbb{Z} } dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G qui applique l'élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle (z_x)_{x \in X}} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \mathbb{Z} } sur l'élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \varphi_x (z_x) = \sum_{x \in X} z_x x .} Comme au point a), on montre que l'homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \varphi } est surjectif et on en déduit l'énoncé.
Voici maintenant une démonstration qui utilise le point a). Pour tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): x de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): X , nous avons un homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \psi_x : n \mapsto n x} de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \mathbb{Z} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H_x = \mathbb{Z} x .} Pour chaque Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): x , l'homomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \psi_x} est évidemment surjectif, donc (chapitre théorique) la « somme directe » des Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \psi_x} , c'est-à-dire l'homomorphisme
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \mathbb{Z} \to \sum_{x \in X} H_x : (n_x)_{x \in X} \mapsto (n_x x)_{x \in X} } ,
est un homomorphisme surjectif. En faisant suivre cet homomorphisme surjectif par l'homomorphisme surjectif de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} H_x} sur Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G trouvé au point a), on obtient un homomorphisme surjectif de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \sum_{x \in X} \mathbb{Z}} sur Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): G , ce qui prouve le point b).
Remarques.
- On verra dans la suite du cours qu'un groupe (abélien) qui est somme directe interne d'une famille de groupes isomorphes à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \mathbb{Z} est appelé un groupe abélien libre. (Le mot « abélien » est important dans l'expression « groupe abélien libre » : une somme directe d'au moins deux groupes isomorphes à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \mathbb{Z} est un groupe abélien libre mais n'est pas un groupe libre au sens qu'on donnera à l'expression « groupe libre » dans la suite du cours.) Avec cette définition, il résulte du point b) (et du fait que tout groupe abélien a au moins une partie génératrice, par exemple lui-même) que tout groupe abélien est isomorphe à un quotient d'un groupe abélien libre.
- Aussi bien du point a) que du point b) (et du fait que tout groupe a au moins une partie génératrice), il résulte que tout groupe abélien est isomorphe à un quotient d'une somme directe de groupes monogènes. Ce fait nous servira dans un exercice sur le chapitre (encore à écrire) Groupes divisibles.
Problème 7 (facile)[modifier | modifier le wikicode]
Dans un groupe G, soit H un sous-groupe normal complet, c'est-à-dire dont le centre est réduit à l'élément neutre et tous les automorphismes sont intérieurs.
Démontrer que G est isomorphe à H×CG(H).
Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle H\cap C_G(H)=Z(H)=1} .
Soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle g\in G} . L'automorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle x\mapsto gxg^{-1}} de H étant intérieur, il existe Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle h\in H} tel que Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \forall x\in H\quad gxg^{-1}=hxh^{-1}} , c.-à-d. Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle h^{-1}g\in C_G(H)} . Ainsi, Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle G\subset HC_G(H)} .
Enfin, les éléments de H commutent avec ceux de CG(H) (par définition de ce dernier).
Problème 8[modifier | modifier le wikicode]
Montrer que le groupe multiplicatif Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \Q^*_+} est isomorphe au groupe additif Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle \Z^{(\N)}:=\oplus_{n\in\N}\Z} des applications de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \mathbb{N} dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): \Z à support fini.
Soit Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle p_0=2,p_1=3,\dots} la suite des nombres premiers. Tout élément Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle q\in\Q^*_+} s'écrit de manière unique Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle p_0^{n_0}p_1^{n_1}\ldots} avec Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle n_i\in\Z} presque tous nuls. On pose Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): {\displaystyle f(q)= (n_0,n_1,\ldots)} . Ceci définit l'isomorphisme Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/v1/ » :): f voulu.
Références[modifier | modifier le wikicode]
- ↑ N. Bourbaki, Algèbre, ch. I, § 4, exerc. 6; Paris, 1970, p. 124.