Théorème de la base de Burnside

Théorème de la base de Burnside
Soit G un p-groupe, étudions ces sous-groupes maximaux :
Lemme 1. Soit
H
un sous groupe maximal, alors
H C G,
et
G/H = Z/pZ
Démonstration :
• On fait agir H sur G/H par multiplication des classes à gauche, on a par la formule des classes : 0 ≡
Card(G/H) ≡ Card(G/H)H [mod p], ainsi p|Card(G/H)H .
gH ∈ (G/H)H ⇐⇒ ∀h ∈ H hgH = gH ⇐⇒ HgH = gH ⇐⇒ Hg = gH ⇐⇒ g ∈ NG (H)
NG (H) → (G/H)H
On peut alors considérer ψ :
bien dénie et surjective, dont le nombre d'antég
7→
gH
cédents d'un élément est CardH , donc par principe des tiroirs CardNG (H) = CardH × Card(G/H)H , et
{z
}
|
≥p
donc Card(NG (H)) > CardH donc
H ( NG (H) ⊂ G
Ainsi NG (H) = G par maximalité, ainsi H C G.
• Comme H est maximal G/H n'a pas de sous groupe propre (correspondance des sous groupes de G/H ),
donc G/H est cyclique et pour des raisons de cardinalité G/H = Z/pZ
Théorème 2. Les parties génératrices minimales de
Démonstration :
ϕ(G) =
T
G
ont le même cardinal.
H CG, notons π : G → G/ϕ(G)
H∈spec(G)
Soit H ∈ spec(G), G/H est abélien (voir lemme 1), donc D(G) ⊂ H , donc D(G) ⊂ ϕ(G), donc G/ϕ(G) est
abélien, en particulier c'est un Z-module.
Soit x ∈ G, soit H ∈ spec(G) on note σ : G → G/H = Z/pZ, alors σ(xp ) = pσ(x) = 0, ainsi xp ∈ ker σ = H ,
ainsi ∀x ∈ G, xp ∈ ϕ(G), donc π(x)p = 1, ainsi la structure de Z-module sur G/ϕ(G) est en fait un Fp -espace
vectoriel de dimension nie, dont toutes les familles génératrices minimales sont des bases, et en particulier ont
donc le même cardinal. On a démontré le théorème dans le cas particulier de G/ϕ(G), le lemme suivant conclut la preuve :
Lemme 3.
(gi )i∈I
est génératrice de
G
si et seulement si
(π(gi ))i∈I
est génératrice de
G/ϕ(G).
Démonstration : =⇒ : Évident π surjectif
⇐= : Si (gi ) pas génératrice, on crée une suite de sous groupes H0 =< (gi ) >( H1 ( ... ( Hn ( G ce processus
s'arrête nécessairement (car G est un groupe ni et a donc qu'un nombre ni de sous- groupes).
On a donc construit H ∈ spec(G) qui contient les (gi ), ainsi ϕ(G) ⊂ H ( G, et π(H) ( π(G), (par correspondance des sous groupes de G/ϕ(G)), ainsi π(H) ⊃ (π(gi ))i∈I n'est pas une famille génératrice. 1