Accueil🇫🇷Chercher

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 important de p-groupes.

Propriétés

  • Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe.
  • Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe.
  • On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
  • La somme restreinte d'une famille (finie ou infinie) de p-groupes est un p-groupe.
  • Un groupe fini est un p-groupe si et seulement si son ordre est une puissance du nombre premier p.
  • Dans un p-groupe, si l'indice d'un sous-groupe est fini, alors cet indice est une puissance de p.
  • Tout p-groupe fini non trivial possède un centre non trivial (par trivial, on entend réduit à l'élément neutre).
  • Tout p-groupe fini est nilpotent donc résoluble.
  • Soit G un p-groupe fini d'ordre pn. Pour tout nombre naturel r inférieur ou égal à n, G admet au moins un sous-groupe d'ordre pr[2].

Remarque[6] : tout groupe d'ordre p2 est soit cyclique, soit produit de deux groupes cycliques d'ordre p.

Notes et références

Notes

  1. Cette définition est conforme à Scott 1987, p. 91 ; Calais 1984, p. 295 ; Rotman 1999, p. 73 ; Hall 1976, p. 45 ; M. Reversat et B. Bigonnet, Algèbre pour la licence, Cours et exercices corrigés, Dunod, 2000, p. 51. En revanche, N. Bourbaki, Algèbre, vol. I, Paris, 1970, ch. I, § 6, n° 5, déf. 9, p. I.72, appelle p-groupe, pour un nombre premier p donné, un groupe fini dont l'ordre est une puissance de p. Cette définition de Bourbaki figure aussi dans (en) S. Lang, Algebra, Addison-Wesley, 1978, p. 2 et Perrin 1996, p. 9.
  2. Tout groupe d'ordre pn possède même, pour tout rn, un sous-groupe normal d'ordre pr : (en) Joseph J. Rotman, Advanced Modern Algebra, vol. 2, AMS, , 3e éd. (lire en ligne), p. 13, Proposition C-1.25.
  3. Rotman 1999, p. 76.
  4. (de) Wolfgang Gaschütz (de), « Nichtabelsche p-Gruppen besitzen äussere p-Automorphismen », J. Algebra, vol. 4, , p. 1-2 (lire en ligne).
  5. (en) Philip Hall, « A contribution to the theory of groups of prime-power order », Proc. Lond. Math. Soc., iI, vol. 36, , p. 29-95 (zbMATH 59.0147.02).
  6. Cette propriété est un exercice standard dans les manuels d'algèbre, par exemple Perrin 1996, p. 34 ou ce paragraphe du cours de théorie des groupes sur Wikiversité.

Références

  • J. Calais, Éléments de théorie des groupes, Paris, PUF, , 3e éd. (ISBN 978-2-13-038465-6)
  • (en) Marshall Hall, Jr., The Theory of Groups [détail des éditions]
  • Serge Lang, Algèbre [détail des éditions]
  • Daniel Perrin, Cours d'algèbre [détail des éditions]
  • (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions]
  • (en) W. R. Scott, Group Theory, Dover, (1re éd. 1964) (lire en ligne)

Voir aussi

Articles connexes

Bibliographie

(en) Yakov Berkovich et Zvonimir Janko, Groups of Prime Power Order, vol. 1 (ISBN 978-3110204186) et 2 (ISBN 978-3110204193), De Gruyter, 2008

Lien externe

Cours de théorie des groupes par N. Jacon de l'université de Franche-Comté

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.