Normal embeddings of <i>p</i>-groups into <i>p</i>-groups (Q4024653)

Generalizing results of Burnside and Hobby the author shows the following main theorem: Let \(K\) be a finite \(p\)-group and \(L\) a Sylow \(p\)-subgroup of \(\text{Aut }K\). \(w(V) \not\supseteq K\) is true for every nilpotent extension \(V\) of \(K\) if and only if \(w(L) \not\supseteq \text{Inn }K\). (Here \(w(V)\) denotes the verbal subgroup of \(V\) corresponding to a single word \(w\).) Besides a general construction of an extension \(V\) with \(w(V) \supseteq K\) to prove the only if part, for special cases more manageable extensions can be obtained, e.g. if \(L^{p^ i} \supseteq \text{Inn }K\). As an application it is shown that for certain direct products \(N\) there exists a group \(G\) such that \(N\) is contained in \(G_{n+1}\).