Ordering Free Groups and Validity in Lattice-Ordered Groups

Colacito, Almudena; Metcalfe, George (2019). Ordering Free Groups and Validity in Lattice-Ordered Groups. Journal of pure and applied algebra, 223(12), pp. 5163-5175. Elsevier 10.1016/j.jpaa.2019.03.015

[img]
Preview
Text
CMordered_groups_revised.pdf - Accepted Version
Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND).

Download (255kB) | Preview
[img] Text
1-s2.0-S0022404919300787-main.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (404kB) | Request a copy

An inductive characterization is given of the subsets of a group that extend to the positive cone of a right order on the group. This characterization is used to relate validity of equations in lattice-ordered groups (l-groups) to subsets of free groups that extend to the positive cone of a right order. As a consequence, new proofs are obtained 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 line. An inductive characterization is also given of the subsets of a group that extend to the positive cone of an order on the group. In this case, the characterization is used to relate validity of equations in varieties of representable l-groups to subsets of relatively free groups that extend to the positive cone of an order.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics

UniBE Contributor:

Colacito, Almudena, Metcalfe, George

Subjects:

500 Science > 510 Mathematics

ISSN:

0022-4049

Publisher:

Elsevier

Language:

English

Submitter:

George Metcalfe

Date Deposited:

30 Jul 2019 16:16

Last Modified:

05 Dec 2022 15:29

Publisher DOI:

10.1016/j.jpaa.2019.03.015

BORIS DOI:

10.7892/boris.131604

URI:

https://boris.unibe.ch/id/eprint/131604

Actions (login required)

Edit item Edit item
Provide Feedback