Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-05T03:20:36.878Z Has data issue: false hasContentIssue false

GROUPS IN WHICH ALL LARGE SUBGROUPS HAVE BOUNDED NEAR DEFECT

Published online by Cambridge University Press:  23 September 2022

GIULIA SABATINO*
Affiliation:
Dipartimento di Matematica e Applicazioni, Università di Napoli Federico II, Via Cintia, Napoli, Italy
*
Rights & Permissions [Opens in a new window]

Abstract

If G is a group with subgroup H and m, k are two fixed nonnegative integers, H is called an $(m,k)$ -subnormal subgroup of G if it has index at most m in a subnormal subgroup of G of defect less than or equal to k. We study the behaviour of uncountable groups of cardinality $\aleph $ where all subgroups of cardinality $\aleph $ are $(m,k)$ -subnormal.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction

If G is a group, H is a subgroup of G and $(m,k)$ is a pair of nonnegative integers, following [Reference Dixon, Ferrara and Trombetti7], H is said to be $(m,k)$ -subnormal in G if there is a subgroup $H_0$ containing H such that $\vert H_0:H \vert \leq m$ and $H_0$ is subnormal in G with defect at most k. The pairs $(m,k)$ are ordered lexicographically; with this ordering, if H is $(m,k)$ -subnormal for some pair $(m,k)$ , then the least such pair is called the near defect of H in G (see [Reference Lennox9]). Lennox [Reference Lennox9, Reference Lennox10] called a subgroup almost subnormal if it is $(m,k)$ -subnormal for certain nonnegative integers $m,k$ . Clearly, a subgroup H is $(m,1)$ -subnormal in G if and only if it has index at most m in its normal closure $H^G$ , while H is $(1,k)$ -subnormal if and only if it is subnormal of defect at most k.

It follows from theorems of Neumann [Reference Neumann12] and Macdonald [Reference Macdonald11] that if a group admits only $(m,1)$ -subnormal subgroups for a fixed positive integer m, then its commutator subgroup is finite of order bounded by a function of m. On the other hand, a well-known theorem of Roseblade [Reference Roseblade16] asserts that there exists a function f such that if G is a group in which every subgroup is $(1,k)$ -subnormal for a fixed positive integer k, then G is nilpotent of class bounded by $f(k)$ .

Lennox [Reference Lennox9] generalised Roseblade’s theorem, proving that there exists a function $\mu $ such that if every finitely generated subgroup of a group G is $(m,k)$ -subnormal in G, then the term $\gamma _{\mu (m+k)}(G)$ of the lower central series of G is finite of order less than or equal to $m!$ .

A group G is said to have finite rank if there is a positive integer r such that every finitely generated subgroup of G can be generated by at most r elements; if such an r does not exist, we say that the group G has infinite rank. In a long series of papers, it has been shown that the structure of a (soluble) group of infinite rank is strongly influenced by that of its proper subgroups of infinite rank; in particular, Evans and Kim [Reference Evans and Kim8] studied locally soluble groups of infinite rank in which all subgroups of infinite rank are subnormal with bounded defect, while in [Reference Dixon, Ferrara and Trombetti7] locally soluble groups of infinite rank whose subgroups of infinite rank are $(m,k)$ -subnormal were considered. The results obtained in that context suggest that the behaviour of small subgroups in a large group can be neglected, at least for the right choice of the definition of largeness (and within a suitable universe); for instance, in [Reference De Falco, de Giovanni, Heineken and Musella3] the authors consider uncountable groups, of cardinality $\aleph $ say, in which all subgroups of cardinality $\aleph $ are normal or subnormal. In a series of subsequent papers (see [Reference De Falco, Evans, de Giovanni and Musella4Reference De Falco, de Giovanni and Musella6]), similar problems were considered, by replacing normality with some of its relevant generalisations. The main obstacle in the study of groups of large cardinality $\aleph $ is the existence of infinite groups in which all proper subgroups have cardinality strictly smaller than $\aleph $ (the so-called Jónsson groups). Clearly, a countably infinite group is a Jónsson group if and only if all its proper subgroups are finite, so that Prüfer groups and Tarski groups (that is, infinite simple groups whose proper nontrivial subgroups have prime order) have the Jónsson property. On the other hand, it is known that if G is an uncountable Jónsson group, then $G/Z(G)$ is simple and $G' = G$ (see, for instance, [Reference De Falco, de Giovanni, Heineken and Musella3, Corollary 2.6]). Relevant examples of Jónsson groups of cardinality $\aleph _1$ have been constructed by Shelah [Reference Shelah17] and Obraztsov [Reference Obraztsov13].

If G is an uncountable group, a subgroup H of G will be called large if it has the same cardinality as G and small otherwise. The aim of the paper is to make a further contribution to the study of the influence of the behaviour of large subgroups on the structure of a group, by considering uncountable groups whose large subgroups are $(m,k)$ -subnormal for a fixed pair $(m,k)$ .

Most of our notation is standard and can be found in [Reference Robinson15].

2 Statements and proofs

Throughout this paper, $\aleph $ will denote a fixed uncountable regular cardinal number and, for nonnegative integers $(m,k)$ , we define the group class $\mathfrak {X}(m,k)$ to be the class of all groups of cardinality $\aleph $ (and the trivial groups) whose large subgroups are $(m,k)$ -subnormal in G. We begin this section by showing that the Baer radical of an $\mathfrak {X}(m,k)$ -group has all large subgroups subnormal with bounded defect.

Lemma 2.1. Let G be a locally nilpotent group. Then every $(m,k)$ -subnormal subgroup of G is subnormal in G of defect at most $m+k$ .

Proof. Let H be an $(m,k)$ -subnormal subgroup of G, so that there exists a subnormal subgroup X of G of defect at most k such that $\lvert X:H\rvert \leq m$ . If $N=H_{X}$ is the normal core of H in X, then $X/N$ is a finite nilpotent group, so $H/N$ is subnormal in $X/N$ with defect at most m. Hence, H is a subnormal subgroup of G of defect at most $m+k$ .

Corollary 2.2. Let G be a locally nilpotent $\mathfrak {X}(m,k)$ -group. If G contains a large abelian subgroup, then G is nilpotent of class at most $f(m+k)$ .

Proof. The assertion is a consequence of Lemma 2.1 and [Reference De Falco, de Giovanni, Heineken and Musella3, Theorem 2.5].

Corollary 2.3. Let G be an $\mathfrak {X}(m,k)$ -group containing a large abelian subgroup. Then the Baer radical of G is large and nilpotent of class at most $f(m+k)$ .

Proof. Let A be a large abelian subgroup; then A is $(m,k)$ -subnormal in G, so that there exists a subnormal subgroup C of defect at most k such that $\lvert C:A\rvert \leq m$ . It follows that $A_{C}$ , the normal core of A in C, is a large abelian subnormal subgroup of G. Thus, B is a locally nilpotent $\mathfrak {X}(m,k)$ -group containing a large abelian subgroup. The statement is now a consequence of Corollary 2.2.

Proposition 2.4. Let G be a group of cardinality $\aleph $ . If there exists a positive integer r such that $\gamma _{r}(G)$ is small, then for every finitely generated subgroup F of G, the centraliser $C_G(F)$ is a large subgroup of G.

Proof. Let s be the least positive integer such that $\gamma _{s+1}(G)$ is small and let g be any element of G; if we put

$$ \begin{align*} g^{\gamma_{s}(G)}=\{g^{h} \mid h \in \gamma_{s}(G)\}, \end{align*} $$

the function

$$ \begin{align*} g^{h} \in g^{\gamma_{s}(G)}\longrightarrow [g,h] \in [g,\gamma_{s}(G)]\leq \gamma_{s+1}(G) \end{align*} $$

is a bijection and, therefore, the set $g^{\gamma _{s}(G)}$ has cardinality strictly smaller than $\aleph $ . However,

$$ \begin{align*} \lvert g^{\gamma_{s}(G)}\rvert =\lvert \gamma_{s}(G):C_{\gamma_{s}(G)}(g)\rvert \end{align*} $$

where $C_{\gamma _{s}(G)}(g)$ is the centraliser in $\gamma _{s}(G)$ of g.

Put $F=\langle g_{1}, \ldots , g_{t}\rangle $ ; then $\lvert \gamma _{s}(G):C_{\gamma _{s}(G)}(g_i)\rvert $ is strictly smaller than $\aleph $ , for each $i \in \{1,\ldots ,t\}$ . Moreover,

$$ \begin{align*} C_{G}(F)=\overset{t}{\underset{i=1}{\bigcap}}C_{G}(g_{i}), \end{align*} $$

so that $\lvert \gamma _{s}(G):C_{\gamma _{s}(G)}(F)\rvert $ is strictly smaller than $\aleph $ , and hence $C_G(F)$ is a large subgroup of G.

Phillips [Reference Phillips14] introduced the following generalisation of subnormality for infinite groups: a subgroup H of a group G is called f-subnormal in G if there exists an f-series from H to G, that is, a finite series

$$ \begin{align*}H=H_0 \leq H_1 \leq \cdots \leq H_n=G\end{align*} $$

such that either $H_i$ is normal in $H_{i+1}$ or $\vert H_{i+1}{\,:\,}H_i \vert <\infty $ for every $i\in \{ 0, \ldots ,n-1 \}$ .

Clearly, every $(m,k)$ -subnormal subgroup is f-subnormal.

Corollary 2.5. Let G be an $\mathfrak {X}(m,k)$ -group. If there exists a positive integer r such that $\gamma _{r}(G)$ is small, then every finitely generated subgroup F of G is f-subnormal in G.

Proof. It follows from Proposition 2.4 that $C_{G}(F)F$ is an $(m,k)$ -subnormal subgroup of G in which F is normal.

Lemma 2.6. Let G be an $\mathfrak {X}(m,k)$ -group. If G is abelian-by-cyclic, then it is finite-by-nilpotent and $\lvert \gamma _{\mu (m+k)}(G)\rvert \leq (m{!})^{2}$ .

Proof. We can write $G=A\langle x\rangle $ , where A is a normal abelian subgroup of G and x is an element of G. Of course, A is large and it can be regarded as a module over the countable ring $R=\mathbb {Z}\langle x\rangle $ . Moreover, the R-submodules of A are all its G-invariant subgroups. By [Reference De Falco, de Giovanni, Heineken and Musella3, Lemma 2.3], A contains the direct product

$$ \begin{align*} \underset{i \in I}{Dr}\,M_{i}, \end{align*} $$

where I is a set of cardinality $\aleph $ and, for each $i \in I$ , $M_{i}$ is a G-invariant subgroup of A. It follows that there exist two subsets $I_{1}$ and $I_{2}$ of I, each of cardinality $\aleph $ , such that

$$ \begin{align*} I_{1}\cap I_{2}=\emptyset. \end{align*} $$

For $j=1,2$ , put

$$ \begin{align*} B_{j}=\underset{i \in I_{j}}{Dr}\,M_{i}, \end{align*} $$

then $B_{1}$ and $B_{2}$ are G-invariant subgroups of A of cardinality $\aleph $ whose intersection is trivial. Thus, [Reference Lennox9, Theorem A] ensures that, for $j=1,2$ ,

$$ \begin{align*} \lvert \gamma_{\mu (m+k)}(G/B_{j})\rvert \leq m{!}. \end{align*} $$

Therefore, $\lvert \gamma _{\mu (m+k)}(G)\rvert \leq (m{!})^{2}$ and G is finite-by-nilpotent.

Lemma 2.7. Let G be an $\mathfrak {X}(m,k)$ -group containing a large abelian normal subgroup. Then G is locally finite-by-nilpotent, and if B is the Baer radical of G, then $G/B$ has finite exponent.

Proof. Let x be any element of G and let A be a large abelian normal subgroup of G; the subgroup $\langle A, x \rangle = A\langle x\rangle $ is an abelian-by-cyclic $\mathfrak {X}(m,k)$ -group so, by Lemma 2.6, $\lvert \gamma _{\mu (m+k)}(A\langle x\rangle )\rvert \leq (m{!})^2$ . Therefore, $\langle x \rangle $ has index at most $(m{!})^2$ in $\langle x\rangle \gamma _{\mu (m+k)}(A\langle x\rangle )$ . Since $A\langle x\rangle /\gamma _{\mu (m+k)}(A\langle x\rangle )$ is nilpotent of class at most $\mu (m+k)-1$ , the subgroup $\langle x\rangle \gamma _{\mu (m+k)}(A\langle x\rangle )$ is subnormal in $A\langle x\rangle $ with defect at most $\mu (m+k)-1$ . Finally, $A\langle x\rangle $ is $(m,k)$ -subnormal in G and so it has index at most m in $(A\langle x\rangle )^{G,k}$ which is subnormal in G with defect at most k.

By an application of [Reference Lennox9, Theorem B], G is locally finite-by-nilpotent.

Let X be a cyclic subgroup of G. By the above argument, there exists a chain

$$ \begin{align*}X=X_n \leq \cdots \leq X_0=G\end{align*} $$

such that either $X_{i+1}$ is subnormal in $X_i$ with defect at most $\mu (m+k)-1$ or $X_{i+1}$ has index at most $(m{!})^2$ in $X_i$ ; we shall prove by induction on the length of the chain that for every cyclic subgroup X of G, there is a positive integer s dividing $\beta (m)=((m{!})^2)!$ such that $X^{s}$ is subnormal in G.

We can assume that $X^{s}$ is subnormal in $X_1$ , for some positive integer s dividing $\beta (m)$ . If $X_1$ is subnormal in G, then $X^{s}$ is subnormal in G. So we can assume that the index $\vert G:X_1 \vert \leq (m{!})^2$ ; then the core Y of $X_1$ in G has index at most $((m{!})^2)!= \beta (m)$ in G. Hence, $X^{\beta (m)}$ is a normal subgroup of $Y\cap X^{s}$ , which is subnormal in Y. It follows that $X^{\beta (m)}$ is subnormal in G, and hence $X^{\beta (m)} \leq B$ .

Therefore, $G/B$ has finite exponent.

The following result depends on [Reference Burns, Okoh, Smith and Wiegold1, Theorem 1 ${}^{\prime }$ ]. Recalling that an abelian normal subgroup A of a group G can be regarded as a module over the group ring $\mathbb {Z}(G/C_{G}(A))$ , we obtain the following interesting lemma.

Lemma 2.8. Let G be a group containing an uncountable abelian normal subgroup A. If $G/C_{G}(A)$ is finite, then A contains a subgroup of the form

$$ \begin{align*} \underset{i \in I}{Dr}\,\langle a_{i}\rangle^{G}, \end{align*} $$

where the set I has the same cardinality as A.

Lemma 2.9. Let G be an $\mathfrak {X}(m,k)$ -group. If G contains a large nilpotent normal subgroup N such that $G/N$ is locally finite, then $\gamma _{\mu (m^{2}+k)}(G)$ is small.

Proof. Since N is nilpotent of cardinality $\aleph $ , there exists a nonnegative integer r such that $\lvert Z_{r}(N)\rvert < \aleph $ and $\lvert Z_{r+1}(N)\rvert =\aleph $ . So, the section $\overline {A}=Z_{r+1}(N)/Z_{r}(N)$ is an abelian normal subgroup of $\overline {G}=G/Z_{r}(N)$ . Let $\overline {E}$ be any finitely generated subgroup of $\overline {G}$ and put $\overline {L}=\overline {E}\overline {A}$ . Since $\overline {N}\cap \overline {L} \leq C_{\overline {L}}(\overline {A})$ , then $\overline {L}/C_{\overline {L}}(\overline {A})$ is finite, so that Lemma 2.8 ensures that $\overline {A}$ contains a subgroup $\overline {H}$ of the form

$$ \begin{align*} \overline{H} =\underset{i \in I}{Dr}\,\overline{A}_{i} \end{align*} $$

where I is a set of cardinality $\aleph $ and, for each $i \in I$ , $\overline {A}_{i}$ is a nontrivial normal subgroup of $\overline {L}$ . So we can find two $\overline {L}$ -invariant subgroups $\overline {H}_{1}$ and $\overline {H}_{2}$ of $\overline {H}$ , both of cardinality $\aleph $ and such that

$$ \begin{align*} \overline{H}_{1}\cap \overline{H}_{2}=\overline{E}\cap \overline{H}_{1}\overline{H}_{2}=\{1\}. \end{align*} $$

Therefore,

$$ \begin{align*} \overline{E}= \overline{E}\overline{H}_{1}\cap \overline{E}\overline{H}_{2} \end{align*} $$

is the intersection of two $(m,k)$ -subnormal subgroups of $\overline {G}$ and, by [Reference Dixon, Ferrara and Trombetti7, Lemma 2.5], $\overline {E}$ is $(m^{2},k)$ -subnormal. An application of [Reference Lennox9, Theorem A] completes the proof.

We are now able to state and prove our first main theorem.

Theorem 2.10. Let G be an $\mathfrak {X}(m,k)$ -group. If G contains a large abelian normal subgroup, then G is finite-by-nilpotent and $\lvert \gamma _{\mu (m^2+k)}(G)\rvert \leq (m^{2})!$ .

Proof. Let B be the Baer radical of G; it follows from Corollary 2.3 and Lemma 2.7 that B is nilpotent and $G/B$ is a locally finite group, so that $\gamma _{\mu (m+k)}(G)$ is small by Lemma 2.9. Let F be any finitely generated subgroup of G. Applying Proposition 2.4 to the group $AF$ , we can say that $C_{AF}(F)$ is large, so that also $C_{AF}(F) \cap A$ is a large subgroup. It follows that $Z(AF)$ is large, and hence it contains two large subgroups $U_{1}$ and $U_{2}$ such that

$$ \begin{align*} U_{1}\cap U_{2}=F\cap U_{1}U_{2}=\{1\}. \end{align*} $$

Therefore,

$$ \begin{align*} F=FU_{1}\cap FU_{2} \end{align*} $$

is the intersection of two $(m,k)$ -subnormal subgroups of G and, by [Reference Dixon, Ferrara and Trombetti7, Lemma 2.5], F is $(m^{2},k)$ -subnormal. The statement follows from [Reference Lennox9, Theorem A].

The last part of this section is devoted to our second main theorem concerning $\mathfrak {X}(m,k)$ -groups which contain a large abelian subgroup not necessarily normal.

Lemma 2.11. Let G be an $\mathfrak {X}(m,k)$ -group. If G contains a large abelian subgroup, then the Baer radical of G is a finite-index subgroup.

Proof. Let B be the Baer radical of G. By Corollary 2.3, B is a large nilpotent subgroup of G, so that the section $B/B{'}$ has cardinality $\aleph $ . Hence, $G/B{'}$ is an $\mathfrak {X}(m,k)$ -group and contains the large abelian normal subgroup $B/B{'}$ , so that, as a consequence of Theorem 2.10,

$$ \begin{align*} \lvert \gamma_{\mu (m^2+k)}(G/B{'})\rvert \leq (m^{2}){!}. \end{align*} $$

By Hall’s theorem, $\lvert G/B{'}: Z_{2\mu (m^2+k)}(G/B{'})\rvert $ is finite so, with $Z/B' =Z_{2\mu (m^2+k)}(G/B{'})$ , also $\lvert G:ZB\rvert $ is finite. Clearly, $ZB/B{'}$ is nilpotent by Fitting’s theorem, and so the nilpotency of the normal subgroup B of $ZB$ ensures that $ZB$ is a nilpotent normal subgroup of G. It follows that $Z \leq B$ and the statement is proved.

Theorem 2.12. Let G be an $\mathfrak {X}(m,k)$ -group. If G contains a large abelian subgroup A, then G is finite-by-nilpotent and $\gamma _{\mu (m^2+k) }(G)$ is small.

Proof. If B is the Baer radical of G, then B is a large and nilpotent subgroup of G by Corollary 2.3. Since $G/B$ is finite by Lemma 2.11, as a consequence of Lemma 2.9, $\gamma _{\mu (m^2+k)}(G)$ is small.

In addition, Lemma 2.11 ensures the existence of a finitely generated subgroup F such that $G=FB$ . By Corollary 2.5, F is f-subnormal in G, so that there exists an f-series of the form

$$ \begin{align*} F=F_{0}<F_{1}<\cdots<F_{n}=G, \end{align*} $$

where either $\lvert F_{i+1}: F_{i}\rvert $ is finite or $F_{i}$ is normal in $F_{i+1}$ , for each $i \in \{0, \ldots , n-1 \}$ .

We will prove that G is finite-by-nilpotent by induction on the length n of the f-series above. If $n=1$ , since G is an uncountable group, F is normal in G. On the other hand, [Reference Casolo and Mainardis2, Theorem 1.1] tells us that F is also finite-by-nilpotent so we can find a positive integer r such that the G-invariant subgroup $\gamma _{r}(F)$ is finite, and

$$ \begin{align*} G/\gamma_{r}(F)=BF/\gamma_{r}(F)=(F/\gamma_{r}(F))\cdot (B\gamma_{r}(F)/\gamma_{r}(F)) \end{align*} $$

is nilpotent by Fitting’s theorem.

Assume now that $n>1$ . Then $\lvert F_{n-1}{\,:\,}F_{n-1}\cap B\rvert $ is finite and $B\cap F_{n-1}$ is contained in the Baer radical of $F_{n-1}$ , so we can apply the inductive hypothesis to $F_{n-1}$ which has to be a finite-by-nilpotent group. It follows that there exists a finite characteristic subgroup M of $F_{n-1}$ such that $F_{n-1}/M$ is nilpotent (see [Reference Casolo and Mainardis2, Lemma 2.9]). If $F_{n-1}$ is normal in G, also M is G-invariant and

$$ \begin{align*} G/M= (F_{n-1}/M) \cdot (BM/M) \end{align*} $$

is nilpotent by Fitting’s theorem. Assume that $\lvert G:F_{n-1}\rvert $ is finite; then M has finitely many conjugates in G, so that $M^{G}$ is finite by Dietzmann’s lemma. On the other hand,

$$ \begin{align*}G/M^G= (F_{n-1}M^G/M^G) \cdot (BM^G/M^G)\end{align*} $$

is finite-by-(locally nilpotent) (see [Reference Casolo and Mainardis2, Lemma 2.7]), so that G itself is finite-by-(locally nilpotent), and hence actually finite-by-nilpotent by Corollary 2.2.

References

Burns, R. G., Okoh, F., Smith, H. and Wiegold, J., ‘On the number of normal subgroups of an uncountable soluble group’, Arch. Math. 42 (1984), 289295.10.1007/BF01246116CrossRefGoogle Scholar
Casolo, C. and Mainardis, M., ‘Groups in which every subgroup is $f$ -subnormal’, J. Group Theory 4 (2001), 341365.10.1515/jgth.2001.026CrossRefGoogle Scholar
De Falco, M., de Giovanni, F., Heineken, H. and Musella, C., ‘Normality in uncountable groups’, Adv. Group Theory Appl. 3 (2017), 1329.Google Scholar
De Falco, M., Evans, M. J., de Giovanni, F. and Musella, C., ‘Permutability in uncountable groups’, Ann. Mat. Pura Appl. (4) 197 (2018), 14171427.10.1007/s10231-018-0730-3CrossRefGoogle Scholar
De Falco, M., de Giovanni, F., Musella, C. and Sysak, Y. P., ‘Uncountable groups in which normality is a transitive relation’, Internat. J. Algebra Comput. 29(4) (2019), 627638.10.1142/S0218196719500188CrossRefGoogle Scholar
De Falco, M., de Giovanni, F. and Musella, C., ‘Groups with normality conditions for uncountable subgroups’, J. Aust. Math. Soc. 111 (2021), 268277.10.1017/S1446788720000038CrossRefGoogle Scholar
Dixon, M. R., Ferrara, M. and Trombetti, M., ‘Groups in which all subgroups of infinite special rank have bounded near defect’, Comm. Algebra 46 (2018), 54165426.10.1080/00927872.2018.1468908CrossRefGoogle Scholar
Evans, M. J. and Kim, Y., ‘On groups in which every subgroup of infinite rank is subnormal of bounded defect’, Comm. Algebra 32 (2004), 25472557.10.1081/AGB-120037398CrossRefGoogle Scholar
Lennox, J. C., ‘On groups in which every subgroup is almost subnormal’, J. Lond. Math. Soc. (2) 15 (1977), 221231.10.1112/jlms/s2-15.2.221CrossRefGoogle Scholar
Lennox, J. C., ‘Joins of almost subnormal subgroups’, Proc. Edinb. Math. Soc. (2) 22 (1979), 3334.10.1017/S0013091500027772CrossRefGoogle Scholar
Macdonald, I. D., ‘Some explicit bounds in groups with finite derived groups’, Proc. Lond. Math. Soc. (3) 11 (1961), 2356.10.1112/plms/s3-11.1.23CrossRefGoogle Scholar
Neumann, B. H., ‘Groups with finite classes of conjugate subgroups’, Proc. Edinb. Math. Soc. (2) 22 (1955), 3334.Google Scholar
Obraztsov, V. N., ‘An embedding theorem for groups and its corollaries’, Math. USSR Sb. 66 (1990), 541553.10.1070/SM1990v066n02ABEH001184CrossRefGoogle Scholar
Phillips, R. E., ‘Some generalizations of normal series in infinite groups’, J. Aust. Math. Soc. 14 (1972), 496502.10.1017/S1446788700011137CrossRefGoogle Scholar
Robinson, D. J. S., A Course in the Theory of Groups, Graduate Texts in Mathematics, 80 (Springer-Verlag, New York, 1982).10.1007/978-1-4684-0128-8CrossRefGoogle Scholar
Roseblade, J. E., ‘On groups in which every subgroup is subnormal’, J. Algebra 2 (1965), 402412.10.1016/0021-8693(65)90002-5CrossRefGoogle Scholar
Shelah, S., ‘On a problem of Kurosh, Jónsson groups and applications’, in: Word Problems II—The Oxford Book (eds. S. I. Adian, W. W. Boone and G. Higman) (North-Holland, Amsterdam, 1980), 373394.10.1016/S0049-237X(08)71346-6CrossRefGoogle Scholar