Extension material Flashcards
commutator
[x,y] = x^-1 y^-1 x y
[x,y] = 1 <=>
xy=yx
If x^g = y^h
then x^(gh^1) = y
derived subgroup of G
G’ = [G,G]
G’’ =
G’’= [G’,G’]
derived series of G
G= G^(0) > G^(1) > G^(3) >…
G^(n) =
G^(0) = G G^(n) = (G^(n-1))' = [G^(n-1), G^(n-1)]
G is a soluble group
G is a soluble group iff G^(n) =1 for some n
what is the derived length of G
the least such n such that G is soluble
lower central series of G
γ1(G0) ; γ2(G) = [G,G]
γi(G) = [γi-1(G),G] for i>2
upper central series of G
Z0(G) =1; Z1(G= Z(G)
Zi(G) is the inverse image in G of Z(G/Zi-1(G)) for i>1
Zi-1(G)
G is nilpotent <=>
γm(G)=1 for some m. If n+1 is the least such m, then n is called the nilpotency class of G
If G is nilpotent.
Then all subgroups of G are nilpotent and if N is a normal subgroup of G, then G/N is nilpotent
Every p group
is nilpotent
abelian, nilpotent and soluble relationshop
abelian not a subset of nilpotent, not a subset of soluble