$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Théorème de Jordan-Hölder

Une suite de Jordan-Hölder, ou suite de composition d'un groupe $G$ est une suite finie $(G_i)_{i=1,\dots,p}$ de sous-groupes de $G$ avec $G_0=\{1\}$, $G_p={G}$ telle que, pour $i=0,...,p-1,$ $G_i$ est distingué dans $G_{i+1}$ et le groupe quotient $G_{i+1}/G_i$ est simple.

On a "presque" unicité des suites de Jordan-Hölder d'un groupe :

Théorème de Jordan-Hölder : Etant données deux suites $(G_i)$ et $(H_i)$ de Jordan-Hölder d'un groupe fini $G,$ alors elles comportent le même nombre de termes et les groupes quotients $G_{i+1}/G_i$ et $H_{i+1}/H_i$ sont isomorphes à l'ordre des termes près.

Comme on peut également prouver que tout groupe fini possède une suite de composition, le théorème précédent donne une analogie entre la décomposition d'un entier en produits de facteurs premiers et la décomposition d'un groupe fini à l'aide d'une suite de composition, et donc de groupes simples (au sens d'incassables).

Consulter aussi...
Recherche alphabétique
Recherche thématique