Related papers: Maximal ideals in countable rings, constructively
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a…
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…
We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…
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…
Completely prime right ideals are introduced as a one-sided generalization of the concept of a prime ideal in a commutative ring. Some of their basic properties are investigated, pointing out both similarities and differences between these…
It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$…
Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly…
We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let…
In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely…
Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…
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…
It has been a well-known fact since Euclid's time that there exist infinitely many rational primes. Two natural questions arise: In which other rings, sufficiently similar to the integers, are there infinitely many irreducible elements? Is…
The ring of periodic distributions on ${\mathbb{R}}^{\tt d}$ with usual addition and with convolution is considered. Via Fourier series expansions, this ring is isomorphic to the ring ${\mathcal{S}}'({\mathbb{Z}}^{\tt d})$ of all maps…
We first show a counter intuitive result that in the ring of real valued continuous functions on $[0,1]$ non maximal prime ideals exist. This is a standard proof and a well known result. Interestingly, a non maximal prime ideal in this ring…
The main result in this paper is to supply a recursive formula, on the number of minimal primes, for the colength of a fractional ideal in terms of the maximal points of the value set of the ideal itself. The fractional ideals are taken in…
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…
In this paper we study strongly hollow ideals and completely strongly hollow ideals in commutative rings without finiteness assumptions. We establish basic structural properties, including maximality phenomena and permanence under quotients…
Let Q be a (non-unital) simple ring. A nonempty subset S of Q is said to have zero product if S^2=0. We classify all maximal zero product subsets of Q. We also describe the relationship between the maximal zero product subsets of Q and the…
We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…
We find necessary and sufficient conditions for the finite separability of finitely generated commutative rings. Namely, we prove that every such ring is a finite extension of its torsion ideal $I_k$ where $k$ is square-free, and $I_k$ is a…