Automorphism groups of 2-groups. (Q2496854)

It is conjectured that \(|G|\mid|\Aut(G)|\) for every nonabelian \(p\)-group \(G\). In this paper the following results are proven. Theorem. For every \(s\in\mathbb{N}\) there exists \(o(r,s)\in\mathbb{N}\) such that \(2^s\mid|G|\mid|\Aut(G)|\) for all \(2\)-groups \(G\) of coclass \(r\) and order at least \(o(r,s)\). -- Corollary. Almost all \(2\)-groups of coclass \(r\) satisfy the divisibility conjecture. Intermediate results leading to the above theorems present independent interest.