Finitely generated lattice-ordered groups with soluble word problem

DOI10.1515/JGT.2008.001MaRDI QIDQ5444866zbMATH OpenOpenAlexFDO

Authors A. M. W. Glass

Publication date 26 February 2008

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.1699

zbMATH Keywords

finitely generated lattice-ordered group, free lattice-ordered groupfinitely presented lattice-ordered grouplattice-ordered groupsoluble word problemwreath products

Mathematics Subject Classification ID

Ordered groups (06F15) Subgroup theorems; subgroup growth (20E07) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (group-theoretic aspects) (20F60)

Abstract: William W. Boone and Graham Higman proved that a finitely generated group has soluble word problem if and only if it can be embedded in a simple group that can be embedded in a finitely presented group. We prove the exact analogue for lattice-ordered groups: Theorem: A finitely generated lattice-ordered group has soluble word problem if and only if it can be embedded in an simple lattice-ordered group that can be embedded in a finitely presented lattice-ordered group. The proof uses permutation groups and the ideas used to prove the lattice-ordered group analogue of Higman's Embedding Theorem.

Recommendations

• Free products and Higman-Neumann-Neumann type extensions of lattice-ordered groups
• EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF \pi
• Sublattice subgroups of finitely presented lattice-ordered groups.
• The Word Problem Versus the Isomorphism Problem
• The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras)

Cites work

• Amalgamations of Lattice Ordered Groups
• An algebraic characterization of groups with soluble word problem
• Beiträge zur Theorie der Ordnungstypen, insbesondere der \(\eta_{\alpha}\)-Mengen
• Embedding in a Divisible Lattice-Ordered Group
• Free lattice-ordered groups
• Free Lattice-Ordered Groups Represented as o-2 Transitive l-Permutation Groups
• Results in partially ordered groups
• Subgroups of finitely presented groups
• Sublattice subgroups of finitely presented lattice-ordered groups.
• The lattice-ordered group of automorphisms of an ordered set
• The Word Problem for Lattice-Order Groups

Cited in

(9)

• Automorphism groups of totally ordered sets: a retrospective survey
• Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems
• The Word Problem Versus the Isomorphism Problem
• SUBGROUPS OF FINITELY PRESENTED GROUPS WITH SOLVABLE CONJUGACY PROBLEM
• Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions
• Conjugacy in lattice-ordered groups and right ordered groups
• Free products and Higman-Neumann-Neumann type extensions of lattice-ordered groups
• scientific article; zbMATH DE number 3933140 (Why is no real title available?)
• EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF \pi

This page was built for publication: Finitely generated lattice-ordered groups with soluble word problem

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