Involutions of RA Loops

Let L be an RA loop, that is, a loop whose loop ring over any coefficient ring R is an alternative, but not associative, ring. Let l bar right arrow l(theta) denote an involution on L and extend it linearly to the loop ring RL. An element alpha is an element of RL is symmetric if alpha(theta) = alpha and skew-symmetric if alpha(theta) = -alpha. In this paper, we show that there exists an involution making the symmetric elements of RL commute if and only if the characteristic of R is 2 or theta is the canonical involution on L, and an involution making the skew-symmetric elements of RL commute if and only if the characteristic of R is 2 or 4.

ANTISYMMETRIC ELEMENTS IN GROUP RINGS II

Let R be a commutative ring, G a group and RG its group ring. Let phi : RG -> RG denote the R-linear extension of an involution phi defined on G. An element x in RG is said to be phi-antisymmetric if phi(x) = -x. A characterization is given of when the phi-antisymmetric elements of RG commute. This is a completion of earlier work.

Locally nilpotent groups of units in tiled rings

We consider locally nilpotent subgroups of units in basic tiled rings A, over local rings O which satisfy a weak commutativity condition. Tiled rings are generalizations of both tiled orders and incidence rings. If, in addition, O is Artinian then we give a complete description of the maximal locally nilpotent subgroups of the unit group of A up to conjugacy. All of them are both nilpotent and maximal Engel. This generalizes our description of such subgroups of upper-triangular matrices over O given in M. Dokuchaev, V. Kirichenko, and C. Polcino Milies (2005) [3]. (C) 2010 Elsevier Inc. All rights reserved.