Orderings and valuations in hyperfields (Q2079239): Difference between revisions

Hyperfields are variants of fields where the operation of addition is multivalued. These hyperfields inherit the valuation from a real field. The authors of this article introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. They analyze their relation with valuations and orderings induced on factor and residue hyperfields. The article shows that much of the theory from real fields can be generalized to real hyperfields and points out which properties cannot be generalized. After an Introduction and a preliminaries' section, the authors review and systematize basic facts of the theory of hyperrings in the second section. They also generalize from rings to hyperrings some facts which will be used in the following sections. The third section contains basic facts from the theory of real hyperfields. In the fourth section, the authors systematize notions and results connected to valued hyperfields. The fifth section of this paper uses the results from the previous section to establish and investigate the notion of compatibility between valuations and orderings in hyperfields. This relation generalizes, with some conditions, the compatibility in ordered fields. The authors finally provide a proof to a version of the Baer-Krull theorem for real hyperfields.