×

Semilocal rings whose adjoint group is locally supersoluble. (English) Zbl 1219.16019

Let \(R\) be an associative ring, not necessarily with an identity element. Let \(R^{ad}\) be the adjoint semigroup of \(R\) under the operation \(a\circ b=a+b+ab\) for all \(a,b\in R\) with neutral element \(0\in R\). Let \(R^\circ\) be the adjoint group of \(R\), that is, the group of all invertible elements of the semigroup \(R^{ad}\). The Jacobson radical of \(R\) is its unique ideal \(J=\text{Jac}(R)\) which is maximal with respect to the condition that \(J\subseteq R^\circ\). A ring \(R\) is called radical if \(R=R^\circ\) which means that \(R=\text{Jac}(R)\). The ring \(R\) is Artinian if it satisfies the minimum condition for one-sided ideals and semilocal if the factor ring \(R/\text{Jac}(R)\) is Artinian.
Every ring \(R\) can be considered as a Lie ring under the Lie multiplication \([r,s]=rs-sr\) for all \(r,s\in R\). An additive subgroup \(L\) of \(R\) is a Lie-ideal if \([L,R]\subseteq L\), where \([L,R]\) is the additive subgroup of \(R\) generated by all commutators \([x,r]\) with \(x\in L\) and \(r\in R\). The ring \(R\) is Lie-nilpotent if it has a finite series \(0=L_0\subseteq L_1\subseteq\cdots L_n=R\) of Lie-ideals such that \([L_i,R]\subseteq L_{i-1}\) for all \(i\geqslant 1\). In this case \(R\) has also an ascending series of Lie-ideals whose factors are cyclic as additive groups. Each ring \(R\) with this latter property is called Lie-supersoluble. A group with an ascending series of normal subgroups whose factors are cyclic is called supersoluble. A ring \(R\) is locally Lie-nilpotent or locally Lie-supersoluble if every finitely generated subring of \(R\) is Lie-nilpotent or Lie-supersoluble, respectively.
In this paper the authors show that if \(R\) is an associative ring and \(R\) is radical, then the adjoint group \(R^\circ\) is locally supersoluble if and only if \(R^\circ\) is locally nilpotent and so \(R\) is locally Lie-nilpotent. Moreover, if \(R\) is semilocal and its adjoint group \(R^\circ\) is locally supersoluble, then \(R\) is locally Lie-supersoluble and contains a locally Lie-nilpotent ideal \(I\) of finite index such that the factor ring \(R/I\) is a direct sum of ideals each of which is isomorphic either to the Galois field \(\mathbb F_p\) of a prime order \(p\) or to the full matrix ring \(M_2(\mathbb F_2)\) over \(\mathbb F_2\).

MSC:

16N20 Jacobson radical, quasimultiplication
16N40 Nil and nilpotent radicals, sets, ideals, associative rings
16W10 Rings with involution; Lie, Jordan and other nonassociative structures
20F19 Generalizations of solvable and nilpotent groups
16U60 Units, groups of units (associative rings and algebras)
16L30 Noncommutative local and semilocal rings, perfect rings
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Amberg B., Sysak Ya. P.: Associative rings whose adjoint semigroup is locally nilpotent, Arch. Math. 76, 426–435 (2001) · Zbl 0986.16007 · doi:10.1007/PL00000453
[2] Amberg B., Sysak Ya. P.: On associative rings with locally nilpotent adjoint semigroup, Comm. Algebra 31, 129–138 (2003) · Zbl 1024.16011 · doi:10.1081/AGB-120016753
[3] Amberg B., Sysak Ya. P.: Semilocal rings with n-Engel multiplicative group. Arch. Math. 83, 416–421 (2004) · Zbl 1070.16022 · doi:10.1007/s00013-004-1113-0
[4] Amberg B., Sysak Ya.P.: Associative rings with metabelian adjoint group. J. Algebra 277, 456–473 (2004) · Zbl 1062.16028 · doi:10.1016/j.jalgebra.2004.02.028
[5] Dieudonne J.: La géométrie des groupes classiques, 3rd ed. Springer-Verlag, New York (1971)
[6] Fuchs L.: Infinite Abelian Groups, vol. II. Academic Press, New York and London (1973) · Zbl 0257.20035
[7] Hall P.: Finiteness conditions for soluble groups. Proc. London Math. Soc. 3(4), 419–436 (1954) · Zbl 0056.25603 · doi:10.1112/plms/s3-4.1.419
[8] Huzurbazar M.S.: The multiplicative group of a division ring. Dokl. Akad. Nauk SSR 131, 1268–1271 (1960)
[9] Ievstafiev R. Iu.: Artinian rings with supesolvable adjoint group. Arch. Math. 91, 12–19 (2008) · Zbl 1155.16023 · doi:10.1007/s00013-008-2679-8
[10] N. Jacobson, Structure of Rings. AMS Colloq. Publ. 37, Providence R.I., 1964. · Zbl 0117.03301
[11] Lewin J.: Subrings of finite index in finitely generated rings. J. Algebra 5, 84–88 (1967) · Zbl 0143.05303 · doi:10.1016/0021-8693(67)90027-0
[12] Mal’cev A.I.: Nilpotent semigroups. Uch. Zap. Ivanov. Gos. Ped. Inst., Ser. Fiz.-Mat. Nauki 4, 107–111 (1953)
[13] Neumann B.H., Taylor T.: Subsemigroups of nilpotent groups. Proc. Roy. Soc. London (Ser. A) 274, 1–4 (1963) · Zbl 0115.02502 · doi:10.1098/rspa.1963.0110
[14] Passman D.S.: The algebraic structure of group rings. Wiley Interscience, New York (1977) · Zbl 0368.16003
[15] Robinson D.J.S.: A course in the theory of groups. Springer-Verlag, New York (1996)
[16] Roseblade J.E.: Group rings of polycyclic groups. J. Pure Appl. Algebra 3, 307–328 (1973) · Zbl 0285.20008 · doi:10.1016/0022-4049(73)90034-0
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.