On the prime radical of PI-representable groups. (Q1810247)

The author calls a group \(G\) PI-representable if \(G\) is a subgroup of an associative \(F\)-algebra satisfying a polynomial identity, where \(F\) is a field. A normal subgroup \(P\) of \(G\) is called prime if whenever \(P\) contains the commutator \([A,B]\) of some normal subgroups \(A\) and \(B\), then \(P\) contains \(A\) or \(P\) contains \(B\). It is proved that if \(G\) is a PI-representable group, then \(G\) has a maximal locally solvable subgroup \(R(G)\), and \(R(G)\) is the intersection of the prime normal subgroups of \(G\). Moreover, if \(G\) is finitely generated, then \(R(G)\) is solvable. Examples are given for PI-representable groups which are not linear over a field.