A ring R is called strongly clean if every element of R is the sum of a unit and an idempotent that commute. By SRC factorization, Borooah, Diesl, and Dorsey [3] completely determined when Mn(R) over a commutative local ring R is strongly clean. We generalize the notion of SRC factorization to commutative rings, prove that commutative n-SRC rings (n ≥ 2) are precisely the commutative local ring...

It is shown that every commutative arithmetic ring R has λ-dimension ≤ 3. An example of a commutative Kaplansky ring with λ-dimension 3 is given. Moreover, if R satisfies one of the following conditions, semi-local, semi-prime, self f p-injective, zero-Krull dimensional, CF or FSI then λ-dim(R) ≤ 2. It is also shown that every zero-Krull dimensional commu-tative arithmetic ring is a Kaplansky r...

The purpose of this paper is to investigate identities with derivations and automorphisms on semiprime rings. A classical result of Posner states that the existence of a nonzero centralizing derivation on a prime ring forces the ring to be commutative. Mayne proved that in case there exists a nontrivial centralizing automorphism on a prime ring, then the ring is commutative. In this paper, some...

We prove that the existence of the integral closure of a countable commutative ring R in a countable commutative ring S is equivalent to Arithmetical Comprehension (over RCA0). We also show that i) the Lying Over ii) the Going Up theorem for integral extensions of countable commutative rings and iii) the Going Down theorem for integral extensions of countable domains R ⊂ S, with R normal, are p...

The family of algebraic graphs A(n;K) defined over the finite commutative ring K were used for the design of different multivariate cryptographical algorithms (private and public keys, key exchange protocols). The encryption map corresponds to a special walk on this graph. We expand the class of encryption maps via the use of an automorphism group of A(n,K). In the case of characteristic 2 the ...

Let k be a commutative ring, A a commutative k-algebra and D the filtered ring of k-linear differential operators of A. We prove that: (1) The graded ring grD admits a canonical embedding θ into the graded dual of the symmetric algebra of the module ΩA/k of differentials of A over k, which has a canonical divided power structure. (2) There is a canonical morphism θ from the divided power algebr...

Given a circle-valued Morse function of a closed oriented manifold, we prove that Reidemeister torsion over a non-commutative formal Laurent polynomial ring equals the product of a certain non-commutative Lefschetz-type zeta function and the algebraic torsion of the Novikov complex over the ring. This paper gives a non-commutative generalization of the result of Hutchings-Lee on the abelian set...

The space of marked commutative rings on n given generators is a compact metrizable space. We compute the Cantor-Bendixson rank of any member of this space. For instance, the Cantor-Bendixson rank of the free commutative ring on n generators is ωn, where ω is the smallest infinite ordinal. More generally, we work in the space of finitely generated modules over a given commutative ring.