On Abelian subgroups of \(p\)-groups (Q1379073): Difference between revisions

Let \(p\) be a prime and let \(G\) be a finite \(p\)-group. Abelian subgroups of the group \(G\) are investigated here. The author generalizes and presents simplified proofs of almost all elementary lemmas from Section 8 of the odd order paper. In particular it is proved, that if \(A<B\leq G\), where \(A,B\) are abelian subgroups of a \(p\)-group \(G\), \(\exp(B)\leq p^n\) and \(p^n>2\), and \(\mathcal U\) is the set of all abelian subgroups \(T\) of \(G\) such that \(A<T\), \(| T:A|=p\) and \(\exp(T)\leq p^n\), then \(|{\mathcal U}|\equiv 1\pmod p\). Some open questions are posed.