Related papers: A constructive counterpart of the subdirect repres…

We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…

Let $R$ be a commutative ring with identity, $S \subseteq R$ be a multiplicative set. In this paper, we establish that the intersection of all $S$-prime ideals in an $S$-reduced ring is $S$-zero. Also, we show that an $S$-Artinian reduced…

In the theory of commutative semirings, the lack of additive inverses creates a structural divergence between ideals and congruences that does not exist in ring theory. The aim of this article is to restore critical ideal-theoretic…

Absolute integral closures of general commutative unital rings are explored. All rings admit absolute integral closures, but in general they are not unique. Among the reduced rings with finitely many minimal prime ideals, finite products of…

For a commutative ring $R$ and a weakly proregular ideal $I$, we prove a simple universal property of the category of $L_0$-complete $R$-modules: it is the smallest replete exact abelian subcategory of the category of $R$-modules which…

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings…

A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…

Let $R$ be a commutative Noetherian ring. It is shown that $R$ is Artinian if and only if every $R$-module is good, if and only if every $R$-module is representable. As a result, it follows that every nonzero submodule of any representable…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

The following representation theorem is proven: A partially ordered commutative ring $R$ is a subring of a ring of almost everywhere defined continuous real-valued functions on a compact Hausdorff space $X$ if and only if $R$ is archimedean…

Grinshpon has proved that if $S$ is a commutative subring of a ring $R$ and $A\in M_n(S)$ is invertible in $M_n(R)$, then $det(A)$ is invertible in $R$. We give a very short proof of the result.

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…

We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…

A well-known theorem of Wedderburn asserts that a finite division ring is commutative. In a division ring the group of invertible elements is as large as possible. Here we will be particularly interested in the case where this group is as…

In this paper, new and significant advances on the understanding the structure of p.p. rings and their generalizations have been made. Especially among them, it is proved that a commutative ring $R$ is a generalized p.p. ring if and only if…

This paper aims at the following results: \begin{enumerate} \item The class of all $*$-regular rings forms a variety. \item A subdirectly irreducible $*$-regular ring $R$ is faithfully representable (i.e. isomorphic to a subring of an…

Auslander and Ringel-Tachikawa have shown that for an artinian ring R of finite representation type, every R-module is the direct sum of finitely generated indecomposable R-modules. In this paper, we will adapt this result to finite…

There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and…

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.