Clôture normale (théorie des groupes)
En théorie des groupes, la clôture normale d'un sous-ensemble d'un groupe est le plus petit sous-groupe normal de contenant
Définitions équivalentes[modifier | modifier le code]
- La clôture normale de dans est l'intersection de tous les sous-groupes normaux de contenant [1] :
- Le sous-groupe est engendré par l'ensemble de tous les conjugués dans des éléments de
- On peut donc aussi écrire
Propriétés[modifier | modifier le code]
Tout sous-groupe normal est égal à sa clôture normale.
La clôture normale de l'ensemble vide est le sous-groupe trivial[2].
Il existe d'autres notations pour la clôture normale dans la littérature, comme ou
Le dual du concept de clôture normale est celui d'intérieur normal ou cœur, défini comme le sous-groupe engendré par la réunion des sous-groupes normaux de contenus dans [3].
Présentation de groupe[modifier | modifier le code]
Pour un groupe donné par une présentation avec des générateurs et des relations il est équivalent de définir comme le groupe quotient où est un groupe libre sur [4].
Références[modifier | modifier le code]
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Normal closure (group theory) » (voir la liste des auteurs).
- (en) Derek F. Holt, Bettina Eick et A. O'Brien, Handbook of Computational Group Theory, CRC Press, (ISBN 1-58488-372-3, lire en ligne), p. 14.
- (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], p. 32.
- (en) Derek J. S. Robinson (de), A Course in the Theory of Groups, Springer, coll. « GTM » (no 80), , 2e éd. (lire en ligne), p. 16.
- (en) Roger C. Lyndon et Paul E. Schupp, Combinatorial Group Theory, Berlin, Springer-Verlag, coll. « Classics in Mathematics », (lire en ligne), p. 87.