### November 27, 2006

<ph f="cmbx">Thompson-like characterization of the solvable radical</ph>

### Boris Kunyavskiĭ, Eugene Plotkin, and Aner Shalev

Kunyavskiɪ and Plotkin: Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, ISRAEL E-mail address : kunyav@macs.biu.ac.il, plotkin@macs.biu.ac.il Shalev: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, Hebrew University of Jerusalem, 91904 Jerusalem, ISRAEL E-mail address : shalev@math.huji.ac.il
• Abstract. We prove that the solvable radical of a finite group $G$  coincides with the set of elements $y$  having the following property: for any $x\in G$  the subgroup of $G$  generated by $x$  and $y$  is solvable. We present analogues of this result for finite dimensional Lie algebras and some classes of infinite groups.
To Charles Leedham-Green on his 65th birthday

1 Introduction

The first motivating result for this paper is the following famous theorem of J. Thompson [17(see also [5): a finite group $G$  is solvable if and only if every 2-generated subgroup of $G$  is solvable.
Our main aim is to prove the following extension of Thompson's theorem.
Theorem 1.1. Let $G$  be a finite group, and let $R\left(G\right)$  be the solvable radical of $G$  (namely the maximal solvable normal subgroup of $G$  ). Then $R\left(G\right)$  coincides with the set of all elements $y\in G$  with the following property:
for any $x\in G$  the subgroup generated by $x$  and $y$  is solvable.
Our proof of Theorem 1.1 invokes the Classification of finite simple groups, and uses the so called “one and a half generation” of almost simple groups, proved by Guralnick and Kantor [7using probabilistic arguments. Thus our result may be regarded as yet another demonstration of the power of probabilistic and counting methods in group theory (see the survey paper [15for further background).
Theorem 1.1 can be extended to some classes of infinite groups (see Theorems  4.1 and  4.4 below). It has an obvious Lie-algebraic counterpart (Theorem  2.1 ). We call a criterion given in Theorem  1.1 the Thompson-like characterization of the solvable radical.
Acknowledgements. Kunyavskiĭ and Plotkin were partially supported by the Ministry of Absorption (Israel), the Israel Science Foundation founded by the Israel Academy of Sciences — Center of Excellence Program, the Minerva Foundation through the Emmy Noether Research Institute of Mathematics, and the EU networks HPRN-CT-2002-00287 and INTAS 00-566. Shalev was partially supported by the Israel Science Foundation founded by the Israel Academy of Sciences .
The authors are very grateful to B. Plotkin for inspiring suggestions and discussions.

2 Lie algebras

We start with a Lie-algebraic counterpart of Theorem  1.1 which will give us important hints to its proof.
Theorem 2.1. Let $L$  be a finite dimensional Lie algebra defined over a field $k$  of characteristic zero, and let $R\left(L\right)$  be the solvable radical of $L$  (namely the maximal solvable ideal of $L$  ). Then $R\left(L\right)$  coincides with the set of elements $y\in L$  with the following property: for any $x\in L$  the subalgebra generated by $x$  and $y$  is solvable.
• Proof. If $y\in R\left(L\right)$  , then for any $x\in L$  the subalgebra generated by $x$  and $y$  contains a solvable ideal with one-dimensional quotient and is therefore solvable. We shall give two proofs for the converse inclusion.
1st proof. Suppose $y/\in R\left(L\right)$  . We have to prove that there is $x\in L$  such that the subalgebra generated by $x$  and $y$  is not solvable. After factoring out $R\left(L\right)$  , we are reduced to proving this in the case where $L$  is semisimple. Clearly, it is enough to consider the case where $L$  is simple. In that case the result follows from [8where it is proved that for any nonzero element $y$  of a simple Lie algebra $L$  there is $x$  such that $x$  and $y$  generate $L$  .
2nd proof. Suppose $y$  has the property stated in the theorem. We have to prove that $y\in R\left(L\right)$  . Consider the sequence of words ${v}_{n}\left(x,y\right)$  defined inductively by the following rule:
${v}_{1}\left(x,y\right)=x,{v}_{n+1}\left(x,y\right)=\left[{v}_{n}\left(x,y\right),\left[x,y\right]\right],...$  This sequence can be used for characterization of $R\left(L\right)$  : according to [2,Theorem3.7, $y\in R\left(L\right)$  if and only if for any $x$  there exists $n$  such that ${v}_{n}\left(x,y\right)=0$  .
Let now $x$  be an arbitrary element of $L$  . Since the subalgebra generated by $x$  and $y$  is solvable, it satisfies the identity ${v}_{n}\left(x,y\right)\equiv 0$  for some $n$  [2,Theorem3.4, and we are done.
Remark 2.2. In view of results of Section  4 , it seems plausible that Theorem  2.1 can be extended to some classes of infinite dimensional Lie algebras (in particular, to Lie algebras with polynomial identity).

3 Finite groups

In this section we prove Theorem  1.1 . For brevity, let us introduce the following notion.
Definition 3.1. Let $G$  be a group. We say that $y\in G$  is a radical element if for any $x\in G$  the subgroup generated by $x$  and $y$  is solvable. Denote by $S\left(G\right)$  the set of radical elements of $G$  .
Note that in any group $G$  we have $R\left(G\right)\subseteq S\left(G\right)$  . Indeed, if $y\in R\left(G\right)$  , then for any $x$  the subgroup generated by $x$  and $y$  contains a solvable normal subgroup with cyclic quotient and is therefore solvable.
With this terminology, Theorem  1.1 says that if $G$  is finite, then $R\left(G\right)=S\left(G\right)$  .
• Proof. It suffices to prove that $S\left(G\right)\subseteq R\left(G\right)$  . One could try to mimic one of two proofs of Theorem  2.1 . Thus Theorem  1.1 would immediately follow from the following
Conjecture 3.2. [2,Conj.2.12 For any finite group $G$  there exists a sequence ${u}_{n}\left(x,y\right)$  such that $R\left(G\right)$  coincides with the set of elements $y$  having the following property: for any $x\in G$  there is $n$  such that ${u}_{n}\left(x,y\right)=1$  .
However, [2contains only partial results towards Conjecture  3.2 . Fortunately, the “one and a half generation” theorem of Guralnick and Kantor [7,CorollaryofTh. Ionp. 745allows us to imitate the first proof of Theorem  2.1 .
First, we prove an auxiliary result. For a finite group $T$  and a positive integer $n$  denote by ${T}^{n}$  the direct product of $n$  copies of $T$  . Let $\sigma$  be an automorphism of $T$  . For any group $T$  and $x\in T$  , $\sigma \in \text{Aut}T$  , denote by $〈{x}^{〈\sigma 〉}〉$  the minimal subgroup containing $x$  and invariant under the automorphism $\sigma$  .
Lemma 3.3. Suppose $T$  is a nonabelian simple group, and let $\sigma \in \text{Aut}\left({T}^{n}\right)$  .
If $\sigma \ne 1$  , then there exists $\overline{x}\in {T}^{n}$  such that the subgroup $〈{\overline{x}}^{〈\sigma 〉}〉$  is not solvable.
• Proof. It is well known (see, for example, [14,3.3.20) that $\text{Aut}\left({T}^{n}\right)=\text{Aut}\left(T\right)wr{S}_{n}=\left(\text{Aut}T{\right)}^{n}⋋{S}_{n}$  , where ${S}_{n}$  is the symmetric group. Then one can write $\sigma =\left(\left({\sigma }_{1},...,{\sigma }_{n}\right),s\right)$  , where ${\sigma }_{i}\in \text{Aut}T$  , $s\in {S}_{n}$  .
Suppose $s\ne 1$  . In this case we prove that there is $\overline{x}\in {T}^{n}$  such that already the subgroup generated by $\overline{x}$  and ${\overline{x}}^{\sigma }$  is not solvable.
We may assume that $s\left(k\right)=1$  for some $k>1$  . Then $\left(\overline{x}{\right)}^{\sigma }=\left({x}_{1},...,{x}_{n}{\right)}^{\sigma }=\left({x}_{1}^{{\sigma }_{1}},...,{x}_{n}^{{\sigma }_{n}}{\right)}^{s}=\left({x}_{k}^{{\sigma }_{k}},...\right)$  . Now we can use the above cited “one and a half generation” theorem by Guralnick and Kantor. Choose $\overline{x}$  so that ${x}_{1}\ne 1$  . Since $T$  is simple, according to [7there is $b\in T$  such that $b$  and ${x}_{1}$  generate $T$  . One can choose $\overline{x}$  so that ${x}_{k}^{{\sigma }_{k}}=b$  (put ${x}_{k}={b}^{{\sigma }_{k}^{-1}}$  ). With such a choice of ${x}_{1}$  and ${x}_{k}$  , the element $\overline{x}=\left({x}_{1},...,{x}_{k},...\right)$  is as required: the group $〈\overline{x},{\overline{x}}^{\sigma }〉$  cannot be solvable since the first components of $\overline{x}$  and ${\overline{x}}^{\sigma }$  are ${x}_{1}$  and $b$  , and they generate the whole group $T$  .
Let now $s=1$  . Consider the semidirect product ${T}_{1}$  of the first copy of $T$  with the automorphism ${\sigma }_{1}$  . This group is almost simple and once again we can use [7in order to find for ${\sigma }_{1}\in {T}_{1}$  an element $\tau \in {T}_{1}$  such that ${\sigma }_{1}$  and $\tau$  generate the subgroup which contains the socle of ${T}_{1}$  and thus is not solvable. Since $\tau ={x}_{1}{\sigma }_{1}^{m}$  for some integer $m$  and some ${x}_{1}\in T$  , we conclude that the subgroup $〈{x}_{1},{\sigma }_{1}〉=〈\tau ,{\sigma }_{1}〉$  , where $〈,〉$  stands for the subgroup generated by elements in brackets, is not solvable. Hence the group $〈{x}_{1}^{〈{\sigma }_{1}〉}〉$  is not solvable. If we take $\overline{x}=\left({x}_{1},1,\dots ,1\right)$  , this completes the proof.
We are now able to prove that $S\left(G\right)\subseteq R\left(G\right)$  . It is easy to see that $S\left(G/R\left(G\right)\right)=S\left(G\right)/R\left(G\right)$  . Factoring out $R\left(G\right)$  , we may assume that $G$  is semisimple (i.e. $R\left(G\right)=1$  ).
We have to prove that $S\left(G\right)=1$  .
According to [14,3.3.16, any finite semisimple group $G$  contains a unique maximal normal centreless completely reducible subgroup $CR\left(G\right)$  (by definition, CR means a direct product of finite nonabelian simple groups) which is called the CR-radical of $G$  . It is known that the centralizer of $CR\left(G\right)$  is trivial [14,proofof3.3.18(i). We call a product of the isomorphic factors in the decomposition of the $CR$  -radical an isotypic component of $G$  . Thus $CR\left(G\right)={H}_{1}×\cdots ×{H}_{t}$  , where ${H}_{i}$  is an isotypic component.
Any $y\in G$  acts (by conjugation) as an automorphism $\stackrel{^}{y}$  on $CR\left(G\right)$  and, correspondingly, on every isotypic component ${H}_{i}={T}_{i}^{{n}_{i}}$  where ${T}_{i}$  is a nonabelian simple group and ${n}_{i}\ge 1$  .
According to Lemma  3.3 if $\stackrel{^}{y}\ne 1$  then there exists $\overline{x}\in {H}_{i}$  such that the subgroup $〈{\overline{x}}^{〈\stackrel{^}{y}〉}〉$  is not solvable. However, the subgroup $〈\overline{x},y〉$  is solvable if and only if the subgroup $〈{\overline{x}}^{〈\stackrel{^}{y}〉}〉$  is solvable. Thus, if $y\in S\left(G\right)$  then $\stackrel{^}{y}=1.$  This means that $y$  belongs to the centralizer ${C}_{G}\left(CR\left(G\right)\right)$  which is trivial. Hence $S\left(G\right)=1$  .
The theorem is proved.
Corollary 3.4. Let $G$  be a finite group, let $y\in G$  , and let $〈{y}^{G}〉$  denote the minimal normal subgroup of $G$  containing $y$  . Then $〈{y}^{G}〉$  is solvable if and only if the subgroup $〈{y}^{〈x〉}〉$  is solvable for all $x\in G$  .

4 Linear groups and PI-groups

Theorem 4.1. Let $K$  be a field. If $G\le \text{GL}\left(n,K\right)$  , then $R\left(G\right)=S\left(G\right)$  .
• Proof. As noted earlier we have $R\left(G\right)\subseteq S\left(G\right)$  , and therefore it suffices to prove that the subgroup $H$  generated by the set $S\left(G\right)$  is solvable (and thus coincides with the radical).
Let ${H}_{1}=〈{g}_{1},...,{g}_{s}〉$  be a finitely generated subgroup of $H$  where all ${g}_{i}$  's are radical elements. Then ${H}_{1}$  is approximated by finite linear groups ${G}_{\alpha }={H}_{1}/{N}_{\alpha },\cap {N}_{\alpha }=1$  in dimension $n$  [9. Each ${G}_{\alpha }$  is finite and is generated by the images of radical elements which are radical as well, and thus ${G}_{\alpha }$  is solvable. Since all ${G}_{\alpha }$  's are linear in dimension $n$  , their derived length is bounded, say, by $k=k\left(n\right)$  . Thus the group ${H}_{1}$  has derived length at most $k$  . Each finitely generated subgroup of $H$  lies in some ${H}_{1}$  . Thus $H$  is locally solvable. Since $H$  is linear, it is solvable [18.
For the case of PI-groups we use some facts from [10, [12, [13.
Definition 4.2. A group $G$  is called a PI-group (PI-representable in terms of [10) if $G$  is a subgroup of the group of invertible elements of an associative PI-algebra over a field.
Linear groups are a particular case of PI-groups. It is known that every PI-group $G$  has a unique maximal locally solvable normal subgroup $R\left(G\right)$  called the locally solvable radical of $G$  and that the locally solvable radical of a finitely generated PI-group is solvable [10. (For arbitrary groups the locally solvable radical may not exist, and for arbitrary PIgroups the locally solvable radical is not necessarily solvable).
PI-groups have the following invariant series: $1◃{H}_{0}◃H◃G$  where ${H}_{0}$  is a locally nilpotent normal subgroup, $H/{H}_{0}$  is nilpotent and $G/H$  is a linear group over a cartesian sum of fields [13.
We want to show that in a PI-group $G$  the locally solvable radical coincides with $S\left(G\right)$  .
Let us introduce a useful notion of oversolvable group.
Definition 4.3. (cf. [12). A group $G$  is called oversolvable if it has an ascending normal series with locally nilpotent factors.
An arbitrary group $G$  has the oversolvable radical $\stackrel{~}{HP}\left(G\right)=\stackrel{~}{\eta }\left(G\right)$  (that is the unique maximal normal oversolvable subgroup). The quotient group $G/\stackrel{~}{\eta }\left(G\right)$  is semisimple with respect to the property of being locally nilpotent, i.e. $\eta \left(G/\stackrel{~}{\eta }\left(G\right)\right)=1$  where $\eta \left(G\right)$  is the locally nilpotent radical of $G$  (see [12for the above facts). If $G$  is finite, noetherian, or linear, $\stackrel{~}{\eta }\left(G\right)$  coincides with the solvable radical $R\left(G\right)$  [16.
Theorem 4.4. If $G$  is a PI-group, then $R\left(G\right)=\stackrel{~}{\eta }\left(G\right)=S\left(G\right)$  .
• Proof. We consider three cases. 1. $G\le {\text{GL}}_{n}\left(P\right)$  where $P$  is a field. 2. $G\le {\text{GL}}_{n}\left(K\right)$  where $K$  is a cartesian sum of fields. 3. General case.
Case 1. If $G\le {\text{GL}}_{n}\left(P\right)$  , where $P$  is a field, then $R\left(G\right)=S\left(G\right)$  by Theorem  4.1 .
Case 2. Suppose $G\le {\text{GL}}_{n}\left(K\right)$  , where $K={\oplus }_{s}{P}_{s}$  is a cartesian sum of fields. Consider the set of congruence subgroups ${U}_{s}$  of ${\text{GL}}_{n}\left(K\right)$  such that ${\text{GL}}_{n}\left(K\right)/{U}_{s}\sim ={\text{GL}}_{n}\left({P}_{s}\right)$  . Since ${\cap }_{s}{U}_{s}=1$  , the group $G$  lies in the cartesian product ${\prod }_{s}{\text{GL}}_{n}\left({P}_{s}\right).$  We have $G\subset {\text{GL}}_{n}\left(K\right)\subset {\prod }_{s}{\text{GL}}_{n}\left({P}_{s}\right)\to {\text{GL}}_{n}\left({P}_{s}\right)$  . Let $H$  be the subgroup in $G$  generated by the set $S\left(G\right)$  . It is enough to show that $H$  is solvable. Set ${U}_{s}^{\prime }=H\cap {U}_{s}$  . Then ${\cap }_{s}{U}_{s}^{\prime }=1$  . Each $H/{U}_{s}^{\prime }$  can be viewed as a subgroup in ${\text{GL}}_{n}\left({P}_{s}\right)$  and is therefore generated by the radical elements. Thus they are all solvable of bounded derived length. Therefore $H$  is solvable and $R\left(G\right)=S\left(G\right)$  .
Similar arguments give $R\left(G\right)=\stackrel{~}{\eta }\left(G\right)$  .
Case 3. Let us first show that $R\left(G\right)\subseteq S\left(G\right)$  . Let $g\in R\left(G\right)$  , $h\in G$  . Consider the subgroup ${G}_{0}=〈g,h〉$  . We have $g\in R\left(G\right)\cap {G}_{0}$  and, consequently, $g\in R\left({G}_{0}\right)$  . By [10, the locally solvable radical of a 2-generated group is solvable. So the group ${G}_{0}$  is solvable as a cyclic extension of a solvable group.
Now we want to show that $R\left(G\right)=\stackrel{~}{\eta }\left(G\right)$  . Let us first prove that $\stackrel{~}{\eta }\left(G\right)\subseteq R\left(G\right).$  We have to prove that the group $\stackrel{~}{\eta }\left(G\right)$  is locally solvable. We take a finitely generated subgroup ${G}_{0}$  in $\stackrel{~}{\eta }\left(G\right)$  and show that ${G}_{0}$  is solvable. Consider the locally solvable radical $R\left({G}_{0}\right)$  . Since ${G}_{0}$  is finitely generated, the radical $R\left({G}_{0}\right)$  is solvable [10. So it is enough to prove that the group ${G}_{0}/R\left({G}_{0}\right)$  is solvable. We use the following result about the structure of PI-groups [13: in every PI-group $G$  the quotient group $\stackrel{~}{\eta }\left(G\right)/\eta \left(G\right)$  is solvable. We have $\eta \left(G\right)\subseteq R\left(G\right)$  as a locally nilpotent subgroup. Apply this to ${G}_{0}$  . Since ${G}_{0}\subseteq \stackrel{~}{\eta }\left(G\right)$  , we have $\stackrel{~}{\eta }\left({G}_{0}\right)={G}_{0}$  .
Since $\stackrel{~}{\eta }\left({G}_{0}\right)/\eta \left({G}_{0}\right)$  is solvable and $\eta \left({G}_{0}\right)\subseteq R\left({G}_{0}\right)$  , the group $\stackrel{~}{\eta }\left(G\right)/R\left({G}_{0}\right)$  is solvable.
Thus ${G}_{0}/R\left({G}_{0}\right)$  is solvable, and hence so is ${G}_{0}$  . The inclusion $\stackrel{~}{\eta }\left(G\right)\subseteq R\left(G\right)$  is proved.
Let us prove the opposite inclusion $R\left(G\right)\subseteq \stackrel{~}{\eta }\left(G\right)$  . Recall that in every PI-group $G$  there is a normal subgroup $H$  which is an extension of a locally nilpotent group by a nilpotent group and such that $G/H$  lies in ${\text{GL}}_{n}\left(K\right)$  where $K$  is a cartesian sum of fields.
Then $H$  is oversolvable. Therefore $H\subseteq \stackrel{~}{\eta }\left(G\right)$  , and thus $H\subseteq R\left(G\right)$  . Consider the group $G/H$  and its subgroup $R\left(G\right)/H$  . This is a locally solvable normal subgroup in $G/H$  and thus lies in $R\left(G/H\right)$  . The group $G/H$  is linear and hence $R\left(G/H\right)=\stackrel{~}{\eta }\left(G/H\right)$  . Then $R\left(G\right)/H\subseteq \stackrel{~}{\eta }\left(G\right)/H=\stackrel{~}{\eta }\left(G/H\right)$  . Thus $R\left(G\right)\subseteq \stackrel{~}{\eta }\left(G\right)$  and $R\left(G\right)=\stackrel{~}{\eta }\left(G\right)$  .
We are now able to prove that $S\left(G\right)\subseteq R\left(G\right)$  . Let $g\in S\left(G\right)$  . Denote by $\overline{g}\in G/H$  its image under the natural projection. Then $\overline{g}\in R\left(G/H\right)$  and thus $\overline{g}\in \stackrel{~}{\eta }\left(G\right)/H.$  Then $g\in \stackrel{~}{\eta }\left(G\right)=R\left(G\right)$  .
The above theorem has an obvious consequence which can be viewed as a natural generalization of Thompson's theorem:
Corollary 4.5. A PI-group $G$  is locally solvable if and only if every two-generated subgroup of $G$  is solvable.
Remark 4.6. In linear groups the locally solvable radical is solvable. From the above theorem it follows that in PI-groups the locally solvable radical is solvable modulo the locally nilpotent radical. Indeed, $\stackrel{~}{\eta }\left(G\right)/\eta \left(G\right)$  is solvable [13, and $\stackrel{~}{\eta }\left(G\right)=R\left(G\right)$  by Theorem  4.4 .

5 Concluding Remarks

Let us observe that certain important classes of groups and Lie algebras can be explicitly characterized in terms of two-variable identities: one can mention here classical results for finite dimensional nilpotent Lie algebras (Engel) and finite nilpotent groups (Zorn [19) and their recently obtained counterparts for finite dimensional solvable Lie algebras [6and finite (or linear) solvable groups [3(see also [4). Moreover, Engel identities were used by Baer to characterize explicitly the nilpotent radical of an arbitrary finite (and, more generally, noetherian) group [1. Baer's theorem was extended to the locally nilpotent radical of linear groups and PI-groups [11, [13and to the nilpotent and the solvable radical of finite dimensional Lie algebras [2. These results give a certain hope for characterization of the solvable radical $R\left(G\right)$  of a finite group $G$  in similar, Engel-like terms. However, the corresponding Conjecture 3.2 (see also [2) is still far from being proved, and therefore less explicit descriptions of the solvable radical, such as the Thompson-like characterization of Theorem  1.1 , are very useful.
References

1. R. Baer, Engelsche Elemente Noetherscher Gruppen, Math. Ann. 133 (1957), 256–270.
2. T. Bandman, M. Borovoi, F. Grunewald, B. Kunyavskiĭ, and E. Plotkin, Engel-like characterization of radicals in finite dimensional Lie algebras and finite groups, preprint math.GR/0411463.
3. T. Bandman, G.-M. Greuel, F. Grunewald, B. Kunyavskiĭ, G. Pfister, and E. Plotkin, Two-variable identities for finite solvable groups, C.R. Acad. Sci. Paris, Ser. I 337 (2003), 581–586.
4. J. N. Bray, J. S. Wilson, and R. A. Wilson, A characterization of finite soluble groups by laws in two variables, Bull. London Math. Soc. 37 (2005), 179–186.
5. P. Flavell, Finite groups in which every two elements generate a soluble group, Invent. Math. 121 (1995), 279–285.
6. F. Grunewald, B. Kunyavskiĭ, D. Nikolova, and E. Plotkin, Two-variable identities in groups and Lie algebras, Zap. Nauch. Semin. POMI 272 (2000), 161–176; J. Math. Sci. (New York) 116 (2003), 2972–2981.
7. R. M. Guralnick and W. M. Kantor, The probability of generating a simple group, J. Algebra 234 (2000), 743–792.
8. T. Ionescu, On the generators of semi-simple Lie algebras, Linear Algebra and its Appl. 15 (1976), 271–292.
9. A. I. Malcev, On faithful representations of infinite groups of matrices, Mat. Sb. 8 (1940), 405–422; English transl. in Amer. Math. Soc. Transl. Ser. (2) 45 (1965), 1–18.
10. S. A. Pihtil'kov, On the prime radical of PI-representable groups, Mat. Zametki 72:5 (2002), 739–744; English transl. in Math. Notes 72:5 (2002), 682–686.
11. V. P. Platonov, Engel elements and the radical in PI-algebras and topological groups, Dokl. Akad. Nauk SSSR 161 (1965), 288–291; English transl. in Sov. Math. Dokl. 6 (1965), 412–415.
12. B. I. Plotkin, Radical groups, Mat. Sb. N.S. 37(79) (1955), 507–526; English transl. in Amer. Math. Soc. Transl. (2) 17 (1961), 9–28.
13. B. I. Plotkin, Notes on Engel groups and Engel elements in groups. Some generalizations, Preprint, available at http://arXiv.org/math.GR/0406100.
14. D. J. S. Robinson, A Course in the Theory of Groups, Springer-Verlag, New York, 1995.
15. A. Shalev, Probabilistic group theory, Groups St Andrews 1997 in Bath, II, London Math. Soc. Lecture Note Series 261, Cambridge University Press, Cambridge, 1999, pp. 648–678.
16. D. A. Suprunenko, Matrix Groups, Nauka, Moscow, 1972; English transl. in Transl. Math. Monographs, vol. 45, Amer. Math. Soc., Providence, RI, 1976.
17. J. Thompson, Non-solvable finite groups all of whose local subgroups are solvable, Bull. Amer. Math. Soc. 74 (1968), 383–437.
18. H. Zassenhaus, Beweis eines Satzes über diskrete Gruppen, Abh. Math. Sem. Univ. Hamburg 12:3/4 (1938), 289–312.
19. M. Zorn, Nilpotency of finite groups, Bull. Amer. Math. Soc. 42 (1936), 485–486.

Kunyavskiɪ and Plotkin: Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, ISRAEL E-mail address : kunyav@macs.biu.ac.il, plotkin@macs.biu.ac.il Shalev: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, Hebrew University of Jerusalem, 91904 Jerusalem, ISRAEL E-mail address : shalev@math.huji.ac.il