Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-04T19:31:49.651Z Has data issue: false hasContentIssue false
  • English
  • Français

Bi-orders do not arise from total orders

Part of: Set theory Ordered structures

Published online by Cambridge University Press:  20 April 2021

Samuel M. Corson
Samuel M. Corson*
Affiliation:
School of Mathematics, University of Bristol, Fry Building, Woodland Road, Bristol, BS8 1UG, United Kingdom
*
e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We present a Zermelo–Fraenkel ( $\textbf {ZF}$ ) consistency result regarding bi-orderability of groups. A classical consequence of the ultrafilter lemma is that a group is bi-orderable if and only if it is locally bi-orderable. We show that there exists a model of $\textbf {ZF}$ plus dependent choice in which there is a group which is locally free (ergo locally bi-orderable) and not bi-orderable, and the group can be given a total order. The model also includes a torsion-free abelian group which is not bi-orderable but can be given a total order.

Keywords

Left-orderable groupbi-orderable groupultrafilter lemma

MSC classification

Primary: 03E25: Axiom of choice and related propositions
Secondary: 06F15: Ordered groups 06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
Type
Article
Information
Canadian Mathematical Bulletin , Volume 65 , Issue 1 , March 2022 , pp. 217 - 224
Check for updates
Copyright
© Canadian Mathematical Society 2021

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This work was supported by the Severo Ochoa Program for Centres of Excellence in R&D SEV-20150554 and the Heilbronn Institute for Mathematical Research Bristol, UK.

References

Howard, P. and Rubin, J. E., Consequences of the axiom of choice. Mathematical Surveys and Monographs, 59, American Mathematical Society, Providence, RI, 1998.10.1090/surv/059CrossRefGoogle Scholar
Magnus, W., Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring. Math. Ann. 111(1935), 259–280.10.1007/BF01472217CrossRefGoogle Scholar
Mathias, A. R. D., The order-extension principle, axiomatic set theory. Proceedings of Symposia in Pure Mathematics, XIII part 2, American Mathematical Society, Providence, RI, 1974, pp. 179–184.CrossRefGoogle Scholar
Navas, A., On the dynamics of (left) orderable groups. Ann. Inst. Fourier 60(2010), 1685–1740.10.5802/aif.2570CrossRefGoogle Scholar
Pincus, D., Zermelo-Fraenkel consistency results by Fraenkel-Mostowski Methods. J. Symb. Logic. 37(1972), 721–743.10.2307/2272420CrossRefGoogle Scholar
Pincus, D., Adding dependent choice. Ann. Math. Log. 11(1977), 105–145.CrossRefGoogle Scholar
Sapir, M., Combinatorial algebra: Syntax and semantics. Springer Verlag, Berlin, 2014.Google Scholar
van Douwen, E., Horrors of topology without AC: A non-normal orderable space. Proc. Amer. Math. Soc. 95(1985), 101–105.Google Scholar