Semilocal rings with <Emphasis Type="Italic">n</Emphasis>-Engel multiplicative group

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.Received: 21 January 2003     

Lie properties of symmetric elements in group rings II

Let F be a field of characteristic different from 2, and G a group with involution ∗. Write (FG)⁺ for the set of elements in the group ring FG that are symmetric with respect to the induced involution. Recently, Giambruno, Polcino Milies and Sehgal showed that if G has no 2-elements, and (FG)⁺ is Lie nilpotent (resp. Lie n-Engel), then FG is Lie nilpotent (resp. Lie m-Engel, for some m). Here, we classify the groups containing 2-elements such that (FG)⁺ is Lie nilpotent or Lie n-Engel.     

Local rings whose multiplicative group is nilpotent

We prove that the upper central chain of the multiplicative group of a local ring R coincides with the chain of the multiplicative group of terms of the upper central chain of the associated Lie ring of R. Received: 30 January 2002     

Rings of quotients of f-rings by gabriel filters of ideals

The article examines the role of Gabriel filters of ideals in the ontext of semiprime f-rings. It is shown that for every 2-convex semiprime f-ring Aand every multiplicative filter B of dense ideals the ring of quotients of A by B, namely the direct limit of the Hom _A (I, A) over all I∈ B, is an l-subring of QA, the maximum ring of quotients. Relative to the category of all commutative rings with identity, it is shown that for every 2-convex semiprime f-ring A qA, the classical ring of quotients, is the largest flat epimorphic extension of A. If Ais also a Prüfer ring then it follows that every extension of Ain qA is of the form S ^-1A for a suitable multiplicative subset S. The paper also examines when a Utumi ring of quotients of a semiprime f-ring is obtained from a Gabriel filter. For a ring of continuous functions C(X), with Xcompact, this is so for each C(U) and C ^*(U), when Uis dense open, but not for an arbitrary direct limit of C(U),taken over a filter base of dense open sets. In conclusion, it is shown that, for a complemented semiprime f-ring A, the ideals of Awhich are torsion radicals with respect to some hereditary torsion theory are precisely the intersections of minimal prime ideals of A.     

Semilocal rings whose adjoint group is locally supersoluble

An associative ring R, not necessarily with an identity element, is called semilocal if R modulo its Jacobson radical is an artinian ring. It is proved that if the adjoint group of a semilocal ring R is locally supersoluble, then R is locally Lie-supersoluble and its Jacobson radical is contained in a locally Lie-nilpotent ideal of finite index in R.     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

Commutative Semilocal Rings Whose Additive or Multiplicative Groups Have Finite Rank

ABSTRACT

Let R be an infinite semilocal ring. Then R is not finitely generated, neither the additive group R(+), nor the multiplicative group R? (of invertible elements) is minimax and at least one of these groups has infinite Prüfer rank.     

Rings whose multiplicative endomorphisms are power functions

Let R be a commutative ring. For any positive integer m, the power function f:R→R defined by f(x):=x ^m is easily seen to be an endomorphism of the multiplicative semigroup (R,?). In this note, we characterize the commutative rings R with identity for which every multiplicative endomorphism of (R,?) is equal to a power function. Specifically, we show that every endomorphism of (R,?) is a power function if and only if R is a finite field.     

Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators

Let R be a ring and M(R) the set consisting of zero and primitive idempotents of R. We study the rings R for which M(R) is multiplicative. It is proved that if R has a complete finite set of primitive orthogonal idempotents, then R is a finite direct product of connected rings precisely when M(R) is multiplicative. We prove that if R is a (von Neumann) regular ring with M(R) multiplicative, then every primitive idempotent in R is central. It is also shown that this does not happen even in semihereditary and semiregular rings. Let R be an arbitrary ring with M(R) multiplicative and e ∈ R be a primitive idempotent, then for every unit u ∈ R, it is proved that eue is a unit in eRe. We also prove that if M(R) is multiplicative, then two primitive idempotents e and f in R are conjugates, i.e., f = ueu ^?1 for some u ∈ U(R), if and only if ef ≠ 0.     

On Orderable Poly Engel Groups

It is known that an orderable n-Engel group is nilpotent. We show that an orderable group that is an extension of an n-Engel group by an n-Engel group is nilpotent-by-nilpotent. However, a finitely generated orderable poly n-Engel group need not be solvable in general.     

On Residually Finite Groups with Engel-like Conditions

Let m, n be positive integers. Suppose that G is a residually finite group in which for every element x ∈ G there exists a positive integer q = q(x) ≤ m such that x^q is left n-Engel. We show that G is locally virtually nilpotent. Further, let w be a multilinear commutator and G a residually finite group in which for every product of at most 896 w-values x there exists a positive integer q = q(x) dividing m such that x^q is left n-Engel. Then w(G) is locally virtually nilpotent.     

On Finitely Annihilated Modules and Artinian Rings

Let R be a ring. An R-module M is finitely annihilated if the annihilator of M is the annihilator of a finite subset of M. It is proved that if R has right socle S then the ring R/S is right Artinian if and only if every singular right R-module is finitely annihilated. Moreover, a right Noetherian ring R is right Artinian if and only if every uniform right R-module is finitely annihilated. In addition, a (right and left) Noetherian ring is (right and left) Artinian if and only if every injective right R-module is finitely annihilated. This paper will form part of the Ph.D. thesis at the University of Glasgow of the second author. He would like to thank the EPSRC for their financial support     

On locally graded groups with an Engel condition on infinite subsets

A group G is said to be in E_k^*E_k^* (k a positive integer), if every infinite subset of G contains a pair of elements that generate a k-Engel group.¶It is shown that a finitely generated locally graded group G in E_k^*E_k^* is a finite-by- (k-Engel) group, in particular a finite extension of a k-Engel group.     

The lie n-engel property in group rings

Let FGbe the group ring of a group Gover a field Fwhose characteristic is p≠ 2 Let ? denote the involution on FGwhich sends each group element to its inverse. Let (FG)⁺and (FG)^–denote, respectively, the sets of symmetric and skew elements with respect to ?.The conditions under which the group ring is Lie n-Engel for some nare known.We show that if either (FG)⁺or (FG)^–- is Lie n-Engel, and Gis devoid of 2-elements, then FGis Lie m-Engel for some m. Furthermore, we completely classify the remaining groups for which (FG)⁺is Lie n-Engel.     

TORSION-FREE ABELIAN GROUPS WITH FINITE RANK ENDOMORPHISM RINGS

Abstract

We show that if A and C are torsion-free abelian groups with ∩{ker f|f: A → C} = 0 = ∩{ker g|g: C → A}, and if A has a left Artinian quasi-endomorphism ring then A and C share a nonzero quasi-summand. Some consequences explored.     

On Artinian rings satisfying the Engel condition

Let R be an Artinian ring, not necessarily with a unit, and let R ^o be the group of all invertible elements of R with respect to the operation a o b = a + b + ab. We prove that the group R ^o is a nilpotent group if and only if it is an Engel group and the quotient ring of the ring R by its Jacobson radical is commutative. In particular, R ^o is nilpotent if it is a weakly nilpotent group or an n-Engel group for some positive integer n. We also establish that the ring R is strictly Lie-nilpotent if and only if it is an Engel ring and the quotient ring of the ring R by its Jacobson radical is commutative. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 9, pp. 1264–1270, September, 2006.     

On Isolated Submodules

Let R be a ring with identity and let M be a unital left R-module. A proper submodule L of M is radical if L is an intersection of prime submodules of M. Moreover, a submodule L of M is isolated if, for each proper submodule N of L, there exists a prime submodule K of M such that N ? K but L ? K. It is proved that every proper submodule of M is radical (and hence every submodule of M is isolated) if and only if N ∩ IM = IN for every submodule N of M and every (left primitive) ideal I of R. In case, R/P is an Artinian ring for every left primitive ideal P of R it is proved that a finitely generated submodule N of a nonzero left R-module M is isolated if and only if PN = N ∩ PM for every left primitive ideal P of R. If R is a commutative ring, then a finitely generated submodule N of a projective R-module M is isolated if and only if N is a direct summand of M.     

Reduction of structure for torsors over semilocal rings

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H ¹(R, S) → H ¹(R, G) is surjective for every semilocal ring R containing k. In other words, G-torsors over Spec(R) admit reduction of structure to S. We also show that the natural map H ¹(X, S) → H ¹(X, G) is surjective in several other contexts, under suitable assumptions on the base ring k, the scheme X/k and the group scheme G/k. These results have already been used to study loop algebras and essential dimension of connected algebraic groups in prime characteristic. Additional applications are presented at the end of this paper. V. Chernousov was partially supported by the Canada Research Chairs Program and an NSERC research grant. Z. Reichstein was partially supported by NSERC Discovery and Accelerator Supplement grants.     

A NOTE ON LEFT STROUGLY NIL AND LEFT STROUGLY NILPOTENT

Abstract

In [2] van der Walt called a left ideal L of a ring A, left strongly nil, if given 1 ε L and k ε K, K a left ideal. there is an n such that (1+k)ⁿ ε K. L is called left strongly nilpotent if for any left ideal K there exists an m such that (L+K)^m ? K. In this paper we will prove that if A is a left artinian ring (not necessarily with unity) then every left strongly nil left ideal is left strongly nilpotent. This result is a generalization of the main theorem of [2].     

Mean-Value Theorems for Multiplicative Functions on Additive Arithmetic Semigroups via Halász’s Method

 We extend the mean-value theorems for multiplicative functions f on additive arithmetic semigroups, which satisfy the condition ∣f(a)∣≤1, to a wider class of multiplicative functions f for which ∣f(a)∣ is bounded in some average sense, via Halász’s method in classical probabilistic number theory.