Explicit left orders on free groups extending the lexicographic order on free monoids.

DOI10.1016/J.CRMA.2013.07.001MaRDI QIDQ373663zbMATH OpenOpenAlexFDO

Authors Zoran Šunić

Publication date 18 October 2013

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.0837, http://www.sciencedirect.com/science/article/pii/S1631073X13001581

zbMATH Keywords

finitely generated free groupsgroups of piecewise linear homeomorphisms of the lineleft orders on free groupslexicographic order on free monoidsmembership problempositive cones

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Dynamical systems involving maps of the interval (37E05) Ordered groups (06F15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (group-theoretic aspects) (20F60) Free semigroups, generators and relations, word problems (20M05)

Abstract: For every finitely generated free group we construct an explicit left order extending the lexicographic order on the free monoid generated by the positive letters. The order is defined by a left, free action on the orbit of 0 of a free group of piecewise linear homeomorphisms of the line. The membership in the positive cone is decidable in linear time in the length of the input word. The positive cone forms a context-free language closed under word reversal.

Recommendations

• On ordering free groups.
• scientific article; zbMATH DE number 4004241
• No positive cone in a free product is regular
• SIMPLE ORDERINGS FOR FREE PARTIALLY COMMUTATIVE GROUPS
• Exotic left-orderings of the free groups from the Dehornoy ordering.

Cites work

• scientific article; zbMATH DE number 3057900 (Why is no real title available?)
• Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring
• Free Lattice-Ordered Groups Represented as o-2 Transitive l-Permutation Groups
• Free subgroups acting properly discontinuously.
• On Ordered Division Rings
• On Ordered Groups
• On the dynamics of (left) orderable groups.
• Ordering coproducts of groups and semigroups

Cited in

(12)

• Regular left-orders on groups
• No positive cone in a free product is regular
• Orders on Trees and Free Products of Left-ordered Groups
• Orders On Free Metabelian Groups
• Relative order and spectrum in free and related groups
• scientific article; zbMATH DE number 4004241 (Why is no real title available?)
• On one-counter positive cones of free groups
• Monoids of \(O\)-type, subword reversing, and ordered groups.
• Formal language convexity in left-orderable groups
• SIMPLE ORDERINGS FOR FREE PARTIALLY COMMUTATIVE GROUPS
• Free subgroups acting properly discontinuously.
• Band monoid languages revisited

This page was built for publication: Explicit left orders on free groups extending the lexicographic order on free monoids.

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