1 Introduction

Let G be a group, and let H be a subgroup of G. The Frattini closure of H in G is the intersection \(\Phi _{G}(H)\) of all maximal subgroups of G containing H, with the convention that \(\Phi _{G}(H)=G\) if H is contained in no maximal subgroups of G. In particular, \(\Phi _{G}(\{1\})=\Phi (G)\) is the Frattini subgroup of G. The subgroup H is said to be Frattini closed in G if \(\Phi _{G}(H)=H\). If N is any normal subgroup of G, then \(\Phi _{G}(N)/N\) coincides with the Frattini subgroup of the factor G/N, hence \(\Phi _{G}(N)\) is likewise a normal subgroup of G. In particular, N is Frattini closed in G if and only if the Frattini subgroup of G/N is trivial.

A group in which all subgroups are Frattini closed is called an IM -group. The structure of soluble IM-groups was described by Menegazzo (1970). It turns out that if G is any soluble IM-group, then any subnormal subgroup of G is normal (see (Schmidt 1994), Lemma 3.3.9); moreover, G is periodic, the derived subgroup \(G^{\prime }\) of G is an abelian Hall subgroup and each non-trivial primary component of the abelian groups \(G^{\prime }\) and \(G/G^{\prime }\) has prime exponent (see (Schmidt 1994), Theorem 3.3.10).

A subgroup H of a group G is said to be nearly Frattini closed if the index \(\left| \Phi _{G}(H):H\right| \) is finite. Groups in which all subgroups are nearly Frattini closed have been studied in de Giovanni and Imperatore (2014). It turns out that if G is an hyperabelian group with nearly Frattini closed subgroups, then G is soluble, \(G^{\prime \prime }\) is finite and any subnormal subgroups of G has finite index in its normal closure; further, if there exists a positive integer k such that the index \(\left| \Phi _{G}(H):H\right| \) is at most k for every subgroup H of G, then G contains normal subgroups N and K such that \(N\le K\), N and \(\left| G:K\right| \) are finite and the factor K/N is an IM-group.

We shall say that a subgroup H of a group G is almost Frattini closed if there exists a subgroup K of finite index of G which contains H such that \(\Phi _{K}(H)=H\) (i.e., if H is Frattini closed in a subgroup of finite index of G), and that the group G is an AM-group (or that it has the AM-property) if every subgroup of G is almost Frattini closed. The aim of this paper is to investigate the behavior of (generalized) soluble AM-groups. In Section 2, among other properties, we prove that if G is an hyperabelian AM-group, then G contains a normal subgroup of finite index whose derived subgroup is abelian and periodic (so that G is soluble and metabelian-by-finite), and that any subnormal subgroup of G has finitely many conjugates. In Section 3, we will consider hyperabelian groups for which there exists a positive integer k such that each subgroup is Frattini closed in a subgroup of index at most k, and we will prove that such a group contains a normal subgroup of finite index which is an IM-group.

Most of our notation is standard and can be found in Robinson (1996). In particular, if G is any group then \(H\lessdot G\) means that H is a maximal subgroup of G; moreover, \(\pi (G)\) denotes the set of all prime numbers p such that G has elements of order p.

2 General properties of AM-groups

If \({\mathcal {X}}\) is a class of groups, an hyper-\({\mathcal {X}}\) group is a group having an ascending normal series whose factors are \({\mathcal {X}} \)-groups. First step in our investigation is to establish the following.

Lemma 1

Let G be an hyper-(abelian or finite) AM-group and let H be any subgroup of finite index of G. If M is a maximal subgroup of H, then the index \(\left| G:M\right| \) is finite. In particular, every maximal subgroup of G has finite index.

Proof

The core \(H_{G}\) of H in G has finite index in G, so that it can be assumed that \(H_{G}\) is not contained in M. Let \(\{G_{\alpha }\}_{\alpha }\) be an ascending normal series of G whose factors are either abelian or finite. Put \(L_{\alpha }=G_{\alpha }\cap H_{G}\), then \(\{L_{\alpha }\}_{\alpha }\) is an ascending series of \(H_{G}\), consisting of G-invariant subgroups, whose factors are either finite or abelian. There is a first ordinal \(\alpha \) such that \(L_{\alpha }\) is not contained in M, and clearly \(\alpha \) cannot be a limit ordinal; hence \(L_{\alpha -1}\le M\). Since any factor of G has likewise the AM-property, replacing G by \(G/L_{\alpha -1},\) it can be assumed that \(L_{\alpha -1}\) is trivial. Then \(H=L_{\alpha }M\) and \(L_{\alpha }\) is either abelian or finite. Since the index \(\left| H:M\right| \) is finite if \(L_{\alpha }\) is finite, we may suppose that \(L_{\alpha }\) is abelian. Let \(x\in L_{\alpha }\smallsetminus M\), then \(\left\langle x\right\rangle ^{G}\) is abelian. Let X be a subgroup of finite index of G containing \(\left\langle x\right\rangle \) such that \(\Phi _{X}(\left\langle x\right\rangle )=\left\langle x\right\rangle \). Since \(\left\langle x\right\rangle \) is subnormal of defect 2 in G, \(\Phi _{X}(\left\langle x\right\rangle )=\left\langle x\right\rangle \) is a normal subgroup of X (see (de Giovanni and Imperatore 2014), Corollary 2.2) and hence \(\left| G:N_{G}(\left\langle x\right\rangle )\right| \) is finite. Therefore \(\left\langle x\right\rangle ^{G}\) satisfies the maximal condition. On the other hand, since M is a maximal subgroup of \(H=\left\langle x\right\rangle ^{G}M\), the factor \(\left\langle x\right\rangle ^{G}/\left\langle x\right\rangle ^{G}\cap M\) is an abelian chief factor of H (see (Robinson 1996), 5.4.2) and hence it either is divisible or has prime exponent; thus \(\left\langle x\right\rangle ^{G}/\left\langle x\right\rangle ^{G}\cap M\) is finite. Therefore \(\left| H:M\right| =\left| \langle x\rangle ^{G}:\langle x\rangle ^{G}\cap M\right| \) is finite and hence also \(\left| G:M\right| \) is finite. \(\square \)

Clearly any factor of an AM-group is likewise an AM-group, and next result prove that also each normal subgroup of an hyper-(abelian or finite) AM-group has the AM-property.

Lemma 2

Let G be an hyper-(abelian or finite) AM-group and let N be any normal subgroup of G. Then N is an AM-group.

Proof

Let H be a subgroup of N and let K be a subgroup of finite index of G containing H such that \(\Phi _{K}(H)=H\). Clearly if \(H=K\), then H has finite index in G and hence H is almost Frattini closed in N. Assume that \(H\ne K\) and note that in this case

$$\begin{aligned} H=\Phi _{K}(H)\cap N=\left( \underset{H\le M\lessdot K}{ {\displaystyle \bigcap } }M\right) \cap N=\underset{H\le M\lessdot K}{ {\displaystyle \bigcap } }(M\cap N)\text {.} \end{aligned}$$

Let M be any maximal subgroup of K containing H. Then M has finite index in K by Lemma 1 and clearly \(N\cap K\) is a normal subgroup of K, hence \(M\cap N=M\cap (N\cap K)\) is Frattini closed in \(N\cap K\) (see (de Giovanni and Imperatore 2014), Corollary 2.4). Therefore either \(M\cap N=N\cap K\) or

$$\begin{aligned} M\cap N=\underset{M\cap N\le X\lessdot N\cap K}{ {\displaystyle \bigcap } }X\ge \underset{H\le Y\lessdot N\cap K}{ {\displaystyle \bigcap } }Y=\Phi _{N\cap K}(H)\text {.} \end{aligned}$$

If \(M\cap N=N\cap K\) for every maximal subgroup M of K containing H, then

$$\begin{aligned} H=\underset{H\le M\lessdot K}{ {\displaystyle \bigcap } }(M\cap N)=N\cap K\text {,} \end{aligned}$$

otherwise

$$\begin{aligned} H&=N\cap K\cap H=(N\cap K)\cap \left( \underset{H\le M\lessdot K}{ {\displaystyle \bigcap } }(M\cap N)\right) =\\&=(N\cap K)\cap \left( \underset{\underset{M\cap N\ne N\cap K}{H\le M\lessdot K}}{ {\displaystyle \bigcap } }(M\cap N)\right) =\underset{\underset{M\cap N\ne N\cap K}{H\le M\lessdot K}}{ {\displaystyle \bigcap } }(M\cap N)\ge \Phi _{N\cap K}(H)\,. \end{aligned}$$

In any case, H is Frattini closed in \(N\cap K\). Hence H is almost Frattini closed in N being the index \(\left| N:N\cap K\right| \) finite. \(\square \)

Each subnormal subgroup of an IM-group is normal (see (Schmidt 1994), Lemma 3.3.9). In order to prove the corresponding result for AM-groups, we need the following.

Lemma 3

Let G be a group whose maximal subgroups have finite index and let H be a Frattini closed subgroup of G. If H is subnormal in G, then H is normal in G.

Proof

Clearly it can be supposed that \(H\ne G\). Let M be any maximal subgroup of G which contains H, then M has finite index in G. Hence \(G/M_{G}\) is finite and so, since \(HM_{G}/M_{G}\) is subnormal in \(G/M_{G}\), we have that \(H^{G}M_{G}/M_{G}\) is contained in \(M/M_{G}\) (see (Kaplan 2011), Lemma 2.1). Thus \(H^{G}\ \)is contained in M. It follows that

$$\begin{aligned} H\le H^{G}\le \underset{H\le M\lessdot G}{ {\displaystyle \bigcap } }M=\Phi _{G}(H)\text {,} \end{aligned}$$

and so, since \(\Phi _{G}(H)=H\), we have that \(H=H^{G}\) is a normal subgroup of G. \(\square \)

Theorem 4

Let G be an hyper-(abelian or finite) AM-group. Then every subnormal subgroup of G has finitely many conjugates.

Proof

Let H be any subnormal subgroup of G. Since G is an AM-group, there exist a subgroup K of finite index of G such that K contains H and \(H=\Phi _{K}(H)\). Since all maximal subgroups of K have finite index by Lemma 1, if follows from Lemma 3 that H is normal in K. Hence \(K\le N_{G}(H)\) and so \(\left| G:N_{G}(H)\right| \) is finite. \(\square \)

Groups in which any subnormal subgroup has finitely many conjugates have been studied by Casolo (1989); it turns out that the structure of soluble groups with this property depends on the behavior of certain automorphism groups. Recall that a power automorphism of a group G is an automorphism which leaves invariant every subgroup of G. It is known that the set of all power automorphisms of G is an abelian residually finite subgroup of the group of all automorphisms of G (see (Cooper 1968)). As a consequence of results of Casolo (1989) we have the following.

Proposition 5

Let G be a group whose subnormal subgroups have finitely many conjugates. If G is hyperabelian, then G is soluble.

Proof

The Fitting subgroup F of G is nilpotent (see (Casolo 1989), Lemma 3.1). Hence \(F/F^{\prime }\) is the Fitting subgroup of \(G/F^{\prime }\), and replacing G by \(G/F^{\prime }\), it can be supposed that F is abelian. There exist normal subgroups E and N of G with \(E\le F\) such that both N and \(C_{G}(E)\) have finite index in G and N acts as a group of power automorphisms on F/E (see (Casolo 1989), Theorem 2.6). Let

$$\begin{aligned} C=C_{G}(E)\cap C_{G}(F/E)\text {;} \end{aligned}$$

it is well-known that \(C/C_{C}(F)\) is nilpotent, and hence C is soluble because \(C_{C}(F)=F\) is abelian. Therefore

$$\begin{aligned} N\cap C=C_{N}(E)\cap C_{N}(F/E) \end{aligned}$$

is likewise soluble. On the other hand, the factor \(N/C_{N}(E)\) is soluble because it is finite and, since the group of all power automorphisms is abelian, \(N^{\prime }\le C_{N}(F/E)\); hence \(N/N\cap C\) is soluble. Therefore N is soluble. Thus G is soluble-by-finite and so even soluble. \(\square \)

It is known that any soluble IM-group is periodic (see (Schmidt 1994), Theorem 3.3.10). In contrast with this property, notice that the infinite dihedral group is a metabelian AM-group with non-periodic derived subgroup. In particular, it is not true that any soluble AM-group contains a normal IM-subgroup of finite index. However, we have the following result.

Theorem 6

Let G be an hyperabelian-by-finite AM-group. Then G contains a normal subgroup of finite index whose derived subgroup is abelian and periodic; in particular, G is metabelian-by-finite.

Proof

The group G contains an hyperabelian normal subgroup of finite index \(G_{1}\) which is likewise an AM-group by Lemma 2. Then Theorem 4 and Proposition 5 yield that \(G_{1}\) is a soluble group whose subnormal subgroups have finitely many conjugates, and hence application Theorem 3.3 of Casolo (1989) to the subgroup \(G_{1}\) proves the statement. \(\square \)

Lemma 7

Let G be an hyper-(abelian or finite) AM-group. Then G has no divisible abelian non-trivial normal subgroups.

Proof

Any normal subgroup of an AM-group is likewise an AM-group by Lemma 2, hence the statement follows from the observation that any AM-group contains subgroups of finite index and so also maximal subgroups. \(\square \)

Let \(A=\underset{n\ge 1}{\text {Dr}}\left\langle a_{n}\right\rangle \) be a free abelian group of infinite rank. If p is any prime number and \(B=\underset{n\ge 1}{\text {Dr}}\left\langle a_{n}^{p^{n}}\right\rangle \), then A/B is a p-group and it contains a proper basic subgroup (see for instance (Fuchs 2015), Lemma 6.1, p.174). Therefore A contains a non-trivial divisible factor and hence it follows from Lemma 7 that A cannot be an AM-group. We use this remark in order to derive the following consequence of Theorem 6.

Corollary 8

Let G be an hyperabelian-by-finite AM-group. If G is torsion-free, then G is an abelian-by-finite group of finite rank.

Proof

It follows from Lemma 2 and Theorem 6 that G contains an abelian normal subgroup \(G_{1}\) of finite index which is an AM-group; in particular, again as a consequence of Lemma 2, any section of the abelian AM-group \(G_{1}\) has the AM-property. Therefore the previous remark gives that \(G_{1}\) has finite rank and the proof is completed. \(\square \)

Lemma 9

Let G be an hyper-(abelian or finite) AM-group and let H ba a subgroup of finite index of G. If N is a normal subgroup of H, then \(\Phi (N)\) is contained in \(\Phi (H)\).

Proof

Since any maximal subgroup of H has finite index by Lemma 1, the statement follows from a well-known fact (see for instance (de Giovanni and Imperatore 2014), Lemma 2.5). \(\square \)

Lemma 10

Let G be an hyper-(abelian or finite) AM-group. Then there exists a normal subgroup of finite index which is an AM-group with trivial Frattini subgroup.

Proof

Since \(\{1\}\) is almost Frattini closed in G, there exists a subgroup H of finite index in G such that \(\{1\}=\Phi _{H}(\{1\})=\Phi (H)\). If N is the core of H in G, then N has likewise finite index in G and N is an AM-group by Lemma 2. Moreover, Lemma 9 yields that \(\Phi (N)\le \Phi (H)\) and so \(\Phi (N)=\{1\}\). \(\square \)

Abelian IM-groups are elementary abelian (see (Schmidt 1994), Theorem 3.3.10); recall here that it means that they are periodic abelian groups whose elements have square-free order. For abelian periodic AM-groups we have the following.

Lemma 11

Let G be a periodic abelian AM-group. Then \(G=E\times V\), where E has finite exponent, V is elementary abelian and \(\pi (E)\cap \pi (V)=\varnothing \).

Proof

By Lemma 10, there exists a subgroup of finite index N such that \(\Phi (N)=~\{1\}\), so every primary component of N has prime exponent. Since G/N is finite, if \(\pi =~\pi (G/N)\), it follows that

$$\begin{aligned} E=\underset{p\in \pi }{\text {Dr}}G_{p} \end{aligned}$$

has finite exponent. Moreover, if p is any prime outside \(\pi \), then \(G_{p}\le N\) and so \(G_{p}=N_{p}\) has exponent p. Therefore

$$\begin{aligned} V=\underset{p\in \pi \prime }{\text {Dr}}G_{p} \end{aligned}$$

is elementary abelian and \(G=E\times V\). \(\square \)

Using Corollary 8, Lemma 11 and an argument which is essentially the same of Theorem 3.5 of de Giovanni and Imperatore (2014), we can now prove the following.

Theorem 12

Let G be an abelian AM-group. Then \(G=A\times E\times V\), where A is torsion-free of finite rank, E has finite exponent, V is periodic with elements of square-free order and \(\pi (E)\cap \pi (V)=\varnothing \).

Proof

Let T be the subgroup consisting of all elements of finite order of G. It follows from Lemma 2 that all sections of an abelian AM-group are likewise AM-groups, hence Lemma 11 yields that \(T=E\times V\) where E has finite exponent, V is elementary abelian and \(\pi (E)\cap \pi (V)=\varnothing \). By Corollary 8, the torsion-free factor G/T has finite rank, so that there exists a finitely generated torsion-free subgroup U such that G/U is periodic. Again Lemma 11 gives that

$$\begin{aligned} G/U=L/U\times W/U \end{aligned}$$

where L/U has finite exponent, W/U is elementary abelian and \(\pi (L/U)\cap \pi (W/U)=\varnothing \). Let \(\pi =\pi (E)\cup \pi (L/U)\), then \(\pi \) is finite. If \(G_{\pi }\) is the subgroup consisting of all \(\pi \)-elements of T, then \(G_{\pi }\) is a pure subgroup of finite exponent and hence \(G=Y\times G_{\pi }\) for a suitable subgroup Y (see (Robinson 1996), 4.3.8). Let \(U_{0}=Y\cap G_{\pi }U\), then

$$\begin{aligned} U_{0}\cap T=Y\cap G_{\pi }U\cap T=Y\cap G_{\pi }(U\cap T)=Y\cap G_{\pi }=\{1\} \end{aligned}$$

and hence \(U_{0}\) is torsion-free. Moreover,

$$\begin{aligned} Y/U_{0}=Y/(Y\cap G_{\pi }U)\simeq YG_{\pi }U/G_{\pi }U=G/G_{\pi }U \end{aligned}$$

is isomorphic to a quotient of G/U, so that \(Y/U_{0}\) is periodic and

$$\begin{aligned} Y/U_{0}=H/U_{0}\times K/U_{0} \end{aligned}$$

where \(H/U_{0}\) has finite exponent which divides the exponent of L/U (and so is a \(\pi \)-number) and \(K/U_{0}\) is elementary abelian. Clearly \(T_{0}=T\cap Y\) is a \(\pi ^{\prime }\)-group, thus \(T_{0}U_{0}/U_{0}\le K/U_{0} \); hence \(T_{0}\le K\) and so

$$\begin{aligned} K/U_{0}=T_{0}U_{0}/U_{0}\times R/U_{0} \end{aligned}$$

for some subgroup R. Put \(A=HR\), then

$$\begin{aligned} Y=HK=HT_{0}R=(HR)T_{0}=AT_{0} \end{aligned}$$

and

$$\begin{aligned} A\cap T_{0}=HR\cap K\cap T_{0}=R(H\cap K)\cap T_{0}=R\cap T_{0}\le U_{0}\cap T=\{1\}\text {.} \end{aligned}$$

Therefore \(Y=A\times T_{0}\) and so

$$\begin{aligned} G=Y\times G_{\pi }=A\times T_{0}\times G_{\pi }=A\times T=A\times E\times V \end{aligned}$$

where A is torsion-free. Hence application of Corollary 8 yields that A has finite rank and so the theorem is proved. \(\square \)

Finally notice that any locally nilpotent AM-group is nilpotent, and it is close to be abelian.

Proposition 13

Let G be a locally nilpotent AM-group, then G is central-by-finite. In particular, if G is torsion-free, then G is abelian of finite rank.

Proof

Any maximal subgroup of a locally nilpotent group is normal (see (Robinson 1996), 12.1.5), so that in a locally nilpotent group any Frattini closed subgroup is normal. Therefore any subgroup of G is normal in a subgroup of finite index, hence G is central-by-finite by a well-known result by B.H. Neumann (see (Neumann 1955)). It follows that if G is torsion-free, then G is abelian (see (Robinson 1996), 5.2.19) and G has finite rank by Lemma 8. \(\square \)

3 Groups with the bounded AM-property

Let G be a group and let k be a positive integer. We shall say that G is a \(AM_{k}\)-group if any subgroup H of G is Frattini closed in a subgroup K such that \(\left| G:K\right| \le k\). Clearly, if N is a normal subgroup of G and G is an \(AM_{k}\)-group, also G/N is an \(AM_{k}\)-group.

Lemma 14

Let G be an hyper-(abelian or finite) \(AM_{k}\)-group and let N be any normal subgroup of G. Then N is an \(AM_{k}\)-group.

Proof

Let H be a subgroup of N and let K be a subgroup of G containing H such that \(\Phi _{K}(H)=H\) and \(\left| G:K\right| \le k\). As in the proof of Lemma 2, it can be proved that H is Frattini closed in \(N\cap K\). Since \(\left| N:N\cap K\right| \le \) \(\left| G:K\right| \le k\), the lemma is proved. \(\square \)

A group G will be called BAM-group if it is an \(AM_{k}\)-group for some positive integer k. Notice that if C is an infinite cyclic group and k is any positive integer, then C is not an \(AM_{k}\)-group. In fact, if p is any prime with \(p>k\), then \(C^{p}\) is the unique subgroup in which \(C^{p^{2}}\) is Frattini closed and \(\left| C:C^{p}\right| =p>k\). Therefore the additive group of integers does not have the BAM-property.

Lemma 15

Let G be an hyper-(abelian or finite) BAM-group. Then G is periodic.

Proof

Let A and B be normal subgroups of G such that \(B\le A\) and A/B is abelian, then Lemma 14 yields that A is a BAM-group and so A/B has likewise the BAM-property. Since A/B is abelian, again Lemma 14 yields that all subgroups of A/B have the BAM-property and so A/B does not have infinite cyclic subgroups, thus A/B is periodic. Since G is hyper-(abelian or finite), it follows that G is periodic. \(\square \)

Recall that a group G is said to be a T-group if all subnormal subgroups of G are normal. Clearly, every simple group is a T-group, but the structure of soluble T-group was investigated by Gaschütz and Robinson (see (Robinson 1964)). If G is any soluble T-group then \(G^{\prime }\) is abelian; moreover, if G is periodic and \(L=[G^{\prime },G]\), then there are no odd primes in the set \(\pi (L)\cap \pi (G/L)\) and the 2-component \(L_{2}\) of L is divisible.

The Wielandt subgroup \(\omega (G)\) of a group G is defined to be the intersection of all the normalizers of subnormal subgroups of G. Clearly, \(\omega (G)\) is a T-group, and G is a T-group if and only if it coincides with its Wielandt subgroup; thus the size of \(G/\omega (G)\) can be considered as a measure of the distance of the group G from the property T. Moreover, if G is a group such that \(G/\omega (G)\) is finite, it is clear that each subnormal subgroup of G has only finitely many conjugates; conversely, Casolo proved that if a soluble group G has boundedly finite conjugacy classes of subnormal subgroups, then the Wielandt subgroup \(\omega (G)\) has finite index in G (see (Casolo 1989), Theorem 4.8).

Theorem 16

Let G be an hyperabelian-by-finite BAM-group. Then G contains a normal subgroup of finite index which is a soluble IM-group.

Proof

The group G contains an hyperabelian normal subgroup \(G_{1}\) of finite index which is a BAM-group by Lemma 14. Then \(G_{1}\) is soluble by Theorem 6 and periodic by Lemma 15. If we prove that \(G_{1}\) contains a normal subgroup \(G_{2}\) of finite index with the IM-property, then the core of \(G_{2}\) in G is a normal subgroup of finite index of G which is also an IM-group (see (Schmidt 1994), Lemma 3.3.7). Therefore there is no loss of generality if we replace G by \(G_1\) and so it can be assumed that G itself is soluble and periodic. Let k be a positive integer such that G is an \(AM_{k}\)-group. Let H be any subnormal subgroup of G, and let K be a subgroup of G such that \(H=\Phi _{K}(H)\) and \(\left| G:K\right| \le k\). Since all maximal subgroups of K have finite index by Lemma 1, if follows from Lemma 3 that H is normal in K. Hence \(K\le N_{G}(H)\) and so \(\left| G:N_{G}(H)\right| \le k\). Therefore G has boundedly finite conjugacy classes of subnormal subgroups and hence the factor \(G/\omega (G)\) is finite by the above quoted result by Casolo.

Lemma 10 yields that G contains a normal subgroup N of finite index such that \(\Phi (N)=\{1\}\); thus \(W=N\cap \omega (G)\) is a normal subgroup of finite index of G. Then W is a normal subgroup of the T-group \(\omega (G)\) and hence W is likewise a T-group; notice also that W has trivial Frattini subgroup since \(\Phi (W)\le \Phi (N)=\{1\}\) by Lemma 9. Moreover, W is also a BAM-group by Lemma 14 and hence it cannot contain divisible abelian non-trivial normal subgroups by Lemma 7. Therefore, if \(L=[W^{\prime },W]\), it follows from the structure of T-groups that L is abelian and \(\pi (L)\cap \pi (W/L)=\varnothing \) (see (Robinson 1964)). Moreover, if X is any subgroup of L, then X is normal in W and so \(\Phi (X)\le \Phi (W)=\{1\}\) by Lemma 9; hence L is elementary abelian. Let I be a subgroup of finite index of W containing L such that \(L=\Phi _{I}(L)\). Then \(\Phi (I/L)\) is trivial, and I/L has the BAM-property by Lemma 14. Being a nilpotent T-group, all subgroups of W/L are normal, hence if I/L were not abelian then it would contain a (normal) subgroup Q/L isomorphic to the quaternion group of order 8 (see (Robinson 1996), 5.3.7) and this is not possible being \(\Phi (Q/L)\le \Phi (I/L)=\{1\}\) by Lemma 9. Therefore I/L is abelian. Moreover, if X/L is any subgroup of I/L, then \(\Phi (X/L)\le \Phi (I/L)=\{1\}\) by Lemma 9; hence I/L is elementary abelian. It follows that I is an IM-group (see (Schmidt 1994), Theorem 3.3.10). Since the index \(\left| G:I\right| \) is finite, the theorem is proved. \(\square \)