Sous-groupe

Sous-groupe

Un sous-groupe est un objet mathématique décrit par la théorie des groupes.

Dans cet article, (G,*)\, désigne un groupe d'élément neutre  e \, .

Sommaire

Définitions

  • Soit H un sous-ensemble de G. On dit que (H,\star)\, est un sous-groupe de (G,*)\, si (H,\star) est un groupe dont la loi \star\, s'obtient par restriction de *\, à H \times H \,.
  • On peut aussi dire que H est un sous-groupe de G s'il existe un monomorphisme (ou un morphisme injectif) de H dans G, dans ce cas là H est rarement inclus dans G.

Dans la pratique, on note la loi interne du sous-groupe avec le même symbole que celui de la loi interne du groupe, c'est-à-dire *\, .

Sous-groupe propre

  • Si G est un groupe alors {e} (le groupe réduit à l'élément neutre) et G sont toujours des sous-groupes de G. Ce sont les sous-groupes triviaux de G. On les appelle également les sous-groupes impropres de G.
  • Soit H, un sous-groupe de G différent des sous-groupes triviaux, alors H est un sous-groupe propre de G.
    • Remarque, les groupes n'ayant pas de sous-groupes propres sont les groupes de la forme \mathbb{Z}/n\mathbb{Z} avec n premier ou égal à 1.
  • La terminologie est en fait flottante. Les auteurs anglophones[1] et certains auteurs francophones[2] appellent sous-groupes propres d'un groupe G les sous-groupes de G distincts de G. Les auteurs qui adoptent cette définition d'un sous-groupe propre désignent par « sous-groupe trivial » (quand ils emploient cette expression) le sous-groupe réduit à l'élément neutre[1].

Caractérisation

Il est facile de montrer que H est un sous-groupe du groupe G si et seulement s’il est non vide et stable pour les produits et les inverses. C'est-à-dire H induit un sous-groupe de G si et seulement s'il est non vide, inclus dans G et :

 \forall (x,y) \in H^2, x*y^{-1} \in H

Dans le cas particulier des groupes finis, H est un sous-groupe de G si et seulement s'il est non vide et stable pour les produits. La condition de stabilité par les inverses n'est pas nécessaire, car elle découle de la stabilité pour les produits ; en effet, si l'on note n l'ordre d'un élément a de H, l'inverse de a est an − 1, qui appartient à H.

Propriété

L'élément neutre de H est le même que celui de G, et le symétrique d'un élément de H est le même que le symétrique de cet élément dans G. Pour cette raison, leur notation est la même aussi bien dans H que dans G. Par définition un sous-groupe est lui-même un groupe, c'est-à-dire qu'il possède aussi une loi de composition interne, un élément neutre (étant le même que celui du groupe) et tout élément du sous-groupe admet un symétrique appartenant lui même au sous-groupe .

Exemples

Sous-groupe d'un groupe cyclique fini

Article détaillé : Groupe cyclique.

Soit G un groupe cyclique fini d'ordre pq, où p et q sont deux entiers strictement positifs. Alors G a un unique sous-groupe d'ordre p. Ce sous-groupe est cyclique, engendré par gqg est n'importe quel générateur de G.

Sous-groupe des entiers relatifs

Les sous-groupes du groupe additif ℤ des entiers relatifs sont les parties de la forme nℤ, pour n'importe quel entier n.

Sous-groupe des réels

Article détaillé : Groupe topologique.

Plus généralement, les sous-groupes non denses du groupe additif ℝ des réels sont les parties de la forme rℤ, pour n'importe quel réel r.

On en déduit le théorème de Jacobi-Kronecker : dans le cercle unité (le groupe multiplicatif des complexes de module 1), le sous-groupe des puissances d'un élément eit (qui est évidemment fini si t est rationnel) est dense si t est irrationnel.

Sous-groupe engendré par une partie

Article détaillé : Partie génératrice d'un groupe.

Soit S une partie de G. Il existe un plus petit sous-groupe de G contenant S, appelé « sous-groupe engendré par S », et noté <S>.

Théorème de Lagrange

Si G est d'ordre fini, et H un sous-groupe de G, alors le théorème de Lagrange affirme que :

[G : H] |H| = |G|

où |G| et |H| désignent les ordres respectifs de G et H. En particulier, si G est fini, alors l'ordre de tout sous-groupe de G (et l'ordre de tout élément de G) doit être un diviseur de |G|.

Corollaire

Tout groupe d'ordre premier est cyclique et isomorphe à \frac {\mathbb Z} {p \mathbb Z}p est l'ordre du groupe.

Liens avec les homomorphismes

Article détaillé : Morphisme de groupes.

La notion de sous-groupe est « stable » pour les morphismes de groupes. Plus précisément :

Soit \scriptstyle f:G\to G' un morphisme de groupes.

  • Pour tout sous-groupe H de G, f(H) est un sous-groupe de \scriptstyle G'.
  • Pour tout sous-groupe \scriptstyle H' de \scriptstyle G', \scriptstyle f^{-1}(H') est un sous-groupe de G.

Liens avec les treillis

Les sous-groupes d'un groupe quelconque donné, forment un treillis complet pour l'inclusion. Il y a un sous-groupe minimal, le groupe {e} (e étant l'élément neutre de G), et un sous-groupe maximal, le groupe G lui-même. La borne inférieure de deux sous-groupes A et B est leur intersection  A \cap B . La borne supérieure est le sous-groupe engendré par la réunion des sous-groupes, soit  \left \langle A,B \right \rangle .

Les sous-groupes distingués d'un groupe G quelconque forment également un treillis pour l'inclusion. Les éléments minimal et maximal sont respectivement {e} et G.

Voir aussi

Notes et références

  1. a et b Voir par exemple (en) Joseph J. Rotman, An Introduction to the Theory of Groups [détail des éditions], 4e éd., p. 22.
  2. Voir par exemple Josette Calais, Éléments de théorie des groupes, Paris, P.U.F., p. 30.

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • sous-groupe — [ sugrup ] n. m. • 1891; de sous et groupe ♦ Math. Partie d un groupe ayant elle même une structure de groupe. Didact. Groupe faisant partie d un groupe plus important (dans une classification, une répartition). ⇒aussi sous ensemble. ● sous… …   Encyclopédie Universelle

  • sous-groupe — pogrupis statusas T sritis fizika atitikmenys: angl. subgroup vok. Untergruppe, f rus. подгруппа, f pranc. sous groupe, m …   Fizikos terminų žodynas

  • Sous-groupe distingué — Sous groupe normal En théorie des groupes, un sous groupe normal ou sous groupe distingué ou sous groupe invariant H d un groupe G est un sous groupe globalement stable par l action de G sur lui même par conjugaison. Les sous groupes normaux… …   Wikipédia en Français

  • Sous-groupe invariant — Sous groupe normal En théorie des groupes, un sous groupe normal ou sous groupe distingué ou sous groupe invariant H d un groupe G est un sous groupe globalement stable par l action de G sur lui même par conjugaison. Les sous groupes normaux… …   Wikipédia en Français

  • Sous-groupe a un parametre — Sous groupe à un paramètre Un sous groupe à un paramètre d un groupe de Lie réel G est un morphisme de groupes de Lie c:R G. Plus explicitement, c est une application différentiable vérifiant : . En dérivant cette relation par rapport à la… …   Wikipédia en Français

  • Sous-groupe caracteristique — Sous groupe caractéristique Étant donné un groupe G, on appelle « sous groupe caractéristique de G » tout sous groupe H de G stable par tout automorphisme de G : . Propriété Un sous groupe H caractéristique dans G est en… …   Wikipédia en Français

  • Sous-groupe de IC 342 — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous-groupe de Maffei — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous groupe de IC 342 — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous groupe de Maffei — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”