Finite \(p\)-groups all of whose maximal subgroups either are metacyclic or have a derived subgroup of order \(\leq p\). (Q2261957)

A \(\mathcal P\)-group is a finite \(p\)-group whose maximal subgroups either are metacyclic or have a derived subgroup of order at most \(p\). The authors classify, in turn: \(\mathcal P\)-groups with exactly one nonmetacyclic maximal subgroup; \(\mathcal P\)-groups with a metacyclic maximal subgroup and at least two nonmetacyclic maximal subgroups; and \(\mathcal P\)-groups all of whose maximal subgroups are nonmetacyclic. Thus a question of \textit{Y. Berkovich} and \textit{Z. Janko} [Groups of prime power order. Vol. 2. de Gruyter Expositions in Mathematics 47. Berlin: Walter de Gruyter (2008; Zbl 1168.20002)] is settled. Amidst the above, the authors give a full classification of finite \(p\)-groups whose maximal subgroups all have derived subgroups of order at most \(p\).