Ordering groups and validity in lattice-ordered groups

DOI10.1016/J.JPAA.2019.03.015MaRDI QIDQ6306400arXivFDO

Authors Almudena Colacito, George Metcalfe

Publication date 7 September 2018

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JPAA.2019.03.015

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Ordered groups (06F15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

arXiv classification

math.LO

Abstract: A characterization is given of the subsets of a group that extend to the positive cone of a right order on the group and used to relate validity of equations in lattice-ordered groups (l-groups) to subsets of free groups that extend to positive cones of right orders. This correspondence is used to obtain new proofs of the decidability of the word problem for free l-groups and generation of the variety of l-groups by the l-group of automorphisms of the real number line. A characterization of the subsets of a group that extend to the positive cone of an order on the group is also used to establish a correspondence between the validity of equations in varieties of representable l-groups (equivalently, classes of ordered groups) and subsets of relatively free groups that extend to positive cones of orders.

This page was built for publication: Ordering groups and validity in lattice-ordered groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6306400)