arxiv: 2605.12661 · v1 · submitted 2026-05-12 · 🧮 math.RA · math.LO

Recognition: no theorem link

A completion of reduced commutative rings

Luca Carai , Miriam Kurtzhals , Tommaso Moraschini

Authors on Pith no claims yet

Pith reviewed 2026-05-14 20:17 UTC · model grok-4.3

classification 🧮 math.RA math.LO MSC 13A9918C10

keywords reduced commutative ringsdiscriminator varietycanonical completionweak inversesweak prime rootsregular monomorphismsdominionsamalgamation

0 comments

The pith

Adjoining weak inverses and weak prime roots completes every reduced commutative ring so that all monomorphisms become regular and the class forms a discriminator variety.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that reduced commutative rings, which embed into products of fields and underpin affine geometry, suffer from non-regular monomorphisms, missing amalgamation, and lack of equational axiomatizability. It repairs these by a canonical completion obtained through adjoining weak inverses and weak prime roots. This construction yields an explicit and simple description of dominions for any class of reduced rings that contains all fields, in contrast to the zigzag description required for all commutative rings.

Core claim

By adjoining weak inverses and weak prime roots to any reduced commutative ring one obtains a canonical completion that turns the ring into an object of a discriminator variety in which every monomorphism is regular.

What carries the argument

Adjoining weak inverses and weak prime roots, which canonically embeds the ring into a discriminator variety while preserving reducedness.

If this is right

All monomorphisms in the completed category become regular.
The class of reduced commutative rings becomes equationally axiomatizable.
Amalgamation holds in the completed category.
Dominions in any class containing all fields admit an explicit simple description.
The Isbell-Mazet-Silver zigzag theorem simplifies dramatically for these classes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same completion technique might repair similar structural defects in other algebraic categories that admit embeddings into products of simple objects.
Explicit dominion formulas could simplify computations of pushouts and colimits in affine schemes over reduced rings.
One could test the construction on concrete examples such as polynomial rings over fields to see whether the completion remains Noetherian or preserves other properties.

Load-bearing premise

The adjunction of weak inverses and weak prime roots can be performed canonically on every reduced commutative ring while keeping the ring reduced and producing a discriminator variety.

What would settle it

A concrete reduced commutative ring for which the adjunction either produces a non-reduced ring or leaves some monomorphism non-regular.

read the original abstract

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 nonregular monomorphisms and epimorphisms, lacks amalgamation, and is not equationally axiomatizable. In this paper, we simultaneously repair these defects via a canonical completion in which all monomorphisms become regular. This completion is obtained by adjoining weak inverses and weak prime roots, turning the class of reduced commutative rings into a discriminator variety. As a consequence, we obtain an explicit description of dominions in every class of reduced commutative rings containing all fields. This description is strikingly simple compared to that of dominions in the category of all commutative rings, as reflected in the Isbell-Mazet-Silver Zigzag Theorem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Adjoining weak inverses and weak prime roots gives a canonical completion that turns reduced commutative rings into a discriminator variety with regular monomorphisms.

read the letter

The paper's main move is to complete reduced commutative rings by adjoining weak inverses and weak prime roots. This turns the class into a discriminator variety where all monomorphisms are regular, fixing several long-standing structural problems in the category. What stands out is how directly the construction targets the defects: non-regular monos and epis, lack of amalgamation, and failure to be equationally axiomatizable. By making these explicit adjunctions, they get a canonical completion that works for the whole class. The payoff is an explicit, simple description of dominions in classes containing all fields, which contrasts nicely with the complicated zigzag theorem for all commutative rings. The approach looks solid on the surface. The abstract ties the adjunction straight to the variety property and the dominion result without obvious circularity. Since the operations are defined on the rings themselves, it avoids parameter fitting issues. The fact that it produces a discriminator variety is a strong point, as those have nice properties like having a simple description for subalgebras and such. One possible soft spot is whether the adjunction of these weak operations can always be done while keeping the ring reduced and without introducing inconsistencies in non-domain cases. The paper claims it works canonically, but I'd want to see the verification for rings with zero-divisors. Also, how 'weak' these inverses and roots are might affect how much structure is added, and if the completion is minimal or if there's a smaller one. Overall, this seems aimed at algebraists working in ring theory and universal algebra, particularly those interested in categories of rings and discriminator varieties. It has enough new content and concrete results to merit a serious referee report. The construction doesn't seem to rely on prior results in a way that creates circularity, and the novelty in the specific adjunctions is clear from the abstract. Recommendation: Send it to peer review; the ideas are worth checking in detail.

Referee Report

2 major / 2 minor

Summary. The paper claims that reduced commutative rings, which embed into products of fields but suffer from non-regular monomorphisms/epimorphisms, lack of amalgamation, and non-equational axiomatizability, admit a canonical completion obtained by adjoining weak inverses and weak prime roots. This completion makes all monomorphisms regular, equips the class with the structure of a discriminator variety, and yields an explicit, simple description of dominions in any class of reduced commutative rings that contains all fields (contrasting with the Isbell-Mazet-Silver Zigzag Theorem for general commutative rings).

Significance. If the construction is verified, the result is significant for both ring theory and universal algebra: it supplies a parameter-free, direct completion that repairs multiple categorical defects simultaneously and converts the category into a discriminator variety, which carries strong equational and amalgamation properties. The explicit dominion description is a clear improvement over the general commutative-ring case and could impact affine geometry applications. The absence of free parameters or self-referential equations in the adjunction is a notable strength.

major comments (2)

The central claim that adjoining weak inverses and weak prime roots preserves reducedness (i.e., the resulting ring still embeds into a product of fields) is load-bearing for the entire completion; the manuscript must supply an explicit verification that no nilpotents are introduced, preferably via a direct embedding argument or universal property.
The proof that the completed class forms a discriminator variety (hence has regular monomorphisms and the amalgamation property) requires a concrete equational axiomatization or discriminator term; this step must be checked for gaps, as the abstract links it directly to the repair of the listed defects.

minor comments (2)

Notation for the new operations (weak inverse and weak prime root) should be introduced with a dedicated definition subsection and consistently used in all subsequent statements.
The dominion description corollary would benefit from an explicit comparison table or example contrasting it with the Zigzag Theorem to highlight the claimed simplicity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and constructive comments. The suggested additions will improve the clarity of the central arguments, and we will incorporate explicit verifications in the revised manuscript.

read point-by-point responses

Referee: The central claim that adjoining weak inverses and weak prime roots preserves reducedness (i.e., the resulting ring still embeds into a product of fields) is load-bearing for the entire completion; the manuscript must supply an explicit verification that no nilpotents are introduced, preferably via a direct embedding argument or universal property.

Authors: We agree that an explicit verification strengthens the presentation. The manuscript already contains a universal-property argument (Proposition 3.4) showing that the completion functor preserves embeddings into products of fields. In the revision we will expand this into a direct, self-contained embedding construction that explicitly rules out nilpotents, placed immediately after the definition of the adjunction. revision: yes
Referee: The proof that the completed class forms a discriminator variety (hence has regular monomorphisms and the amalgamation property) requires a concrete equational axiomatization or discriminator term; this step must be checked for gaps, as the abstract links it directly to the repair of the listed defects.

Authors: The manuscript supplies an explicit discriminator term in Theorem 4.2. To eliminate any potential gaps, the revised version will include a detailed verification that this term satisfies the discriminator identities on the completed rings, together with a short corollary confirming that all monomorphisms become regular and that the variety therefore has the amalgamation property. These additions will make the link to the categorical repairs fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central construction is an explicit adjunction of weak inverses and weak prime roots performed directly on any reduced commutative ring. This operation is defined independently of the target properties (regular monos, discriminator variety structure) and is shown to produce them as consequences. No equation or step reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation; the dominion description follows as a corollary from the completed structure. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The claim rests on the standard definition of reduced rings and the existence of a canonical adjunction process for the new operations; no free parameters are introduced.

axioms (2)

domain assumption A commutative ring is reduced when it embeds into a direct product of fields
Starting definition used throughout the paper.
standard math Category-theoretic notions of regular monomorphisms, epimorphisms, amalgamation, and discriminator varieties
Background from universal algebra and category theory.

invented entities (2)

weak inverse no independent evidence
purpose: Adjoined element that makes monomorphisms regular
New operation introduced to repair the category defects.
weak prime root no independent evidence
purpose: Adjoined element that completes the structure to a discriminator variety
New operation introduced alongside weak inverses.

pith-pipeline@v0.9.0 · 5434 in / 1276 out tokens · 54056 ms · 2026-05-14T20:17:27.516879+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 3 canonical work pages · 2 internal anchors

[1]

Ad´ amek, H

J. Ad´ amek, H. Herrlich, and G. E. Strecker. Abstract and concrete categories: the joy of cats.Repr. Theory Appl. Categ., (17):1–507, 2006

2006
[2]

Ad´ amek and J

J. Ad´ amek and J. Rosick´ y.Locally presentable and accessible categories, volume 189 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994

1994
[3]

P. D. Bacsich. Model theory of epimorphisms.Canad. Math. Bull., 17:471–477, 1974. A COMPLETION OF REDUCED COMMUTATIVE RINGS 21

1974
[4]

Bergman.Universal Algebra: Fundamentals and Selected Topics

C. Bergman.Universal Algebra: Fundamentals and Selected Topics. Chapman & Hall Pure and Applied Mathe- matics. Chapman and Hall/CRC, 2011

2011
[5]

G. M. Bergman.An invitation to general algebra and universal constructions. Universitext. Springer, Cham, second edition, 2015

2015
[6]

J. A. Bergstra, Y. Hirshfeld, and J. V. Tucker. Meadows and the equational specification of division.Theoret. Comput. Sci., 410(12-13):1261–1271, 2009

2009
[7]

W. J. Blok and J. G. Raftery. Assertionally equivalent quasivarieties.Internat. J. Algebra Comput., 18(4):589–681, 2008

2008
[8]

Burris and H

S. Burris and H. P. Sankappanavar.A Course in Universal Algebra. 2012. The millennium edition, available online

2012
[9]

M. A. Campercholi. Dominions and primitive positive functions.Journal of Symbolic Logic, 83(1):40–54, 2018

2018
[10]

M. A. Campercholi and J. G. Raftery. Relative congruence formulas and decompositions in quasivarieties.Algebra Universalis, 78(3):407–425, 2017

2017
[11]

M. A. Campercholi and D. J. Vaggione. An implicit function theorem for algebraically closed fields.Algebra Universalis, 65(3):299–304, 2011

2011
[12]

The theory of implicit operations

L. Carai, M. Kurtzhals, and T. Moraschini. The theory of implicit operations. Available at https://arxiv.org/ pdf/2512.14326v2, 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[13]

A categorical description of simple Beth companions

L. Carai, M. Kurtzhals, and T. Moraschini. A categorical description of simple Beth companions. Available at https://arxiv.org/pdf/2605.09141, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[14]

Carai, M

L. Carai, M. Kurtzhals, and T. Moraschini. Implicit operations in varieties of commutative monoids. Submitted, available athttps://arxiv.org/pdf/2603.13916, 2026

work page arXiv 2026
[15]

C. C. Chang and H. J. Keisler.Model theory, volume 73 ofStudies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, third edition, 1990

1990
[16]

W. H. Cornish. Amalgamating commutative regular rings.Comment. Math. Univ. Carolinae, 18(3):423–436, 1977

1977
[17]

Czelakowski and W

L. Czelakowski and W. Dziobiak. Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class.Algebra Universalis, 27(1):128–149, 1990

1990
[18]

V. A. Gorbunov.Algebraic theory of quasivarieties. Siberian School of Algebra and Logic. Consultants Bureau, New York, 1998. Translated from the Russian

1998
[19]

J. R. Isbell. Epimorphisms and dominions. InProc. Conf. Categorical Algebra (La Jolla, Calif., 1965), pages 232–246. Springer-Verlag New York, Inc., New York, 1966

1965
[20]

J. R. Isbell. Epimorphisms and dominions. IV.J. London Math. Soc. (2), 1:265–273, 1969

1969
[21]

Kaarli and A

K. Kaarli and A. F. Pixley.Polynomial completeness in algebraic systems. Chapman & Hall/CRC, Boca Raton, FL, 2001

2001
[22]

E. W. Kiss, L. M´ arki, P. Pr¨ ohle, and W. Tholen. Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity.Studia Sci. Math. Hungar., 18(1):79–140, 1982

1982
[23]

A. W. Knapp.Basic algebra. Cornerstones. Birkh¨ auser Boston, Inc., Boston, MA, 2006

2006
[24]

Lorenz.Algebra

F. Lorenz.Algebra. Volume I: Fields and Galois Theory. Springer New York, 2006

2006
[25]

A. I. Mal’cev.Algebraic systems. Die Grundlehren der mathematischen Wissenschaften, Band 192. Springer-Verlag, New York-Heidelberg, 1973. Posthumous edition, edited by D. Smirnov and M. Ta˘ ıclin, Translated from the Russian by B. D. Seckler and A. P. Doohovskoy

1973
[26]

P. Mazet. Caract´ erisation des ´ epimorphismes par relations et g´ en´ erateurs.S´ eminaire d’alg` ebre commutative, 2:1–8, 1967-1968

1967
[27]

McKenzie

R. McKenzie. An algebraic version of categorical equivalence for varieties and more general algebraic categories. In A. Ursini and P. Aglian` o, editors,Logic and Algebra, volume 180 ofLecture Notes in Pure and Applied Mathematics, pages 211–243. Marcel Dekker, Inc., 1996

1996
[28]

J. S. Milne. Algebraic geometry (v6.1), 2024. Available at www.jmilne.org/math/

2024
[29]

L. Silver. Noncommutative localizations and applications.J. Algebra, 7:44–76, 1967

1967
[30]

von Neumann

J. von Neumann. On regular rings.Proc. Natl. Acad. Sci. USA, 22(12):707–713, 1936

1936
[31]

Federigo Enriques

R. Wisbauer.Foundations of Module and Ring Theory: A Handbook for Study and Research. Gordon and Breach, Reading, 1991. 22 LUCA CARAI, MIRIAM KURTZHALS, AND TOMMASO MORASCHINI Luca Carai: Dipartimento di Matematica “Federigo Enriques”, Universit `a degli Studi di Milano, via Cesare Saldini 50, 20133 Milano, Italy Email address:luca.carai@unimi.it Miriam K...

1991