# Théorème de Kronecker

En algèbre et plus particulièrement en théorie des groupes, le théorème de structure des groupes abéliens finis est aussi appelé théorème de Kronecker. Il affirme que tout groupe abélien fini est isomorphe à un produit direct de groupes cycliques.
Ce théorème fut démontré par Leopold Kronecker en 1870. En 1868, Ernst Schering (de) l'avait démontré pour certains « groupes de classes ». La démonstration de Kronecker répétait celle de Schering, mais dans un cadre plus abstrait et donc plus général.
Le théorème s'étend aux groupes abéliens de type fini. C'est un cas particulier du théorème des facteurs invariants.

## Énoncé du théorème

Soit G un groupe abélien fini.
   Il existe une unique suite (a$_1$,a$_2$,...,a$_k$) d'entiers > 1 telle que G soit isomorphe au produit direct des groupes cycliques de cardinal les différents éléments de la suite
   $G\simeq \mathbb {Z} /a_{1}\mathbb {Z} \times \mathbb {Z} /a_{2}\mathbb {Z} \times \cdots \times \mathbb {Z} /a_{k}\mathbb {Z}$
   et que a$_{i+1}$ divise a$_i$ pour tout entier i entre 1 et k – 1.
Les éléments de cette suite sont appelés facteurs invariants de G.

## Démonstration

Il existe de nombreuses manières de démontrer ce théorème. Une des méthodes les plus expéditives utilise la théorie des représentations des groupes. Il en existe d'autres utilisant par exemple les caractères.
La démonstration proposée ici reste dans le cadre strict de la théorie des groupes. L'existence d'une décomposition se fonde sur le lemme 1 suivant, qui utilisera le lemme 2 :
Lemme 1 — Pour tout groupe abélien fini G d'exposant e, tout sous-groupe cyclique d'ordre e de G est facteur direct dans G.
Soit C un tel sous-groupe. Raisonnons par récurrence sur le nombre minimal k d'éléments qu'il faut adjoindre à C pour engendrer G. Si k = 0 alors C = G, facteur direct dans lui-même. Supposons k > 0, C engendré par g$_0$ et G engendré par g$_0$, … , g$_k$ et (par hypothèse de récurrence) C facteur direct dans le sous-groupe G' engendré par g$_0$, … , g$_{k–1}$. Il existe donc un projecteur $\varphi '$ défini sur G' dont l'image est égale à C. Pour l'étendre en un projecteur $\varphi$ défini sur G, on pose
$\forall x\in G'\quad \forall y\in \langle g_{k}\rangle \quad \psi (x,y)=\varphi '(x)+\varphi ''(y),$
pour un morphisme $\varphi '':\langle g_{k}\rangle \to C$ convenablement choisi. Plus précisément, la condition sur $\varphi ''$ est que $\psi :G'\times \langle g_{k}\rangle \to C,(x,y)\mapsto \varphi '(x)+\varphi ''(y)$ se factorise par $+:G'\times \langle g_{k}\rangle \to G$, i.e. $\psi =\varphi \circ +$, pour que l'application $\varphi$ soit bien définie sur G ($\varphi$ sera alors un projecteur d'image C, donc G sera somme directe de C et du noyau de $\varphi$).
La condition pour que $\psi$ se factorise par + est qu'il s'annule sur le noyau de ce morphisme +, c'est-à-dire sur l'ensemble des couples (h, –h) quand h parcourt le sous-groupe H := G' ∩ ⟨g$_k$⟩, autrement dit que $\varphi ''$ coïncide sur H avec $\varphi '$. L'ordre de ⟨g$_k$⟩ divise celui de C (car d'ordre e = exp(G)) donc un tel $\varphi ''$ existe toujours, d'après le lemme 2 suivant.
Lemme 2 — Soient e et m deux entiers > 0 tels que m divise e, et H un sous-groupe du groupe cyclique $\mathbb {Z} _{m}$. Tout morphisme $\rho :H\to \mathbb {Z} _{e}$ s'étend en un morphisme $\rho ':\mathbb {Z} _{m}\to \mathbb {Z} _{e}$.
$\mathbb {Z} _{m}$ s'identifiant à un sous-groupe de $\mathbb {Z} _{e}$, il suffit d'étendre $\rho$ à $\mathbb {Z} _{e}$ (on pourra ensuite restreindre ce prolongement au sous-groupe $\mathbb {Z} _{m}$). On peut donc supposer sans perte de généralité que m = e. Soit d l'ordre de H. Alors $d\rho (H)=\rho (dH)=\rho (0)=0$ donc $\rho (H)\subset H$, autrement dit, $\rho$ est un endomorphisme du groupe cyclique H, noté additivement. C'est donc simplement la multiplication par un certain entier. On peut alors définir $\rho '$ sur $\mathbb {Z} _{e}$ comme la multiplication par ce même entier.
Raisonnons par récurrence sur l'ordre n de G.
Existence d'une décomposition :
Si n = 1, la suite vide convient. Supposons n > 1 et l'existence démontrée pour tous les groupes abéliens finis d'ordre strictement inférieur à n. Soient G un groupe abélien fini d'ordre n, et e son exposant. Alors G possède un sous-groupe cyclique C$_1$ d'ordre e et (d'après le lemme 1) un sous-groupe K tel que G = C$_1$×K. L'hypothèse de récurrence montre que K est somme directe d'une suite de sous-groupes cycliques C$_2$, … ,C$_k$ telle que pour tout entier i compris entre 2 et k – 1, l'ordre de C$_{i+1}$ divise celui de C$_i$. De plus, l'ordre de C$_2$ divise celui de C$_1$, par définition de e et C$_1$.
Unicité de la décomposition :
Pour n = 1, l'unicité est immédiate. Supposons n > 1 et l'unicité démontrée pour tous les groupes abéliens finis d'ordre strictement inférieur à n. Soient G un groupe abélien fini d'ordre n et $G=C_{1}\oplus \dots \oplus C_{k}=C'_{1}\oplus \dots C'_{\ell }$ deux décompositions de G en sommes directes de sous-groupes cycliques dont les ordres (a$_1$, … , a$_k$), (b$_1$, … , b$_ℓ$) vérifient les conditions du théorème. Soient x un générateur de C$_1$ et (y$_1$, … , y$_ℓ$) ses composantes dans la seconde décomposition. L'ordre de x est égal à l'exposant e de G donc il existe au moins un indice j$_0$ tel que y$_{j0}$ est d'ordre e (remarquons qu'alors, b$_1$ = … = b$_{j0}$ = e). En remplaçant C'$_{j0}$ par C$_1$ dans la seconde décomposition, la somme est alors encore directe et de l'égalité $\bigoplus _{i}C_{i}=C_{1}\oplus \bigoplus _{j\neq j_{0}}C'_{j}$, on déduit, en quotientant par C$_1$ : $\bigoplus _{i>1}C_{i}\simeq \bigoplus _{j\neq j_{0}}C'_{j}$ donc (par hypothèse de récurrence) (a$_2$, … , a$_k$) = (b$_1$, … , b$_{j0–1}$, b$_{j0+1}$, … , b$_ℓ$), si bien que (a$_1$, … , a$_k$) = (b$_1$, … , b$_ℓ$).

## Applications

* Dans la décomposition ci-dessus, l'exposant de G est égal à a$_1$ et l'ordre de G à a$_1$…a$_k$. Par conséquent, un groupe abélien fini est cyclique dès que son ordre est :
** inférieur ou égal à son exposant. En particulier, tout sous-groupe fini du groupe multiplicatif d'un corps commutatif est cyclique.
** ou sans facteur carré.
* Deux groupes abéliens finis sont isomorphes dès que le nombre d'éléments de chaque ordre est le même pour ces deux groupes. En effet, on peut retrouver les facteurs invariants à partir de cette donnée. La condition « abéliens » est indispensable : il existe par exemple, pour tout nombre premier impair p, deux groupes d'ordre p$^3$ et d'exposant p : le groupe abélien (ℤ$_p$)$^3$ et le groupe de Heisenberg sur F$_p$.