Von Neumann regular hyperrings and applications to real reduced multirings

H. R. De Oliveira Ribeiro ; H. L. Mariano

Algebra i logika, Tome 62 (2023) no. 3, pp. 323-386

Résumé

A multiring is a ring-like structure where the sum is multivalued and a hyperring is a multiring with a strong distributive property. With every multiring we associate a structural presheaf, and when that presheaf is a sheaf, we say that the multiring is geometric. A characterization of geometric von Neumann hyperrings is presented. And we build a von Neumann regular hull for multirings which is used in applications to algebraic theory of quadratic forms. Namely, we describe the functor $Q$, introduced by M. Marshall in [J. Pure Appl. Algebra, 205, No. 2, 452—468 (2006)], as a left adjoint functor for the natural inclusion of the category of real reduced multirings (similar to real semigroups) into the category of preordered multirings and explore some of its properties. Next, we employ sheaf-theoretic methods to characterize real reduced hyperrings as certain geometric von Neumann regular real hyperrings and construct the functor $V$, a geometric von Neumann regular hull for a multiring. Finally, we look at some interesting logical and algebraic interactions between the functors $Q$ and $V$ that are useful for describing hyperrings in the image of the functor $Q$ and that will allow us to explore the theory of quadratic forms for (formally) real semigroups.

Détail

Keywords: real algebra, quadratic form, multiring, von Neumann hyperring, real reduced multiring, real semigroup.