{"id":"arxiv/2605.12661","url":"https://arxiv.org/abs/2605.12661","tags":["math.RA","math.LO"],"score":0,"title":"A completion of reduced commutative rings","domain":"math.RA","source":"arxiv","authors":["Luca Carai","Miriam Kurtzhals","Tommaso Moraschini"],"reviews":0,"subject":"math.RA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}