The powerful class of groups

The claim is true for i=0,1. Suppose it holds for some i\ge 1. The group N_{i+1}/{N_i} is powerfully embedded in G/N_i. By induction assumption, we have N_i\subseteq \eta_i. Therefore N_{i+1}\eta_i/\eta_i is powerfully embedded in G/\eta_i. It follows from here that N_{i+1}\eta_i/\eta_i\subseteq \eta (G/\eta_i)=\eta_{i+1}/\eta_i. Hence we get N_{i+1}\subseteq \eta_{i+1}, as required.

The claim follows from a more general formula

which holds for all k\ge 0. Namely, denote N/\eta_{k+1}^p\eta_k=Z(G/\eta_{k+1}^p\eta_k). As [\eta_{k+1},G]\le \eta_{k+1}^p\eta_k holds by definition, we have \eta_{k+1}\subseteq N. Conversely, [N,G]\le \eta_{k+1}^p\eta_k\le N^p\eta_k shows that N/\eta_k is powerfully embedded in G/\eta_k. Therefore, N/\eta_k\le \eta(G/\eta_k)=\eta_{k+1}/\eta_k, which concludes the proof.

Denote Z_i=Z_i(G). The property (1) obviously holds for i=0,1. Suppose the assertion holds for some i\ge 1. As [Z_{i+1},G]\le Z_i\le\eta_i, it follows that Z_{i+1}\eta_i/\eta_i is powerfully embedded in G/\eta_i. Thus Z_{i+1}\eta_i/\eta_i\le\eta(G/\eta_i)=\eta_{i+1}/\eta_i, and the assertion is proved for i+1 as well. In particular, (2) follows directly from here.

We prove (3) by induction on i. We have the required equality for i=0,1, so we may assume it holds for some i\ge 1. Denote N/\eta_j=\eta_{i+1}(G/\eta_j). It follows that [N/\eta_j,G/\eta_j]\le (N/\eta_j)^p\eta_i(G/\eta_j). By induction assumption, this gives [N,G]\le N^p\eta_{i+j}. This implies that N\eta_{i+j}/\eta_{i+j} is powerfully embedded in G/\eta_{i+j}, therefore N\eta_{i+j}/\eta_{i+j}\le\eta(G/\eta_{i+j})=\eta_{i+j+1}/\eta_{i+j}. We conclude that N\le \eta_{i+j+1}. Conversely, we have that [\eta_{i+j+1},G]\le \eta_{i+j+1}^p\eta_{i+j} by definition. This can be restated as the fact that the quotient group (\eta_{i+j+1}/\eta_j)/(\eta_i(G/\eta_j)) is powerfully embedded in (G/\eta_j)/\eta_i(G/\eta_j). Therefore we have that \eta_{i+j+1}/\eta_j is contained in \eta_{i+1}(G/\eta_j)=N/\eta_j.

(4) is obvious by definition. To prove (5), we use induction on i. We may assume that the inequality holds for i\ge 1 and for all groups G. Let P=\eta(\eta_{i+1}). Then we obviously have that \eta(G) is contained in P. Therefore

Note that (6) holds for i=0,1. Assume it holds for i\ge 1. Then [\eta_{i+1},{}_{i+1}G]\le [\eta_{i+1}^p\eta_i,{}_iG]=[\eta_{i+1}^p,{}_iG][\eta_i,{}_iG]\le \eta_{i+1}^p\eta_i^p=\eta_{i+1}^p.

Let us prove (7). Denote N_i/\eta^p=\eta_i(G/\eta ^p) for i\ge 1, and N_0=\eta^p. We have that [N_i,G]\le N_i^pN_{i-1}\eta^p=N_i^pN_{i-1} for all i\ge 1. We proceed by induction. In the case when i=1, notice that Lemma 2.2 gives \eta/\eta^p=Z(G/\eta^p)\le \eta(G/\eta^p), therefore \eta\le N_1. Conversely, the fact that [N_1,G]\le N_1^p shows that N_1 is contained in \eta(G). Asssume the claim holds for some i\ge 1. First, we have that [N_{i+1},G]\le N_{i+1}^pN_i=N_{i+1}^p\eta_i. Thus N_{i+1}\eta_i/\eta_i is powerfully embedded in G/\eta_i. This shows that N_{i+1}\eta_i/\eta_i is contained in \eta(G/\eta_i)=\eta_{i+1}/\eta_i, therefore N_{i+1}\le\eta_{i+1}. On the other hand, [\eta_{i+1}/\eta^p,G/\eta^p]=[\eta_{i+1},G]\eta^p/\eta^p\le \eta_{i+1}^p\eta_i/\eta^p=(\eta_{i+1}/\eta^p)^p\eta_i(G/\eta^p). This demonstrates that \eta_{i+1}/\eta^p is contained in \eta_{i+1}(G/\eta^p), hence \eta_{i+1}\le N_{i+1}.

Denote Q=G/\eta(G)^p. By Lemma 2.2 we conclude that Q/Z(Q) is powerful. From [Wil21a, Proposition 3.6] (the pro-p version has the same proof) it follows that Q^pZ(Q) is powerfully embedded in Q. We quickly deduce that G^p\eta(G) is powerfully embedded in G, therefore G^p\le \eta(G). The quotient G/\eta(G) is thus a powerful group of exponent p, hence it is abelian.

Note that G/\eta_{k-1} is powerful. This implies that (G/\eta_{k-2})/\eta(G/\eta_{k-2}) is powerful. By Lemma 2.4 we have that \Phi(G/\eta_{k-2})\le \eta(G/\eta_{k-2}). Thus \Phi(G)\le \eta_{k-1}, and this concludes the proof.

Let \operatorname{pwc} (G)=k. We prove the result by induction on k. Clearly, the result holds true for k=0,1. Assume it holds for groups of powerful class \le k-1. By Corollary 2.5, we have that \eta_{k-1} is open in G, therefore it is finitely generated. As \operatorname{pwc}(\eta_{k-1})\le k-1, we have that \eta_{k-1} is p-adic analytic. Therefore G is p-adic analytic.

Note that Z(G/\eta(G)^p)=\eta(G)/\eta(G)^p is a finite p-group, since \eta(G) is finitely generated. As G/\eta(G)^p is nilpotent, we get from here that it is finite [Rob82, 5.2.22]. Thus the result follows.

In the course of the proof, we use Proposition 3.1 (3) without further explicit reference. Let 1=N_0\le N_1\le \cdots \le N_{p-1}=N be an \eta-series of N in G. Denote N_j=1 for j<0 and N_\ell=N for \ell\ge p. Define

Note that all M_i have small powerful height [Man11, Lemma 2.5]. Induction shows that we have a descending series N=M_1\ge M_2\ge\cdots. Let us first prove that this is a central series. Note that [M_1,G]=[N,G]=[N_{p-1},G]\le N_{p-1}^pN_{p-2}=M_2. Suppose that we have [M_i,G]\le M_{i+1}. Then [M_{i+1},G]=[M_i^pN_{p-i-1},G]=[M_i^p,G][N_{p-i-1},G]\le [M_i,G]^pN_{p-i-1}^pN_{p-i-2}=M_{i+2}, as N_{p-i-1}^p\le M_{i+1}^p.

Now we show that [M_i,{}_{p-1}G]\le M_{i+1}^p. This holds for i=1, as the fact that we have a central series implies that [M_1,{}_{p-1}G]\le M_p=M_{p-1}^pN_{-1}=M_{p-1}^p\le M_2^p. For induction step, we may assume that M_{i+2}^p=1. From [N_{p-i-1},G]\le N_{p-i-1}^pN_{p-i-2} we readily obtain [N_{p-i-1},G,G]\le [N_{p-i-1},G]^p[N_{p-i-2},G]\le (N_{p-i-1}^pN_{p-i-2})^pN_{p-i-2}^pN_{p-i-3}=N_{p-i-3}. Induction on k shows that, under the above assumption, we have [N_{p-i-1},{}_kG]\le N_{p-i-k-1} for all k\ge 2. Finally, note that the above implies [M_{i+1},{}_{p-1}G]=[M_{i}^pN_{p-i-1},{}_{p-1}G]= [M_i,{}_{p-1}G]^p[N_{p-i-1},{}_{p-1}G]\le (M_{i+1}^p)^p[N_{p-i-1},{}_{p-1}G]=[N_{p-i-1},{}_{p-1}G]\le N_{-i}=1, as required.

Since M_{p+k}=M_{p-1}^{p^{k+1}} for all k\ge 0, we quickly conclude that the intersection of all M_i is trivial. This finishes the proof.

Suppose G has small powerful class k. The group G is p-saturable, therefore the corresponding Lie algebra \mathcal{G} is p-saturable [GS07, Theorem 4.2]. Let 1=N_0\le N_1\le\cdots \le N_k=G be an \eta-series of G with k<p. Then all subgroups N_i are PF-embedded in G by Proposition 3.2. By [GS07, Theorem 4.5], we have a corresponding series of PF-embedded ideals of \mathcal{G} given as 0=\mathcal{N}_0\le\mathcal{N}_1\le\cdots\le \mathcal{N}_k=\mathcal{G}, and

for all i. This shows that (\mathcal{N}_i)_i is an \eta-series of \mathcal{G}, hence \operatorname{pwc}(\mathcal{G})\le k.

The converse follows from the fact that if (\mathcal{N}_i)_i is an \eta-series of \mathcal{G}, then an analogous argument as in the proof of Proposition 3.2 shows that all \mathcal{N}_i are PF-embedded in \mathcal{G}. Then the argument proceeds along the similar lines as in the previous paragraph.

The equality of the upper \eta-series of G and \mathcal{G} now follows from [GS07, Theorem 4.5].

We may assume that G is finite. We prove by induction on \ell that \gamma_{\ell(p-1)}(G) is contained in some PF-embedded subgroup of G. If \ell =1, then G has small powerful class, therefore it is a PF-group by Corollary 3.3. For induction step, note that G/\eta_{p-1} has powerful class \le (\ell -1)(p-1). Therefore there exists a normal subgroup N of G such that N/\eta_{p-1} is PF-embedded in G/\eta_{p-1} and \gamma_{(\ell-1)(p-1)}(G)\le N. Choose a potent filtration N/\eta_{p-1}=N_1/\eta_{p-1}\ge N_2/\eta_{p-1}\ge\cdots\ge N_r/\eta_{p-1}=1 of N/\eta_{p-1} in G/\eta_{p-1}. Then we have [N_i,G]\le N_{i+1} and [N_i,{}_{p-1}G]\le N_{i+1}^p\eta_{p-1} for all i\ge 1. The group \eta_{p-1} is PF-embedded in G by Proposition 3.2. Choose a potent filtration \eta_{p-1}=M_1\ge M_2\ge\cdots\ge M_s=1 of \eta_{p-1} in G. We claim that

is a potent filtration of N^p\eta_{p-1} in G. The series is central, since [N_i^p\eta_{p-1},G]\le [N_i,G]^p[N_i,{}_pG]\eta_{p-1}\le N_{i+1}^p\eta_{p-1}. The proof will be concluded once we have shown that [N_i^p\eta_{p-1},{}_{p-1}G]\le (N_{i+1}^p\eta_{p-1})^p. To this end, we may assume that (N_{i+1}^p\eta_{p-1})^p=1 and [N_i^p\eta_{p-1},{}_{j}G]=1 for all j\ge p. At first note that [\eta_{p-1},{}_{p-1}G]\le \eta_{p-1}^p=1. We thus have that [N_i^p\eta_{p-1},{}_{p-1}G]=[N_i^p,{}_{p-1}G]=[N_i,{}_{p-1}G]^p\le (N_{i+1}^p\eta_{p-1})^p=1. This proves the claim. We have therefore shown that N^p\eta_{p-1} is PF-embedded in G. Observe that \gamma_{\ell(p-1)}(G)\le [N,{}_{p-1}G]\le N_2^p\eta_{p-1}\le N^p\eta_{p-1}.

Our result now directly follows from [FGJ08, Theorem 4.1].

Let G be a finite p-group of coclass r and powerful class k. Denote |G|=p^n and suppose without loss of generality that n\ge 2p^r+r. The nilpotency class of G is equal to c=n-r\ge 2p^r. Let m and d be as in Lemma 5.1. We have that \operatorname{pwh} \gamma_m(G)\le k by [Man11, Lemma 2.5]. Consider an \eta-series 1=N_0\lneq N_1\lneq\cdots \lneq N_\ell=\gamma_m(G) of \gamma_m(G) in G, where \ell\le k. As G acts uniserially on \gamma_m(G), we have N_i=\gamma_{m_i}(G) for some m_i\ge m with c+1=m_0\gneq m_1\gneq\cdots\gneq m_\ell=m, see [LGM02, Lemma 4.1.3]. We thus have that \gamma_{m_{i+1}}(G)/\gamma_{m_i}(G) is powerfully embedded in G/\gamma_{m_i}(G) for all i. Therefore we see that \gamma_{1+m_{i+1}}(G)\le \gamma_{m_{i+1}}(G)^p\gamma_{m_i}(G)=\gamma_{d+m_{i+1}}(G)\gamma_{m_i}(G) holds for all i. Since d>1 and m_i>m_{i+1}, this is possible only if m_i=m_{i+1}+1. Then the above \eta-series of \gamma_m(G) is uniserial, and we thus have that |\gamma_m(G)|\le p^{k}. On the other hand, G/\gamma_m(G) has coclass \le r and class \le m-1, thus |G:\gamma_m(G)|\le p^{r+m-1}. We conclude that |G|\le p^{k+r+m-1}, and this finishes the proof.

The proof follows along similar lines like the one of Theorem 5.2. Let G be a PF-group of order p^n and coclass r. Again, assume n\ge 2p^r+r, denote c=n-r\ge 2p^r, and let m and d be as in Lemma 5.1. The group \gamma_m(G) is PF-embedded in G, see [FGJ08, Proposition 3.2]. As G acts uniserially on \gamma_m(G), there is a potent filtration of \gamma_m(G) in G that has the form \gamma_m(G)=\gamma_{m_1}(G)\gneq \gamma_{m_2}(G)\gneq\cdots\gneq \gamma_{c+1}(G)=1 for m=m_1\lneq m_2\lneq\cdots. By definition, \gamma_{m+p-1}(G)\le \gamma_{m_2}(G)^p=\gamma_{m_2+d}(G). This gives that m_2-m\le p-1-d\le 0, a contradiction. Thus G is not a PF-group.

Denote |G|=p^n and |G:\eta(G)|=p^r. Note that r\ge 2. By [LGM02, Proposition 3.1.2], we have that \eta (G)=\gamma_r(G). The subgroups \gamma_k(G) are then powerfully embedded in G for all k\ge r. As Z(G)=\gamma_{n-1}(G), we also have that r\le n-1.

Suppose that r<n-1. If n\le p+1, then both G/\gamma_{n-1}(G) and \gamma_2(G) have exponent p [LGM02, Proposition 3.3.2]. It follows that 1\neq \gamma_{r+1}(G)=[\gamma_r(G),G]\le \gamma_r(G)^p=1, a contradiction. Thus n>p+1. Suppose further that r>n-p+1. Then [LGM02, Corollary 3.3.6] yields that 1\neq \gamma_{r+1}(G)\le\gamma_r(G)^p=\gamma_{r+p-1}(G), which cannot happen. We conclude that n-p+1<r<n-1. Then \gamma_r(G)^p\le \gamma_{n-p+1}(G)^p=\gamma_n(G)=1, which implies \gamma_{r+1}(G)=1. This is a contradiction. We thus have r=n-1, hence the result.

Let |G|=p^n. The upper central series

has all sections, except for the last one, of order p. Using Proposition 5.7 and induction, we conclude that \eta_i(G)=Z_{i}(G) for i\le n-3. The group G/\eta_{n-3}(G) has order p^3. Using the notations of [LGM02, p. 56], we have that G=\langle s,s_1\rangle. Combination of Proposition 3.3.2, Proposition 3.3.3 and Lemma 3.3.7 of [LGM02] shows that s^p and s_1^p both belong to \gamma_3(G)=\eta_{n-3}(G). As G/\gamma_3(G) has class 2 and p>2, it follows that G^p\le \eta_{n-3}(G). Proposition 5.6 now shows that \eta_{n-2}(G)/\eta_{n-3}(G)=\eta(G/\eta_{n-3}(G))=Z(G/Z_{n-3}(G))=Z_{n-2}(G)/\eta_{n-3}(G). Therefore \eta_{n-2}(G)=Z_{n-2}(G) and \eta_{n-1}(G)=Z_{n-1}(G)=G.