Construction of finite p-groups that admit partitions (Q803275)

It was shown by R. Baer that a finite p-group P admits a partition if and only if P differs from its Hughes subgroup, \(H_ p(P)=<x\in P:\) \(x^ p\neq 1>\). The author has shown in an earlier work that a d-generator finite p-group that admits a partition has a subgroup of index p and of nilpotency degree bounded by a function dependent only on d and p. In this paper he shows (Theorem 2) that if the associated Lie ring of a free countably generated group of free period p is a relatively free Lie ring all of whose identities follow from its multilinear identities of degree not exceeding \(1+k(p-1)\) for some positive integer k, then for any finite group G, \([G:H_ p(G)]\leq p^ k\) when \(H_ p(G)\neq 1\). He also notes that the method used to prove the earlier result listed above also yields an affirmative structural result (Theorem 1): For each prime p and each positive integer d there exists a number f(d,p) such that any finite d- generator p-group that admits a partition contains a subgroup whose index does not exceed f(d,p) and whose nilpotency degree does not exceed \(h(p)+1\), where h is the Higman function.