Sous-groupe caractéristique

Sous-groupe caractéristique

Dans un groupe G, un sous-groupe H est dit

  • caractéristique lorsqu'il est stable par tout automorphisme de G :
\forall\sigma\in Aut(G), \sigma(H)\subset H~,
  • pleinement caractéristique lorsqu'il est même stable par tout endomorphisme de G :
\forall\sigma\in End(G), \sigma(H)\subset H~.

Sommaire

Propriétés

  • Un sous-groupe H de G est sous-groupe caractéristique de G si et seulement si
\forall\sigma\in Aut(G), \sigma(H)= H~.

En effet, si H est caractéristique dans G, on a

\forall\sigma \in Aut(G), \sigma^{-1}(H)\subset H~,

d'où

\forall\sigma \in Aut(G), H \subset \sigma(H)~.
  • Un sous-groupe caractéristique de G est en particulier stable par tout automorphisme intérieur de G : c'est donc un sous-groupe distingué de G.
  • Tout sous-groupe caractéristique d'un sous-groupe caractéristique d'un groupe G est sous-groupe caractéristique de G[1].

En effet, si K est sous-groupe caractéristique d'un sous-groupe caractéristique H de G, alors, puisque H est caractéristique dans G, tout automorphisme \ \sigma de G admet une « restriction » \ \sigma_{H} à H qui est un automorphisme de H. Puisque K est caractéristique dans H, \ \sigma_{H}(K) = K, ce qui revient à \ \sigma(K) = K.

  • Tout sous-groupe caractéristique d'un sous-groupe normal d'un groupe G est sous-groupe normal de G[1].

On démontre cette propriété comme on a démontré la précédente, en considérant cette fois un automorphisme intérieur de G.

Exemples

  • Le sous-groupe dérivé D(G) d'un groupe G est un sous-groupe (pleinement) caractéristique de G.

En effet, pour tout endomorphisme σ de G et pour tous éléments x, y de G, on a σ([x, y])=[σ(x), σ(y)].

  • Le centre d'un groupe est un sous-groupe caractéristique (pas toujours pleinement).
  • Généralement un sous-groupe défini par une expression qui ne mentionne aucun élément particulier (autre que l'élément neutre) est caractéristique, car le sens d'une telle expression ne change pas sous un automorphisme quelconque. Ainsi sont distingués :
    • Le sous-groupe dérivé, qui est engendré par \{\, xyx^{-1}y^{-1}\mid x,y\in G\,\},
    • Le centre, qui est égal à \{\, x\in G \mid \forall y \in G : xy = yx\,\},
    • Le sous-groupe engendré par les éléments d'ordre deux (ou d'un autre ordre donné),
    • Le sous-groupe engendré par \{\, x^2 \mid x\in G\,\}, etc.

Notes et références

  1. ↑ a et b Voir par exemple J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 158.

Lien externe

Sur les autres projets Wikimedia :


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • 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 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-espace caracteristique — Sous espace caractéristique Définitions Soient E un K espace vectoriel de dimension finie et u un endomorphisme de E. Soit on appelle sous espace caractéristique, sous espace spectral, ou encore espace propre généralisé de associé à la valeur… …   Wikipédia en Français

  • 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 interviennent… …   Wikipédia en Français

  • Sous-groupe de Frattini — Pour les articles homonymes, voir Frattini. Soit G un groupe (au sens mathématique). Les éléments de G qui appartiennent à tout sous groupe maximal de G forment un sous groupe de G, qu on appelle le sous groupe de Frattini de G et qu on note Φ(G) …   Wikipédia en Français

  • Sous-groupe normal minimal — En mathématiques, et plus particulièrement en théorie des groupes, un sous groupe normal minimal d un groupe G est un élément minimal de l ensemble des sous groupes normaux de G non réduits à l élément neutre, cet ensemble étant ordonné par… …   Wikipédia en Français

  • Sous-groupe de Fitting — Soit G un groupe, au sens mathématique. On prouve que si H1, ...., Hn sont des sous groupes normaux nilpotents de G, le sous groupe de G engendré par H1, ...., Hn est lui aussi un sous groupe normal nilpotent de G[1]. Il en résulte que si le… …   Wikipédia en Français

  • Sous-espace caractéristique — Définitions Soient E un K espace vectoriel de dimension finie et u un endomorphisme de E. Soit on appelle sous espace caractéristique, sous espace spectral, ou encore espace propre généralisé de associé à la valeur propre le sous espace  …   Wikipédia en Français

  • Sous-groupe de Hall — En théorie des groupes (une branche des mathématiques), les sous groupes de Hall d un groupe fini sont les sous groupes dont l ordre et l indice sont premiers entre eux. Ils portent le nom du mathématicien Philip Hall (en). Sommaire 1… …   Wikipédia en Français

Share the article and excerpts

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