Exercise 33, § 6
Algebra, I, p. 140
Bourbaki marks this one as harder than the rest.
Let G be a -group and let A be the group of its automorphisms. a) Let be a composition sequence of G such that for . Let P be the subgroup of A formed by the automorphisms such that, for all and all , one has . Now prove that, if an element is of order prime to , one has (reason by induction on ). Deduce that P is a -group. b) Conversely, let P be a -subgroup of A. Now prove that there exists a composition sequence of G, stable under P, such that for ; prove that one can choose the distinguished in G.
Solution
No solution has been written yet.