From Boolean Rings to Clean Rings

An element [Formula: see text] of a ring [Formula: see text] is called a quasi-idempotent if [Formula: see text] for some central unit [Formula: see text] of [Formula: see text], or equivalently, [Formula: see text], where [Formula: see text] is a central unit and [Formula: see text] is an idempotent of [Formula: see text]. A ring [Formula: see text] is called a quasi-Boolean ring if every element of [Formula: see text] is quasi-idempotent. A ring [Formula: see text] is called (strongly) quasi-clean if each of its elements is a sum of a quasi-idempotent and a unit (that commute). These rings are shown to be a natural generalization of the clean rings and strongly clean rings. An extensive study of (strongly) quasi-clean rings is conducted. The abundant examples of (strongly) quasi-clean rings state that the class of (strongly) quasi-clean rings is very larger than the class of (strongly) clean rings. We prove that an indecomposable commutative semilocal ring is quasi-clean if and only if it is local or [Formula: see text] has no image isomorphic to [Formula: see text]; For an indecomposable commutative semilocal ring [Formula: see text] with at least two maximal ideals, [Formula: see text]([Formula: see text]) is strongly quasi-clean if and only if [Formula: see text] is quasi-clean if and only if [Formula: see text], [Formula: see text] is a maximal ideal of [Formula: see text]. For a prime [Formula: see text] and a positive integer [Formula: see text], [Formula: see text] is strongly quasi-clean if and only if [Formula: see text]. Some open questions are also posed.

A [Formula: see text]-ring [Formula: see text] is called a nil [Formula: see text]-clean ring if every element of [Formula: see text] is a sum of a projection and a nilpotent. Nil [Formula: see text]-clean rings are the [Formula: see text]-version of nil-clean rings introduced by Diesl. This paper is about the nil [Formula: see text]-clean property of rings with emphasis on matrix rings. We show that a [Formula: see text]-ring [Formula: see text] is nil [Formula: see text]-clean if and only if [Formula: see text] is nil and [Formula: see text] is nil [Formula: see text]-clean. For a 2-primal [Formula: see text]-ring [Formula: see text], with the induced involution given by[Formula: see text], the nil [Formula: see text]-clean property of [Formula: see text] is completely reduced to that of [Formula: see text]. Consequently, [Formula: see text] is not a nil [Formula: see text]-clean ring for [Formula: see text], and [Formula: see text] is a nil [Formula: see text]-clean ring if and only if [Formula: see text] is nil, [Formula: see text]is a Boolean ring and [Formula: see text] for all [Formula: see text].

A ring R is considered a strongly 2-nil clean ring, or (strongly 2-NC ring for short), if each element in R can be expressed as the sum of a nilpotent and two idempotents that commute with each other. In this paper, further properties of strongly 2-NC rings are given. Furthermore, we introduce and explore a special type of strongly 2-NC ring where every unit is of order 2, which we refer to as a strongly 2-NC rings with U(R) = 2. It was proved that the Jacobson radical over a strongly 2-NC ring is a nil ideal, here, we demonstrated that the Jacobson radical over strongly 2-NC ring with U(R) = 2 is a nil ideal of characteristic 4. We compare this ring with other rings, since every SNC ring is strongly 2-NC, but not every unit of order 2, and if R is a strongly 2-NC with U(R) = 2, then R need not be SNC ring. In order to get N il(R) = 0, we added one more condition involving this ring.

The following theorem is proved: Suppose R is an associative ring and suppose J is the Jacobson radical of R. Suppose that for all x1, * *, xn in R, there exists a word wx... (x1, * * x), depending on x1, * *, x,,, in which at least one xi (i varies) is missing, and such that xi ... x, = w ,... .n(x1, , x). Then J is a nil ring of bounded index and R/J is finite. It is further proved that a commutative nil semigroup satisfies the above identity if and only if it is nilpotent. In this paper, we investigate the structure of an associative ring R with the property that, for all xl, * * * , x, in R, xl ... x = wxi.... xn(xl, * * *, Xn), where w is a word, depending on xl, * * *, xn, and where some xi (i varies) is missing in w. For such a ring R, we prove the Jacobson radical J is a nil ring of bounded index. We also show that R/J is finite. Finally, we show that a commutative nil semigroup satisfies the above identity if and only if it is nilpotent. In preparation for the proofs of the main results, we first introduce DEFINITION 1. Let n be a positive integer, and let S be a semigroup. We say that S is a fln-semigroup if, for all xl, * * *, xn in S, there exists a word w .(x, *1 , xn) consisting of a product of the xi's with some x1 (j varies) missing, such that xl ... xn=wxl....xn((xl, * * *, xn). A ring R is called a fln-ring if its multiplicative semigroup is a fln-semigroup. LEMMA 1. Let S be a finite semigroup or a nilpotent semigroup. Then S is a fln-semigroup, for some n. PROOF. First, suppose S is finite, of order n, and suppose xl, Xn+1 are any elements of S. Then xi=xj for some i>j, and hence X1 ... Xn+1 = X1 ... Xi ... Xi-lXjXi+l Xn+1 = W(X1, . . , Xi-1 Xi+1 , Xn+1) Thus S is a fln+l-semigroup. Next, suppose S is nilpotent, say, Sm= (0). Presented to the Society, January 18, 1972; received by the editors August 10, 1971 and, in revised form, October 6, 1971. AMS (MOS) subject classifications (1970). Primary 16A38, 16A48; Secondary 20M10. The author was supported by a National Science Foundation Graduate Fellowship. @ American Mathematical Society 1973

In this paper, we introduce the concepts of derivation of degree n, generalized derivation of degree n and ternary derivation of degree n, where n is a positive integer, and then we study the algebraic properties of these mappings. For instance, we study the image of derivations of degree n on algebras and in this regard we prove that, under certain conditions, every derivation of degree n on an algebra maps the algebra into its Jacobson radical. Also, we present some characterizations of these mappings on algebras. For example, under certain assumptions, we show that if f is an additive generalized derivation of degree n with an associated mapping d, then either f is a linear generalized derivation with the associated linear derivation d or f and d are identically zero. Some other related results are also established.

We answer the title question in the armative by showing that anyabelian weakly clean ring for which 2 belongs to its Jacobson radical (in particular, if 2 is nilpotent) has to be clean. Some constructive examples, one of which illustrates that this is no longer true removing the condition on the 2, are given as well.DOI : http://dx.doi.org/10.22342/jims.21.2.229.83-91

When is every matrix over a division ring a sum of an idempotent and a nilpotent?

In this paper we introduce a generalization of a Brauer graph algebra which we call a Brauer configuration algebra. As with Brauer graphs and Brauer graph algebras, to each Brauer configuration, there is an associated Brauer configuration algebra. We show that Brauer configuration algebras are finite dimensional symmetric algebras. After studying and analysing structural properties of Brauer configurations and Brauer configuration algebras, we show that a Brauer configuration algebra is multiserial; that is, its Jacobson radical is a sum of uniserial modules whose pairwise intersection is either zero or a simple module. The paper ends with a detailed study of the relationship between radical cubed zero Brauer configuration algebras, symmetric matrices with non-negative integer entries, finite graphs and associated symmetric radical cubed zero algebras.

For each natural number n we construct an algebra over a countable field such that the polynomial ring in n commuting indeterminates over this algebra is Jacobson radical but not a nil-ring. This answers a question of Amitsur.

Let R be a right noetherian ring of Krull dimension \( \kappa \) and denote by J its Jacobson radical. Using a new definition of the powers \( J^\alpha (\alpha \) any ordinal) it is shown that \( J^{\omega \kappa +n}=0 \) for some natural number n.

A commutative ring R is called J-rad clean in case, for any r ∈ R, there is an idempotent e ∈ R such that r−e ∈ U(R) and re ∈ J(R), where U(R) and J(R) denote the set of units and the Jacobson radical of R, respectively. Also, a ring R is called semiregular if R/J(R) is regular in the sense of von Neumann and idempotents lift modulo J(R). We demonstrate that these two concepts are, actually, equivalent and we portray a portion of the properties of this class of rings. In particular, as a direct application, we prove that the commutative group ring RG is J-rad clean if, and only if, R is a commutative J-rad clean ring and G is a torsion abelian group, provided that J(R) is nil.

The article investigates the classification with precision up to equivalence of involutions in the algebra of upper triangular matrices over the ring of integers of algebraic numbers of quadratic fields.The description of involutions in algebras represents one of the classical problems of ring theory. Standard examples of involutions are transposition in matrix algebra and conjugation in the field of complex numbers and the algebra of quaternions.In the case where the field 𝑃 has a characteristic different from two, a complete description of involutions with precision up to their equivalence in the algebra 𝑇𝑛(𝑃) for any natural number 𝑛 was obtained in [15]. In this work [3] involutions in the algebra of upper triangular matrices over commutative rings are studied. If the ring is a field of characteristic 2 or a Boolean ring, then necessary and sufficient conditions for the finiteness of the number of equivalence classesof involutions were found.This article is a continuation of the work of [3]. In the article [3], in particular, the number of equivalence classes of involutions in the algebras of upper triangular matrices over the ring of integers was found. In this regard, the natural result is the problem of describing involutions with precision up to their equivalence in algebras of upper triangular matrices over the ring of algebraic integers of quadratic fields, to which this work is devoted. In the work, the number of equivalence classes of involutions in such algebras is found and the method of finding representatives in each equivalence class is illustrated with examples. Upon receipt the main results in this work, the apparatus of the theory of Pell’s equations is significantly used.

In this article, we call a ring R right generalized semiregular if for any a ∈ R there exist two left ideals P, L of R such that lr(a) = P⊕ L, where P ⊆ Ra and Ra ∩ L is small in R. The class of generalized semiregular rings contains all semiregular rings and all AP-injective rings. Some properties of these rings are studied and some results about semiregular rings and AP-injective rings are extended. In addition, we call a ring R semi-π-regular if for any a ∈ R there exist a positive integer n and e 2 = e ∈ a n R such that (1 − e)a n ∈ J(R), the Jacobson radical of R. It is shown that a ring R is semi-π-regular if and only if R/J(R) is π-regular and idempotents can be lifted modulo J(R).