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 inclusion. Un sous-groupe normal minimal de G est donc un sous-groupe normal N de G tel que 1 < N et qu'il n'y ait aucun sous-groupe normal K de G pour lequel 1 < K < N. (L'expression « sous-groupe normal minimal » est évidemment quelque peu abusive, puisqu'en toute rigueur des termes, 1 est le seul sous-groupe normal minimal de G. Cet abus de langage est cependant quasi[1] universel.)

Quelques faits

• Tout groupe fini non réduit à l'élément neutre admet au moins un sous-groupe normal minimal.

En effet, soit G un groupe fini non réduit à l'élément neutre. Il existe au moins un sous-groupe normal de G qui n'est pas réduit à l'élément neutre, à savoir G lui-même. Parmi les sous-groupes normaux de G non réduits à l'élément neutre, considérons-en un, soit N, du plus petit ordre possible. Il est clair que N est un sous-groupe normal minimal de G.

• Un groupe infini n'admet pas forcément de sous-groupe normal minimal. Par exemple, le groupe additif Q des nombres rationnels n'en admet pas. En effet, puisque Q est abélien, tous ses sous-groupes sont normaux, donc un sous-groupe normal minimal N de Q serait un groupe non réduit à l'élément neutre et n'ayant aucun autre sous-groupe que lui-même et son sous-groupe réduit à l'élément neutre. On montre facilement qu'un tel groupe est fini (d'ordre premier), or Q n'admet pas d'élément d'ordre fini autre que 0.
• Tout sous-groupe normal minimal d'un groupe est un groupe caractéristiquement simple.

Cela se déduit facilement du fait que tout sous-groupe caractéristique d'un sous-groupe normal d'un groupe G est sous-groupe normal de G.

(On peut prouver que, réciproquement, tout groupe caractéristiquement simple G non réduit à l'élément neutre peut être plongé dans un groupe H admettant G pour sous-groupe normal minimal, à savoir H = Hol(G).)

On sait que si un groupe caractéristiquement simple K admet un sous-groupe normal minimal H, alors H est simple et K est somme restreinte d'une famille (finie ou infinie) de sous-groupes simples tous isomorphes à H (et cette famille peut être choisie telle qu'elle comprenne H). Compte tenu de l'énoncé précédent, ceci nous donne :

• Si G est un groupe, N un sous-groupe normal minimal de G et H un sous-groupe normal minimal de N, alors H est simple et N est somme restreinte d'une famille (finie ou infinie) de sous-groupes simples tous isomorphes à H (et cette famille peut être choisie telle qu'elle comprenne H).

On peut en fait démontrer[2] cet énoncé un peu plus fort :

• Si G est un groupe, N un sous-groupe normal minimal de G et H un sous-groupe normal minimal de N, alors H est simple et N est somme restreinte d'une famille (finie ou infinie) de sous-groupes simples tous conjugués de H dans G (et cette famille peut être choisie telle qu'elle comprenne H).

De cet énoncé, ou du précédent, résulte celui-ci :

• Si G est un groupe fini résoluble, si N est un sous-groupe normal minimal de G, alors N est un groupe abélien élémentaire, c'est-à-dire le produit direct d'une famille (finie) de groupes tous isomorphes à un même groupe Z/pZ, pour un certain nombre premier p.

En effet, d'une part, un groupe fini non réduit à l'élément neutre admet toujours au moins un sous-groupe normal minimal et, d'autre part, un sous-groupe simple d'un groupe résoluble est à la fois simple et résoluble et est donc un groupe fini d'ordre premier.

L'énoncé ci-dessus est utilisé dans la démonstration du théorème de Philip Hall sur l'existence des sous-groupes de Hall dans les groupes résolubles finis[3].

Notes et références

1. (en) W. R. Scott, Group Theory, Dover, 1987 (1^re éd. 1964) évite cet abus et parle (par exemple p. 74) de « minimal, normal non-E subgroup », où E désigne le sous-groupe réduit à l'élément neutre.
2. Voir une démonstration dans Scott 1987, n° 4.4.3, p. 74.
3. Voir par exemple (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], 4^e éd., tirage de 1999, p. 109.

Article connexe

Socle d'un groupe (en)