Matrices over Zhou nil-clean rings

A ring R is Zhou nil-clean if every element in R is the sum of two tripotents and a nilpotent that commute. Let R be a Zhou nil-clean ring. If R is 2-primal (of bounded index), we prove that every square matrix over R is the sum of two tripotents and a nilpotent. These provide a large class of rings over which every square matrix has such decompositions by tripotent and nilpotent matrices.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Artinian rings with nilpotent adjoint group

Let R be an Artinian ring (not necessarily with unit element), let Z(R) be its center, and let R° be the group of invertible elements of the ring R with respect to the operation a ∘ b = a + b + ab. We prove that the adjoint group R° is nilpotent and the set Z(R) + R° generates R as a ring if and only if R is the direct sum of finitely many ideals each of which is either a nilpotent ring or a local ring with nilpotent multiplicative group. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 3, pp. 417–426, March, 2006.     

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.     

Conjugacy Classes and Invariant Subrings of R-Automorphisms of R[x]

We consider the group G of R-automorphisms of the polynomial ring R[x] in the case where the ring R has nonzero nilpotent elements. Little is known about G in this case, and because of the importance of G in understanding questions involving the polynomial ring R[x], we initiate here several lines of investigation. We do this by examining in detail examples involving the ring of integers modulo n. If R is a local ring with maximal ideal m such that R/m = ?₂ and m ² = (0), we describe more explicitly the structure of G and determine all rings of invariants of R[x] with respect to subgroups of G.     

FINITE RINGS WITH COMMUTING NILPOTENT ELEMENTS

As a generalization of Wedderburn's theorem, Herstein [5] proved that a finite ring R is commutative, if all nilpotent elements are contained in the center of R. However a finite ring with commuting nilpotent elements is not necessarily commutative. Recently, in [9] and [10], Simons described the structure of finite rings R with J(R)² = 0 in a variety with definable principal congruences. In this paper, we will consider the difference between the finite commutative rings and the finite rings in which any two nilpotent elements commute with each other. As a consequence, we describe the structure of finite rings R with [J(R), J(R)] = 0 in a variety with definable principal congruences.     

On the Representation of Compact Nilpotent Rings by Triangular Matrices

We prove that every compact nilpotent ring R of characteristic p > 0 can be embedded in a ring of upper triangular matrices over a compact commutative ring. Furthermore, we prove that every compact topologically nilpotent ring R of characteristic p > 0, is embedded in a ring of infinite triangular matrices over \mathbbF_p^w(R)\mathbb{F}_{p}^{w(R)}.     

Structure of the automorphism group for partially commutative class two nilpotent groups

Let R be a ring, which is either a ring of integers or a field of zero characteristic. For every finite graph Γ, we construct an R-arithmetic linear group H(Γ). The group H(Γ) is realized as the factor automorphism group of a partially commutative class two nilpotent R-group G _Γ. Also we describe the structure of the entire automorphism group of a partially commutative nilpotent R-group of class two.     

A nilregular element property

An element a of a commutative ring R is nilregular if and only if x is nilpotent whenever ax is nilpotent. More generally, an ideal I of R is nilregular if and only if x is nilpotent whenever ax is nilpotent for all a ∈ I . We give a direct proof that if R is Noetherian, then every nilregular ideal contains a nilregular element. In constructive mathematics, this proof can then be seen as an algorithm to produce nilregular elements of nilregular ideals whenever R is coherent, Noetherian, and discrete. As an application, we give a constructive proof of the Eisenbud-Evans-Storch theorem that every algebraic set in n-dimensional affine space is the intersection of n hypersurfaces.Received: 6 September 2004     

The ring of endomorphisms of a finite dimensional module

LetS denote the ring of endomorphisms of a finite dimensional moduleM _R. Necessary and sufficient conditions for a nil subring ofS to be nilpotent are given. We place conditions onM _R so that every nil subring ofS will be nilpotent.     

On Locally Nilpotent Subgroups of GL 1(D)

In this article we study locally nilpotent subgroups of D*: = GL ₁(D), where D is a division ring. It is proved that every locally nilpotent subnormal subgroup of D* is central. If D is algebraic over its centre then every locally solvable subnormal subgroup of D* is central. Also, in this case, it is shown that every locally nilpotent maximal subgroup of D* can occur as the multiplicative group of some maximal subfield of D.     

Universal equivalence of partially commutative nilpotent groups

We prove some necessary and sufficient conditions of the universal equivalence of the nilpotent R-groups of class 2 defined by trees, with R a binomial Euclidean ring.     

Generalization of Nilpotency of Ring Elements to Module Elements

We define nilpotent and strongly nilpotent elements of a module M and show that the set 𝒩 _s (M) of all strongly nilpotent elements of M over a commutative unital ring R coincides with the classical prime radical β _cl (M) the intersection of all classical prime submodules of M.     

On minimal strongly prime ideals

In this paper we give some characterizations of a ring Rwhose unique maximal nil ideal N _r (R) coincides with the set of all its nilpotent elements N(R) by using its minimal strongly prime ideals.     

On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.     

The Subgroup Normalizer Problem for Integral Group Rings of Some Nilpotent and Metacyclic Groups

For a group G and a subgroup H of G, this article discusses the normalizer of H in the units of a group ring RG. We prove that H is only normalized by the “obvious” units, namely products of elements of G normalizing H and units of RG centralizing H, provided H is cyclic. Moreover, we show that the normalizers of all subgroups of certain nilpotent and metacyclic groups in the corresponding group rings are as small as possible. These classes contain all dihedral groups, all finite nilpotent groups, and all finite groups with all Sylow subgroups being cyclic.     

Skew Group Rings which are Semi-Hereditary Orders and Prüfer Orders in Simple Artinian Rings

Let R be a commutative ring, let G be a finite group acting on R as automorphisms of R and let R * G be the skew group ring. By using the decomposition subgroups of G, the inertial subgroups of G, the properties of the coefficient ring R and the properties of the fixed subring R ^G , some necessary and sufficient conditions for R * G to be a prime Goldie ring, a semi-hereditary order in a simple Artinian ring, or a Prüfer order in a simple Artinian ring are given.     

On <Emphasis Type="Italic">p</Emphasis>-nilpotence and solubility of groups

Recall a result due to O. J. Schmidt that a finite group whose proper subgroups are nilpotent is soluble. The present note extends this result and shows that if all non-normal maximal subgroups of a finite group are nilpotent, then (i) it is soluble; (ii) it is p-nilpotent for some prime p; (iii) if it is not nilpotent, then the number of prime divisors contained in its order is between 2 and k + 2, where k is the number of normal maximal subgroups which are not nilpotent.