Rational cross-sections, bounded generation and orders on groups

DOI10.1112/JLMS.12920MaRDI QIDQ6413348zbMATH OpenFDO

Authors Corentin Bodart

Publication date 9 October 2022

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Ordered groups (06F15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We provide new examples of groups without rational cross-sections (also called regular normal forms), using connections with bounded generation and rational orders on groups. Specifically, our examples are extensions of infinite torsion groups, groups of Grigorchuk type, wreath products similar to $C_{2}wr(C_{2}wrmathbbZ)$ and $mathbbZwr{F}_2$, a group of permutations of $mathbbZ$, and a finitely presented HNN extension of the first Grigorchuk group. This last group is the first example of finitely presented group with solvable word problem and without rational cross-sections. It is also not autostackable, and has no left-regular complete rewriting system.

This page was built for publication: Rational cross-sections, bounded generation and orders on groups

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