Théorème de Frattini

Théorème de Frattini
Page d'aide sur l'homonymie Pour les articles homonymes, voir Frattini.

En mathématiques, en plus précisément en théorie des groupes, le théorème de Frattini permet de préciser la structure d'une famille de groupes finis, appelée p-groupes. Il stipule que le quotient d'un p-groupe par son sous-groupe de Frattini est le produit de groupes cycliques et peut donc être muni d'un structure de Fp-espace vectoriel, appelé l'espace de Frattini.

Sommaire

Enoncé du théorème

Soit G un p-groupe. Soit H l'ensemble composé des éléments mous (un élément est mou[1] si pour toute partie S telle que S et cet élément engendrent le groupe, S engendre le groupe). H est un sous-groupe caractéristique qu'on appelle sous-groupe de Frattini et G/H est isomorphe à (Z/pZ)n pour un certain n donné et peut donc être vu comme un Fp-espace vectoriel.

Preuve

  • On va montrer que l'ensemble des éléments mous est égal à l'intersection de tous les sous-groupes maximaux et est ainsi un groupe.
    • Soit un sous-groupe maximal ne contenant pas le sous-groupe de Frattini. Il existerait donc un élément du sous-groupe de Frattini non contenu dans le sous-groupe maximal, et alors le sous-groupe engendré par le sous-groupe maximal et cet élément serait strictement plus grand que le sous-groupe maximal et serait donc tout le groupe en entier ce qui contredit le caractère non générateur d'un élément du sous-groupe de Frattini.
    • Soit un élément appartenant à l'intersection de tous les sous-groupes maximaux et n'appartenant pas au sous-groupe de Frattini. Soit une partie n'engendrant pas le groupe en entier, mais l'engendrant avec cet élément. Cette partie appartient au moins à un sous-groupe maximal, qui contiendrait donc la partie et l'élément, mais alors ce sous-groupe devrait être le groupe en entier ce qui contredit le fait qu'il soit un sous-groupe maximal.
  • De par sa définition on remarque que le sous-groupe de Frattini est caractéristique.
  • On va montrer que chaque sous-groupe maximal est distingué. Pour cela on fait agir le groupe sur l'espace des sous-groupes maximaux par conjugaison. Les orbites peuvent avoir plusieurs cardinaux.
    • Les orbites de cardinal un. Le sous-groupe maximal correspondant est alors distingué.
    • Les autres, de cardinal une puissance non triviale de p. Soient une telle orbite et un des sous-groupes H1 de cette orbite. Il agit lui aussi sur l'orbite par conjugaison et la découpe en sous-orbites. Ce groupe H1 est seul dans sa sous-orbite et comme le cardinal de l'orbite est une puissance de p il existe au moins p-1 autres sous-orbite de cardinal un. Soit un autre sous-groupe maximal H2 formant une sous-orbite de cardinal un. H2 et notre premier sous-groupe H1 engendrent le groupe entier (H1 est maximal) et donc H2 est distingué dans le groupe. Puisque H1 et H2 sont conjugués et que H2 est distingué, H1 et H2 sont identiques. Contradiction. Le cardinal de l'orbite d'un sous-groupe maximal ne peut donc pas être une puissance non triviale de p.
  • On va montrer que le quotient du groupe par le sous-groupe de Frattini est commutatif en montrant que le sous-groupe dérivé est inclus dans tous les sous-groupes maximaux. Soit un sous-groupe maximal. Si le quotient par ce sous-groupe n'était pas isomorphe à Z/pZ il contiendrait alors un sous-groupe non trivial et son image réciproque par le quotient donnerait un sous-groupe strictement compris entre le sous-groupe maximal et le groupe, ce qui contredirait le caractère maximal du sous-groupe. Ainsi le quotient est un groupe cyclique, donc commutatif, donc le sous-groupe dérivé appartient au sous-groupe maximal, donc à tous les sous-groupes maximaux, donc au sous-groupe Frattini et ainsi le quotient du groupe par le sous-groupe de Frattini est commutatif.
  • On va enfin montrer que tous les éléments du quotient sont d'ordre p. Si ce n'était pas le cas, on aurait l'existence d'un élément y d'ordre p2. On appellera x la puissance pème de y, y' une image réciproque de y et x' l'image réciproque correspondante. Soit un sous-groupe maximal dont l'image ne contient pas x. Dans le quotient du groupe par ce sous-groupe maximal, x' et y' ne sont pas nuls et alors on aurait un sous-groupe non trivial engendré par l'image de x' , ce qui contredirait une fois encore le caractère maximal. Ainsi tous les éléments du quotient sont d'ordre p et donc notre groupe est isomorphe à un produit direct fini de groupes cycliques d'ordre p.

Exemple

  • Soit Q le groupe quaternionique ({1,-1,i,-i,j,-j,k,-k} muni de la multiplication) alors le sous-groupe {1, -1} est le sous-groupe de Frattini et le quotient est (Z/2Z)2 (ou F22).

Voir aussi

Liens externes

  • (fr) Sur une classe de p-groupes Hailé Béréda, Annales de la Faculté des sciences de Toulouse 5e série, tome 4, no 2, p. 191-194

Notes et références

  1. On dit aussi « superflu ». Voir Josette Calais, Éléments de théorie des groupes, Paris, P.U.F., 1984, p. 267.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Frattini de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Frattini — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Frattini est un patronyme italien, porté par les personnes suivantes, de nationalité italienne ou d origine italienne (classement par ordre… …   Wikipédia en Français

  • Sous-groupe de Frattini — Pour les articles homonymes, voir Frattini. Soit G un groupe (au sens mathématique). Les éléments de G qui appartiennent à tout sous groupe maximal de G forment un sous groupe de G, qu on appelle le sous groupe de Frattini de G et qu on note Φ(G) …   Wikipédia en Français

  • Argument de Frattini — Pour les articles homonymes, voir Frattini. En mathématiques, et plus particulièrement en théorie des groupes, on appelle argument de Frattini le théorème suivant : si G est un groupe fini, H un sous groupe normal de G et P un sous groupe de …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • P-groupe — En mathématiques, et plus précisément en algèbre, un p groupe est un groupe fini particulier. Un p groupe possède un ordre égal à une puissance de p, où p est un nombre premier. La notion de p groupe prend une grande importance car tout groupe… …   Wikipédia en Français

  • p-groupe — En mathématiques, et plus précisément en algèbre, un p groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p[1]. Les p sous groupes de Sylow d un groupe fini sont un exemple… …   Wikipédia en Français

  • Action Par Conjugaison — Pour les articles homonymes, voir Conjugaison (homonymie). En mathématiques, dans la théorie des groupes, une action par conjugaison est un cas particulier d action de groupe. L ensemble X sur lequel agit le groupe G est ici le groupe G lui même …   Wikipédia en Français

  • Action par conjugaison — Pour les articles homonymes, voir Conjugaison (homonymie). En mathématiques, dans la théorie des groupes, une action par conjugaison est un cas particulier d action de groupe. L ensemble X sur lequel agit le groupe G est ici le groupe G lui même …   Wikipédia en Français

  • Classe de conjugaison — Action par conjugaison Pour les articles homonymes, voir Conjugaison (homonymie). En mathématiques, dans la théorie des groupes, une action par conjugaison est un cas particulier d action de groupe. L ensemble X sur lequel agit le groupe G est… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”