Bourbaki

Exercise 2, § 5

Algebra, I, 140

Bourbaki marks this one as harder than the rest.

If G is a finite group of order n, the number of automorphisms of G is ≤nlog⁡n/log⁡2\leq n^{\log n / \log 2} (show that there exists a generating set {a1,a2,…,am}\{a_1, a_2, \ldots, a_m\} of G such that aia_i does not belong to the subgroup generated by a1,a2,…,ai−1a_1, a_2, \ldots, a_{i-1} for 2≤i≤m2 \leq i \leq m; deduce that 2m≤n2^m \leq n and that the number of automorphisms of G is ≤nm\leq n^m).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.