Sous-groupe de Hall
Un article de Wikipédia, l'encyclopédie libre.
Sommaire |
[modifier] Définition
Soit G un groupe fini. Un sous-groupe de G est appelé un sous-groupe de Hall de G si son ordre est premier avec son indice dans G. Autrement dit, un sous-groupe H de G est dit sous-groupe de Hall si | H | est premier avec .
[modifier] Propriétés
- Si H est un sous-groupe de Hall normal de G, il est caractéristique dans G.[1]
Soient l'ordre de , son indice dans et un élément de n'appartenant pas à (si un tel élément n'existe pas, c'est que ). L'image de par l'homomorphisme canonique sur le quotient est distincte de l'élément neutre. Comme ce quotient est un groupe d'ordre premier avec , est donc lui aussi distinct de l'élément neutre et l'est donc aussi dans (son image étant ). Ainsi, est l'ensemble des solutions de l'équation et est donc caractéristique.
- Le fait ci-dessus a par exemple pour conséquence importante que le complément normal dont le théorème du complément normal de Burnside assure l'existence (sous des hypothèses qu'on ne précisera pas ici) est non seulement normal mais caractéristique[2].
- P. Hall a prouvé que si G est un groupe fini, les deux conditions suivantes sont équivalentes :
-
- pour tout diviseur d de | G | tel que d soit premier avec , il existe un sous-groupe (de Hall) d'ordre d de G
-
- G est résoluble
Dans ce cas, les sous-groupes de Hall d'un ordre donné de G forment une classe de conjugaison dans G.
Ainsi Hall étend aux sous-groupes de Hall le théorème classique sur l'existence des p-sous-groupes de Sylow d'un groupe fini G, mais cette extension n'est vraie que si et seulement si G est résoluble.[3].
[modifier] Exemple
- Tout sous-groupe de Sylow de G est un sous-groupe de Hall de G.
[modifier] Notes et références
- ↑ J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., 2e tirage, 1999, exerc. 5.26, p. 107; exerc. 5.31, p. 111.
- ↑ J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., 2e tirage, 1999, théor. 7.50, p. 196.
- ↑ J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., 2D tirage, 1999, théor. 5.28, p. 108 et théor. 5.29, p. 110.