A Baer-Krull theorem for quasi-ordered groups (Q722589)

The theories of field ordering and field valuation present some strong similarities but are classically treated as separate subjects. However, \textit{S. M. Fakhruddin} [J. Pure Appl. Algebra 45, 207--210 (1987; Zbl 0629.12022)], found a way of unifying these two theories using quasi-orders showing that valued and ordered fields are particular instances of q.o fields, and even that they are the only ones. So the theory of q.o fields is very convenient to unify the theories of valued fields with the theory of ordered fields. Two different notions of quasi-ordered groups have been studied in [J. Pure Appl. Algebra 223, No. 8, 3238--3261 (2019; Zbl 1419.13009); J. Symb. Log. 83, No. 3, 939--966 (2018; Zbl 1425.06004] by the second author, both of which can be seen as a generalization of ordered and valued groups. In this paper, the authors introduce these notions using the theories of quasi-ordered groups and to find group analogs of two important theorems of real algebra concerning convex valuations, one of which is the Baer-Krull theorem. The authors do this using quasiorders, which gives a uniform approach to valued and ordered groups, and also recover the classical Baer-Krull theorem from its group analog.