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

DOI10.1016/J.CRMA.2013.07.001zbMATH Open1282.20043arXiv1304.0837OpenAlexW2964305053MaRDI QIDQ373663FDOQ373663

Authors: Zoran Šunić 

Publication date: 18 October 2013

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

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.

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

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.

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)

Cites Work

• Free Lattice-Ordered Groups Represented as o-2 Transitive l-Permutation Groups
• On the dynamics of (left) orderable groups.
• On Ordered Division Rings
• Ordering coproducts of groups and semigroups
• Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring
• Free subgroups acting properly discontinuously.
• On Ordered Groups
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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)