Automated reasoning for proving non-orderability of groups

DOI10.1007/S10817-025-09734-9MaRDI QIDQ6957135zbMATH OpenFDO

Authors Alexej P. Lisitsa, Zipei Nie, Alexei Vernitski

Publication date 16 July 2025

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10817-025-09734-9

zbMATH Keywords

automated theorem provingcomputer-assisted mathematicsgroup orderabilitygroup theory

Mathematics Subject Classification ID

Computational methods for problems pertaining to group theory (20-08) Ordered groups (group-theoretic aspects) (20F60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Arithmetic Groups of Higher ℚ-Rank Cannot Act on 1-Manifolds
• Braid Groups and Left Distributive Operations
• BRAIDS, ORDERINGS AND ZERO DIVISORS
• Cyclically ordered groups
• Fibonacci groups with aspherical presentations
• First order theory of cyclically ordered groups
• Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds
• Foliations, orders, representations, L-spaces and graph manifolds
• Generalized torsion elements and bi-orderability of 3-manifold groups
• Generalized torsion in knot groups
• scientific article; zbMATH DE number 139724 (Why is no real title available?)
• scientific article; zbMATH DE number 3557860 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 2010054 (Why is no real title available?)
• scientific article; zbMATH DE number 1846827 (Why is no real title available?)
• scientific article; zbMATH DE number 890270 (Why is no real title available?)
• Laminations and groups of homeomorphisms of the circle
• New Ideas in Low Dimensional Topology
• Non-Left-Orderable 3-Manifold Groups
• On James Hyde's example of non-orderable subgroup of \(\text{Homeo}(D,\partial D)\)
• On L-spaces and left-orderable fundamental groups
• Order automatic mapping class groups
• Orderable 3-manifold groups.
• Ordered groups and topology
• Residual nilpotence and ordering in one-relator groups and knot groups
• Right-orderability versus left-orderability for monoids
• Right-ordered groups
• Soluble Right Orderable Groups are Locally Indicable
• Taut foliations, left-orderability, and cyclic branched covers
• The group of boundary fixing homeomorphisms of the disc is not left-orderable
• The space of relative orders and a generalization of Morris indicability theorem
• When is a right orderable group locally indicable?

This page was built for publication: Automated reasoning for proving non-orderability of groups

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