Argument de Frattini

Argument de Frattini
Page d'aide sur l'homonymie 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 Sylow de H, alors \ G = H N_{G}(P) (où \ N_{G}(P) désigne le normalisateur de P dans G).

Sommaire

Démonstration

Dans les hypothèses ci-dessus (G est un groupe fini, H un sous-groupe normal de G et P un sous-groupe de Sylow de H), prouvons que \ G = H N_{G}(P). Soit g un élément de G. Il s'agit de prouver que g appartient à \ H N_{G}(P). Puisque H est supposé normal dans G, l'automorphisme intérieur x \mapsto gxg^{-1} de H induit un automorphisme (non forcément intérieur) de H. L'image \ gPg^{-1} de P par cet automorphisme de H est un sous-groupe de Sylow de H du même ordre que P, donc \ gPg^{-1} est conjugué de P dans H. Ceci signifie qu'il existe un élément h de H tel que \ gPg^{-1} = hPh^{-1}. Alors \ h^{-1}gPg^{-1}h = P, autrement dit \ h^{-1}g \in N_{G}(P), d'où g \in HN_{G}(P), ce qui, comme nous l'avons vu, démontre le théorème[1].

Exemple d'utilisation

L'argument de Frattini permet par exemple de prouver[2] que si G est un groupe fini, P un sous-groupe de Sylow de G et M un sous-groupe de G contenant \ N_{G}(P) (normalisateur de P dans G), alors M est son propre normalisateur dans G. (Appliquer l'argument de Frattini au groupe \ N_{G}(M), à son sous-groupe normal M et au sous-groupe de Sylow P de M. On trouve

(1) \qquad N_{G}(M) = M N_{N_{G}(M)}(P).

Il est clair que \ N_{N_{G}(M)}(P) \subseteq N_{G}(P) \subseteq M, donc le second membre de (1) est égal à M, d'où \ N_{G}(M) = M.)

Généralisation

L'argument de Frattini admet la généralisation suivante, que certains auteurs[3] appellent elle aussi argument de Frattini : si G est un groupe opérant (à gauche ou à droite) sur un ensemble X, si H est un sous-groupe de G tel que l'opération de H sur X induite par celle de G soit transitive, alors, pour tout élément x de X, \ G = H G_{x}, où \ G_{x} désigne le stabilisateur dans G.

Démonstration[4]. Supposons par exemple que G opère à gauche par G \times X \rightarrow X : (g, x) \mapsto gx. Soient g un élément de G et x un élément de X. Il s'agit de prouver que g appartient à \ H G_{x}. Puisque l'opération de H sur X est transitive, il existe un élément h de H tel que gx = hx, d'où \ h^{-1}gx = x, d'où h^{-1}g \in G_{x}, donc g appartient à \ H G_{x}, comme annoncé. (Si on avait considéré une opération à droite, on aurait trouvé \ G = G_{x}H, ce qui, comme on le sait[5], équivaut à \ G = H G_{x}.)

Si G est un groupe fini, H un sous-groupe normal de G et P un p-sous-groupe de Sylow de H, G opère par conjugaison sur l'ensemble des p-sous-groupes de Sylow de H (ceci tient à ce que H est normal dans G) et, puisque deux p-sous-groupes de Sylow de H sont toujours conjugués dans H, l'opération de H induite par celle de G est transitive. D'autre part, le stabilisateur du point P dans G est \ N_{G}(P).. En appliquant la seconde forme de l'argument de Frattini, nous trouvons \ G = HN_{G}(P), ce qui montre que la première forme de l'argument est bien un cas particulier de la seconde.

Histoire

L'argument de Frattini (sous sa forme particulière) fut énoncé et démontré par Giovanni Frattini (en) en 1885, dans un article[6] où il introduisait la notion de sous-groupe de Frattini.

Notes et références

  1. ↑ Cette démonstration est donnée par exemple dans J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, théor. 4.18, p. 81.
  2. ↑ Voir J.S. Rose, A Course on Group Theory, rééd. Dover, 1994, énoncé 5.14, p. 96.
  3. ↑ Voir par exemple H. Kurzweil et B. Stellmacher, The Theory of Finite Groups, An Introduction, 2004, énoncé 3.1.4, p. 58.
  4. ↑ Voir par exemple H. Kurzweil et B. Stellmacher, The Theory of Finite Groups, An Introduction, 2004, énoncé 3.1.4, p. 58, où le sous-groupe est inutilement supposé normal. Énoncé sans cette restriction dans J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, exerc. 4.9, p. 81.
  5. ↑ Noter par exemple que si H et K sont des sous-groupe d'un groupe G, HK est un sous-groupe de G si et seulement si HK = KH. Voir Josette Calais, Éléments de théorie des groupes, Paris, P.U.F., énoncé 1.47, p. 37.
  6. ↑ G. Frattini, « Intorno alla generazione dei gruppi di operazioni », Atti della Reale Accademia dei Lincei, Rendiconti, série 4, vol. 1, p. 281-285 et 455-457. (Recension dans European Mathematical Information Service, Electronic Research Archive for Mathematics, Jahrbuch Database, en ligne.) Référence à cet article à propos de l'argument de Frattini dans J.S. Rose, A Course on Group Theory, rééd. Dover, 1994, p. 95 et 296.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Argument 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

  • Frattini — is a common Italian surname: * Franco Frattini, politician * Giovanni Frattini, mathematician ** Frattini argument ** Frattini subgroup * Francesco Frattini, cyclist …   Wikipedia

  • Frattini's argument — In group theory, a branch of mathematics, Frattini s argument is an important lemma in the structure theory of finite groups. It is named after Giovanni Frattini, who first used it in a paper from 1885 when defining the Frattini subgroup of a… …   Wikipedia

  • 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

  • Giovanni Frattini — Pour les articles homonymes, voir Frattini. Giovanni Frattini Giovanni Frattini, (Rome, 8 janvier 1852 Rome, 21 juillet 1925 …   Wikipédia en Français

  • Giovanni Frattini — (January 8, 1852 Rome, Italy ndash; July 21, 1925) was an Italian mathematician, noted for his contributions to group theory. He entered the University of Rome in 1869, where he studied mathematics with Giuseppe Battaglini, Eugenio Beltrami, and… …   Wikipedia

  • 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

  • Théorèmes de Sylow — Pour les articles homonymes, voir Sylow. En théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d après lequel, si H est sous groupe d un groupe fini G, alors l ordre de H divise l ordre de… …   Wikipédia en Français

  • Salzburg Forum — The Salzburg Forum (SF), or Salzburg Group, is a cooperation between the regional Interior Ministers of eight European countries. It was founded by the Ministry of Interior of the Republic of Austria in 2000. The countries currently meeting are… …   Wikipedia

  • Nelly Kroes — Neelie Kroes Neelie Kroes (* 19. Juli 1941 in Rotterdam) ist eine niederländische Politikerin der VVD (liberale Partei). Seit November 2004 ist sie EU Wettbewerbskommissarin. Sie gehörte mehreren Aufsichtsräten namhafter Unternehmen an, war… …   Deutsch Wikipedia

Share the article and excerpts

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