, , November 27, 2006

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

To Charles Leedham-Green on his 65th birthday

Theorem 1.1. Let

G

be a finite group, and let

R (G)

be the solvable radical of

G

(namely the maximal solvable normal subgroup of

G

). Then

R (G)

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.

Theorem 2.1. Let

L

be a finite dimensional Lie algebra defined over a field

k

of characteristic zero, and let

R (L)

be the solvable radical of

L

(namely the maximal solvable ideal of

L

). Then

R (L)

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 (L)$ , 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 (L)$ . 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 (L)$ , 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 [8] where 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 (L)$ . Consider the sequence of words $v_{n} (x, y)$ defined inductively by the following rule:
$v_{1} (x, y) = x, v_{n + 1} (x, y) = [v_{n} (x, y), [x, y]], . . .$ This sequence can be used for characterization of $R (L)$ : according to [2,Theorem3.7] , $y \in R (L)$ if and only if for any $x$ there exists $n$ such that $v_{n} (x, y) = 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} (x, y) \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).

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 (G)

the set of radical elements of

G

Proof. It suffices to prove that S ( G ) ⊆ R ( G ) . 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 (G)$ 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 σ be an automorphism of T . For any group T and x ∈ T , σ ∈ Aut T , denote by 〈 x 〈 σ 〉 〉 the minimal subgroup containing x and invariant under the automorphism σ .
Lemma 3.3. Suppose $T$ is a nonabelian simple group, and let $σ \in Aut (T^{n})$ .
If $σ \neq 1$ , then there exists $\bar{x} \in T^{n}$ such that the subgroup $〈 {\bar{x}}^{〈 σ 〉} 〉$ is not solvable.
- Proof. It is well known (see, for example, [14,3.3.20] ) that $Aut (T^{n}) = Aut (T) w r S_{n} = (Aut T)^{n} ⋋ S_{n}$ , where $S_{n}$ is the symmetric group. Then one can write $σ = ((σ_{1}, . . ., σ_{n}), s)$ , where $σ_{i} \in Aut T$ , $s \in S_{n}$ .
  Suppose $s \neq 1$ . In this case we prove that there is $\bar{x} \in T^{n}$ such that already the subgroup generated by $\bar{x}$ and ${\bar{x}}^{σ}$ is not solvable.
  We may assume that $s (k) = 1$ for some $k > 1$ . Then $(\bar{x})^{σ} = (x_{1}, . . ., x_{n})^{σ} = (x_{1}^{σ_{1}}, . . ., x_{n}^{σ_{n}})^{s} = (x_{k}^{σ_{k}}, . . .)$ . Now we can use the above cited “one and a half generation” theorem by Guralnick and Kantor. Choose $\bar{x}$ so that $x_{1} \neq 1$ . Since $T$ is simple, according to [7] there is $b \in T$ such that $b$ and $x_{1}$ generate $T$ . One can choose $\bar{x}$ so that $x_{k}^{σ_{k}} = b$ (put $x_{k} = b^{σ_{k}^{- 1}}$ ). With such a choice of $x_{1}$ and $x_{k}$ , the element $\bar{x} = (x_{1}, . . ., x_{k}, . . .)$ is as required: the group $〈 \bar{x}, {\bar{x}}^{σ} 〉$ cannot be solvable since the first components of $\bar{x}$ and ${\bar{x}}^{σ}$ 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 $σ_{1}$ . This group is almost simple and once again we can use [7] in order to find for $σ_{1} \in T_{1}$ an element $τ \in T_{1}$ such that $σ_{1}$ and $τ$ generate the subgroup which contains the socle of $T_{1}$ and thus is not solvable. Since $τ = x_{1} σ_{1}^{m}$ for some integer $m$ and some $x_{1} \in T$ , we conclude that the subgroup $〈 x_{1}, σ_{1} 〉 = 〈 τ, σ_{1} 〉$ , where $〈, 〉$ stands for the subgroup generated by elements in brackets, is not solvable. Hence the group $〈 x_{1}^{〈 σ_{1} 〉} 〉$ is not solvable. If we take $\bar{x} = (x_{1}, 1, \dots, 1)$ , this completes the proof.
  □
We are now able to prove that S ( G ) ⊆ R ( G ) . It is easy to see that S ( G / R ( G ) ) = S ( G ) / R ( G ) . Factoring out R ( G ) , we may assume that G is semisimple (i.e. R ( G ) = 1 ).
We have to prove that S ( G ) = 1 .
According to [14,3.3.16] , any finite semisimple group G contains a unique maximal normal centreless completely reducible subgroup C R ( G ) (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 C R ( G ) is trivial [14,proofof3.3.18(i)] . We call a product of the isomorphic factors in the decomposition of the C R -radical an isotypic component of G . Thus C R ( G ) = H 1 × ⋯ × H t , where H i is an isotypic component.
Any y ∈ G acts (by conjugation) as an automorphism y ^ on C R ( G ) and, correspondingly, on every isotypic component H i = T i n i where T i is a nonabelian simple group and n i ≥ 1 .
According to Lemma 3.3 if y ^ ≠ 1 then there exists x ¯ ∈ H i such that the subgroup 〈 x ¯ 〈 y ^ 〉 〉 is not solvable. However, the subgroup 〈 x ¯ , y 〉 is solvable if and only if the subgroup 〈 x ¯ 〈 y ^ 〉 〉 is solvable. Thus, if y ∈ S ( G ) then y ^ = 1 . This means that y belongs to the centralizer C G ( C R ( G ) ) which is trivial. Hence S ( G ) = 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

Theorem 4.1. Let

K

be a field. If

G \leq GL (n, K)

, then

R (G) = S (G)

Proof. As noted earlier we have $R (G) \subseteq S (G)$ , and therefore it suffices to prove that the subgroup $H$ generated by the set $S (G)$ 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_{α} = H_{1} / N_{α}, \cap N_{α} = 1$ in dimension $n$ [9] . Each $G_{α}$ is finite and is generated by the images of radical elements which are radical as well, and thus $G_{α}$ is solvable. Since all $G_{α}$ 's are linear in dimension $n$ , their derived length is bounded, say, by $k = k (n)$ . 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] . □

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.

Definition 4.3. (cf. [12] ). A group

G

is called oversolvable if it has an ascending normal series with locally nilpotent factors.

Theorem 4.4. If

G

is a PI-group, then

R (G) = \tilde{η} (G) = S (G)

Proof. We consider three cases. 1. $G \leq {GL}_{n} (P)$ where $P$ is a field. 2. $G \leq {GL}_{n} (K)$ where $K$ is a cartesian sum of fields. 3. General case.
Case 1. If $G \leq {GL}_{n} (P)$ , where $P$ is a field, then $R (G) = S (G)$ by Theorem 4.1 .
Case 2. Suppose $G \leq {GL}_{n} (K)$ , where $K = \oplus_{s} P_{s}$ is a cartesian sum of fields. Consider the set of congruence subgroups $U_{s}$ of ${GL}_{n} (K)$ such that ${GL}_{n} (K) / U_{s} \sim = {GL}_{n} (P_{s})$ . Since $\cap_{s} U_{s} = 1$ , the group $G$ lies in the cartesian product $\prod_{s} {GL}_{n} (P_{s}) .$ We have $G \subset {GL}_{n} (K) \subset \prod_{s} {GL}_{n} (P_{s}) \to {GL}_{n} (P_{s})$ . Let $H$ be the subgroup in $G$ generated by the set $S (G)$ . It is enough to show that $H$ is solvable. Set $U_{s}^{'} = H \cap U_{s}$ . Then $\cap_{s} U_{s}^{'} = 1$ . Each $H / U_{s}^{'}$ can be viewed as a subgroup in ${GL}_{n} (P_{s})$ and is therefore generated by the radical elements. Thus they are all solvable of bounded derived length. Therefore $H$ is solvable and $R (G) = S (G)$ .
Similar arguments give $R (G) = \tilde{η} (G)$ .
Case 3. Let us first show that $R (G) \subseteq S (G)$ . Let $g \in R (G)$ , $h \in G$ . Consider the subgroup $G_{0} = 〈 g, h 〉$ . We have $g \in R (G) \cap G_{0}$ and, consequently, $g \in R (G_{0})$ . 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 (G) = \tilde{η} (G)$ . Let us first prove that $\tilde{η} (G) \subseteq R (G) .$ We have to prove that the group $\tilde{η} (G)$ is locally solvable. We take a finitely generated subgroup $G_{0}$ in $\tilde{η} (G)$ and show that $G_{0}$ is solvable. Consider the locally solvable radical $R (G_{0})$ . Since $G_{0}$ is finitely generated, the radical $R (G_{0})$ is solvable [10] . So it is enough to prove that the group $G_{0} / R (G_{0})$ is solvable. We use the following result about the structure of PI-groups [13] : in every PI-group $G$ the quotient group $\tilde{η} (G) / η (G)$ is solvable. We have $η (G) \subseteq R (G)$ as a locally nilpotent subgroup. Apply this to $G_{0}$ . Since $G_{0} \subseteq \tilde{η} (G)$ , we have $\tilde{η} (G_{0}) = G_{0}$ .
Since $\tilde{η} (G_{0}) / η (G_{0})$ is solvable and $η (G_{0}) \subseteq R (G_{0})$ , the group $\tilde{η} (G) / R (G_{0})$ is solvable.
Thus $G_{0} / R (G_{0})$ is solvable, and hence so is $G_{0}$ . The inclusion $\tilde{η} (G) \subseteq R (G)$ is proved.
Let us prove the opposite inclusion $R (G) \subseteq \tilde{η} (G)$ . 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 ${GL}_{n} (K)$ where $K$ is a cartesian sum of fields.
Then $H$ is oversolvable. Therefore $H \subseteq \tilde{η} (G)$ , and thus $H \subseteq R (G)$ . Consider the group $G / H$ and its subgroup $R (G) / 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) = \tilde{η} (G / H)$ . Then $R (G) / H \subseteq \tilde{η} (G) / H = \tilde{η} (G / H)$ . Thus $R (G) \subseteq \tilde{η} (G)$ and $R (G) = \tilde{η} (G)$ .
We are now able to prove that $S (G) \subseteq R (G)$ . Let $g \in S (G)$ . Denote by $\bar{g} \in G / H$ its image under the natural projection. Then $\bar{g} \in R (G / H)$ and thus $\bar{g} \in \tilde{η} (G) / H .$ Then $g \in \tilde{η} (G) = R (G)$ . □

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,

\tilde{η} (G) / η (G)

is solvable [13] , and

\tilde{η} (G) = R (G)

by Theorem 4.4 .

November 27, 2006

Boris Kunyavskiĭ, Eugene Plotkin, and Aner Shalev