Paper detail

von Neumann regular Hyperrings and applications to Real Reduced Multirings

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].