Finite Alperin 2-groups with cyclic second commutants. (Q695775)

A \(p\)-group is said to be an Alperin \(p\)-group if all its two-generator subgroups have cyclic derived subgroups. \textit{J. L. Alperin} in his paper [Trans. Am. Math. Soc. 106, 77-99 (1963; Zbl 0111.02803)] has shown that for \(p>2\) all Alperin \(p\)-groups are metabelian. The author presents, for every positive integer \(m\), an Alperin \(2\)-group \(G\) of order \(2^{3m+9}\), generated by three involutions and such that its second derived subgroup is cyclic of order \(2^m\). The proof consists of intricate computations in the group given by defining relations. The structure of the derived subgroup of a general Alperin \(2\)-group is not clear.