von Neumann regular Hyperrings and applications to Real Reduced Multirings
Abstract
A multiring ([Mar3]) is a kind of ring where is allowed the sum of two elements to be anon-empty subset of the structure instead of just one element -and an hyperring is a multiring with a strong distributive property. Thus a reduced hyperring where the prime spec is a Boolean topological space is called von Neumann regular hyperring (vNH). It is possible to associate to every such object a structural presheaf in the same way it is made with rings but there are some vNH such that this presheaf is not a sheaf. In this sense, we give a first-order characterization of vNH with a structural sheaf (geometric vNH or just GvNH) and how to transform a vNH in aGvNH -in fact, this transformation shows that the category GvNH is a reflexive subcategory of vNH. We also build a von Neumann regular hull for multirings and use this to give applications for algebraic theory of quadratic forms. More precisely, we work with Real Reduced Multiring (RRM, [Mar3]) -also known as Real Semigroup (RS, [DP1])-, a special kind of multirings that is useful to explore the real structure of rings, and show that a von Neumann hull of a RRM is again a RRM. This gives a generalization of sheafs arguments present in [DM4].
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.06527
- arXiv:
- arXiv:2101.06527
- Bibcode:
- 2021arXiv210106527D
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Rings and Algebras