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}(x,y)$
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}(x,y)=1$
.
However, [2] contains only partial results towards Conjecture 3.2 . Fortunately, the “one and a half generation” theorem of Guralnick and Kantor [7,CorollaryofTh. Ionp. 745] allows 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
$\langle {x}^{\langle \sigma \rangle}\rangle $
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
$\langle {\overline{x}}^{\langle \sigma \rangle}\rangle $
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}=(\text{Aut}T{)}^{n}\u22cb{S}_{n}$
, where
${S}_{n}$
is the symmetric group. Then one can write
$\sigma =\left(\right({\sigma}_{1},...,{\sigma}_{n}),s)$
, 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
$(\overline{x}{)}^{\sigma}=({x}_{1},...,{x}_{n}{)}^{\sigma}=({x}_{1}^{{\sigma}_{1}},...,{x}_{n}^{{\sigma}_{n}}{)}^{s}=({x}_{k}^{{\sigma}_{k}},...)$
. 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 [
7]
there 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}=({x}_{1},...,{x}_{k},...)$
is as required: the group
$\langle \overline{x},{\overline{x}}^{\sigma}\rangle $
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 [
7]
in 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
$\langle {x}_{1},{\sigma}_{1}\rangle =\langle \tau ,{\sigma}_{1}\rangle $
, where
$\langle ,\rangle $
stands for the subgroup generated by elements in brackets, is not solvable. Hence the group
$\langle {x}_{1}^{\langle {\sigma}_{1}\rangle}\rangle $
is not solvable. If we take
$\overline{x}=({x}_{1},1,\dots ,1)$
, 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(G/R(G\left)\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 CRradical 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}\times \cdots \times {H}_{t}$
, where
${H}_{i}$
is an isotypic component.
Any
$y\in G$
acts (by conjugation) as an automorphism
$\hat{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
$\hat{y}\ne 1$
then there exists
$\overline{x}\in {H}_{i}$
such that the subgroup
$\langle {\overline{x}}^{\langle \hat{y}\rangle}\rangle $
is not solvable. However, the subgroup
$\langle \overline{x},y\rangle $
is solvable if and only if the subgroup
$\langle {\overline{x}}^{\langle \hat{y}\rangle}\rangle $
is solvable. Thus, if
$y\in S\left(G\right)$
then
$\hat{y}=1.$
This means that
$y$
belongs to the centralizer
${C}_{G}\left(CR\right(G\left)\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
$\langle {y}^{G}\rangle $
denote the minimal normal subgroup of
$G$
containing
$y$
. Then
$\langle {y}^{G}\rangle $
is solvable if and only if the subgroup
$\langle {y}^{\langle x\rangle}\rangle $
is solvable for all
$x\in G$
.
4 Linear groups and PIgroups
Theorem 4.1.
Let
$K$
be a field. If
$G\le \text{GL}(n,K)$
, 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}=\langle {g}_{1},...,{g}_{s}\rangle $
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 PIgroups we use some facts from [
10]
, [
12]
, [
13]
.
Definition 4.2.
A group
$G$
is called a PIgroup (PIrepresentable in terms of [
10]
) if
$G$
is a subgroup of the group of invertible elements of an associative PIalgebra over a field.
Linear groups are a particular case of PIgroups. It is known that every PIgroup
$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 PIgroup 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).
PIgroups have the following invariant series:
$1\u25c3{H}_{0}\u25c3H\u25c3G$
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 PIgroup
$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 (G/\stackrel{~}{\eta}(G\left)\right)=1$
where
$\eta \left(G\right)$
is the locally nilpotent radical of
$G$
(see [
12]
for 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 PIgroup, 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}=\langle g,h\rangle $
. 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 2generated 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 PIgroups [
13]
: in every PIgroup
$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 PIgroup
$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(G/H)$
. The group
$G/H$
is linear and hence
$R(G/H)=\stackrel{~}{\eta}(G/H)$
. Then
$R\left(G\right)/H\subseteq \stackrel{~}{\eta}\left(G\right)/H=\stackrel{~}{\eta}(G/H)$
. 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(G/H)$
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 PIgroup
$G$
is locally solvable if and only if every twogenerated 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 PIgroups 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 twovariable 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 [
6]
and 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 PIgroups [
11]
, [
13]
and 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, Engellike 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 Thompsonlike characterization of Theorem 1.1 , are very useful.
References

R. Baer, Engelsche Elemente Noetherscher Gruppen, Math. Ann. 133 (1957), 256–270.

T. Bandman, M. Borovoi, F. Grunewald, B. Kunyavskiĭ, and E. Plotkin, Engellike characterization of radicals in finite dimensional Lie algebras and finite groups, preprint math.GR/0411463.

T. Bandman, G.M. Greuel, F. Grunewald, B. Kunyavskiĭ, G. Pfister, and E. Plotkin, Twovariable identities for finite solvable groups, C.R. Acad. Sci. Paris, Ser. I 337 (2003), 581–586.

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.

P. Flavell, Finite groups in which every two elements generate a soluble group, Invent. Math. 121 (1995), 279–285.

F. Grunewald, B. Kunyavskiĭ, D. Nikolova, and E. Plotkin, Twovariable identities in groups and Lie algebras, Zap. Nauch. Semin. POMI 272 (2000), 161–176; J. Math. Sci. (New York) 116 (2003), 2972–2981.

R. M. Guralnick and W. M. Kantor, The probability of generating a simple group, J. Algebra 234 (2000), 743–792.

T. Ionescu, On the generators of semisimple Lie algebras, Linear Algebra and its Appl. 15 (1976), 271–292.

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.

S. A. Pihtil'kov, On the prime radical of PIrepresentable groups, Mat. Zametki 72:5 (2002), 739–744; English transl. in Math. Notes 72:5 (2002), 682–686.

V. P. Platonov, Engel elements and the radical in PIalgebras and topological groups, Dokl. Akad. Nauk SSSR 161 (1965), 288–291; English transl. in Sov. Math. Dokl. 6 (1965), 412–415.

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.

B. I. Plotkin, Notes on Engel groups and Engel elements in groups. Some generalizations, Preprint, available at http://arXiv.org/math.GR/0406100.

D. J. S. Robinson, A Course in the Theory of Groups, SpringerVerlag, New York, 1995.

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.

D. A. Suprunenko, Matrix Groups, Nauka, Moscow, 1972; English transl. in Transl. Math. Monographs, vol. 45, Amer. Math. Soc., Providence, RI, 1976.

J. Thompson, Nonsolvable finite groups all of whose local subgroups are solvable, Bull. Amer. Math. Soc. 74 (1968), 383–437.

H. Zassenhaus, Beweis eines Satzes über diskrete Gruppen, Abh. Math. Sem. Univ. Hamburg 12:3/4 (1938), 289–312.

M. Zorn, Nilpotency of finite groups, Bull. Amer. Math. Soc. 42 (1936), 485–486.
Kunyavskiɪ and Plotkin: Department of Mathematics, BarIlan University, 52900 Ramat Gan, ISRAEL Email 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 Email address : shalev@math.huji.ac.il