Théorie des groupes/Sous-groupe de Frattini

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Sous-groupe de Frattini
Icône de la faculté
Chapitre no 49
Leçon : Théorie des groupes
Chap. préc. :Produit libre d'une famille de groupes

Exercices :

Sous-groupe de Frattini
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des groupes : Sous-groupe de Frattini
Théorie des groupes/Sous-groupe de Frattini
 », n'a pu être restituée correctement ci-dessus.

Rappels sur les bases d'un espace vectoriel[modifier | modifier le wikicode]

On ne s'intéressera ici qu'aux espaces vectoriels sur un corps commutatif. (En évitant les corps non commutatifs, on se dispense de distinguer entre espaces vectoriels à gauche et à droite.) Par « base » d'un espace vectoriel, on entend, selon le cas, deux choses légèrement différentes.

Dans le premier sens du mot, une base d'un espace vectoriel V est une famille d'éléments de V telle que

1° pour chaque partie finie J de I et chaque famille de scalaires, la relation entraîne pour tout ;
2° pour chaque élément de V, il existe une partie finie J de I et une famille telles que

(La condition 1° exprime que la famille est libre; la condition 2° exprime que cette famille engendre V.)

Dans le second sens du mot « base », une base d'un espace vectoriel V est une partie B de V telle que

1° si est une famille d'index fini d'éléments de B telle que, pour tous distincts dans I, et soient distincts, alors la famille est libre, c'est-à-dire que si est une famille de scalaires telle que , alors pour tout ;
2° pour chaque élément de V, il existe une famille d'index fini d'éléments de B telle que

Une partie B de V est une base de V au second sens si et seulement la famille (assimilable à l'application identique de B dans lui-même) est une base de V au premier sens. Une famille d'éléments de V est une base de V au premier sens si et seulement si les deux conditions suivantes sont satisfaites :

a) pour tous distincts dans ,
b) l'ensemble des valeurs de la famille , autrement dit l'ensemble , est une base de V au second sens.

Nous dirons parfois qu'une base de V dans le premier sens est une famille basique de V et qu'une base de V dans le second sens est une partie basique de V.

Si est une famille basique de V et B une partie basique de V, et B ont le même cardinal (qui est aussi le cardinal de l'ensemble des valeurs de la famille ). Deux parties basiques d'un même espace vectoriel ont toujours le même cardinal. Deux familles basiques d'un même espace vectoriel ont toujours des index (ensembles d'indices) de même cardinal.

Si V est un espace vectoriel, le cardinal de toute partie basique de V (qui est aussi le cardinal de l'index de toute famille basique de V et qui est aussi le cardinal de l'ensemble des valeurs de toute famille basique de V) est appelé la dimension de V. Tout espace vectoriel a au moins une base (dans les deux sens du mot).

Sous-groupe de Frattini[modifier | modifier le wikicode]

Si G a au moins un sous-groupe maximal, on peut parler de l'intersection des sous-groupes maximaux de G et Frat(G) est alors cette intersection. Si G n'a pas de sous-groupe maximal, Frat(G) est G tout entier.

Début d’un théorème
Fin du théorème

Remarques.

  1. Un groupe fini non trivial a toujours au moins un sous-groupe maximal, par exemple un sous-groupe du plus grand ordre possible parmi les sous-groupes propres de G. (On peut dire aussi que tout ensemble ordonné fini non vide a au moins un élément maximal.) Donc le sous-groupe de Frattini d'un groupe fini G non trivial est toujours un sous-groupe propre de G.
  2. D'après les exercices sur le chapitre Sous-groupes monogènes, ordre d'un élément il existe des groupes infinis (par exemple le groupe additif ) qui n'ont pas de sous-groupe maximal et qui sont donc leur propre sous-groupe de Frattini.
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème

Démonstration facile par récurrence sur le nombre d'éléments de Y.

Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème

Remarque. Soit G un groupe nilpotent fini, soit X une partie de G telle que engendre G. D'après le point (i), , donc engendre G. Puisque Frat(G) est fini, il en résulte, d'après l'énoncé 4, que X engendre G. Nous avons ainsi prouvé que si G est un groupe nilpotent fini, si X est une partie de G telle que engendre G, alors X engendre G. Nous avons déjà démontré ce fait dans le chapitre Groupes nilpotents, énoncé 20, mais sans supposer G fini.

Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème

Remarque. Un groupe fini peut avoir deux parties génératrices minimales non équipotentes. Par exemple, si G est un groupe cyclique d'ordre 6, nous pouvons choisir dans G des éléments d'ordres respectifs 2, 3 et 6. Alors et sont clairement des parties génératrices minimales de G et ne sont pas équipotentes. Nous allons cependant voir que si G est un groupe fini dont l'ordre est une puissance de nombre premier, toutes les parties génératrices minimales de G sont équipotentes.

Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème

Remarque. Si le p-groupe fini G est abélien, l'ordre de Aut(G) peut être entièrement explicité en fonction de la suite de diviseurs élémentaires de G. Voir par exemple Adolf Mader, « The Automorphism Group of Finite Abelian p-Groups », Ann. Sci. Math. Québec 36, No 2, (2012), 559–575, théorème 3.2, (3), p. 562, en ligne.

Notes et références[modifier | modifier le wikicode]