An associative ring R with unit element is called semilocal if R modulo its Jacobson radical is an artinian ring. It is proved that the multiplicative group R * of a semilocal ring R generated by R * satisfies an n-Engel condition for some positive integer n if and only if R is m-Engel as a Lie ring for some positive integer m depending only on n.
Introduction.Let R be an associative ring with a unit element 1. The group of all invertible elements of R is called the multiplicative group of R and is denoted by R * . The Jacobson radical of R is its unique ideal J which is maximal with respect to the condition that the set 1 + J is a normal subgroup of R * . It is easy to see that the factor group R * /(1 + J ) coincides with the multiplicative group (R/J ) * of R/J . The ring R is artinian if the minimal condition for the one-sided ideals of R is satisfied, and R is a division ring if every non-zero element of R is invertible. The ring R is local if the factor ring R/J is a division ring and R is semilocal if R/J is an artinian ring. It is well known that in the latter case R/J is a direct sum of rings each of which is isomorphic to a ring of square matrices over a division ring.Recall that every ring R may be considered as a Lie ring under the Lie multiplication [r, s] = rs − sr for all r, s ∈ R. If r 1 , r 2 , . . . are elements of R, the Lie-commutators [r 1 , . . . , r n+1 ] are defined inductively by [r 1 , . . . , r n+1 ] = [[r 1 , . . . , r n ], r n+1 ] for all n 2. The ring R is called Lie nilpotent of class n, if [r 1 , . . . , r n+1 ] = 0 for all r 1 , . . . r n+1 of R and n is the least integer with this property. Moreover, R is Engel if [r, s, . . . , s] = 0 for each pair of elements r and s of R, and n-Engel if s appears exactly n times. Also, R is a locally Lie nilpotent ring if every finitely generated subring of R is Lie nilpotent. Obviously in this case R is locally nilpotent as a Lie ring. Note that nilpotent, Engel and n-Engel groups are defined in a corresponding way where the usual group commutator replaces the