Sol geometry groups are not asynchronously automatic

DOI10.1112/PLMS/83.1.93MaRDI QIDQ2766411zbMATH OpenOpenAlexFDO

Authors Noel Brady

Publication date 28 January 2002

Published in Proceedings of the London Mathematical Society. Third Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/83.1.93

zbMATH Keywords

automatic groupscombings of groupsfundamental groupslattices in Lie groupsword problem

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Fundamental group, presentations, free differential calculus (57M05) Groups acting on specific manifolds (57S25)

Review text

Automatic groups can be described by finite state automata and have an efficient algorithm for solving the word problem. An automatic structure imposes certain restrictions on the geometry of the group, for example a quadratic isoperimetric inequality, and the concept of an asynchronously automatic group is an attempt to broaden the class of automatic groups. The fundamental group of a closed 3-manifold which satisfies Thurston's geometrization conjecture is automatic if and only if none of the prime components of the manifold are modeled on the geometries Nil or Sol; also, Sol manifold groups are not automatic, and closed Nil manifolds are not even asynchronously automatic. It is the main result of the present paper that lattices in the 3-dimensional Lie group Sol are not asynchronously automatic (or, in a stronger version, do not admit a regular, asynchronous combing with uniqueness). ``The proof of the Theorem will have to use something more than just the geometry of an asynchronous combing. The extra ingredient used is the fact that the combing associated to an asynchronously automatic structure has to be a regular language.

Recommendations

• scientific article; zbMATH DE number 139736
• scientific article; zbMATH DE number 53661
• Formal language theory and the geometry of 3-manifolds
• Geometry of the word problem for 3-manifold groups
• scientific article; zbMATH DE number 850241

Cited in

(16)

• Combings of semidirect products and 3-manifold groups
• Formal language theory and the geometry of 3-manifolds
• Geometry of the word problem for 3-manifold groups
• On the quasi-isometric and bi-Lipschitz classification of 3D Riemannian Lie groups
• The spheres of Sol
• Automaticity for graphs of groups
• Deficiencies of lattices in connected Lie groups
• ON THE GROWTH OF GROUPS AND AUTOMORPHISMS
• ASYNCHRONOUS COMBINGS OF GROUPS
• Algorithms and topology of Cayley graphs for groups.
• COMBING NILPOTENT AND POLYCYCLIC GROUPS
• scientific article; zbMATH DE number 850241 (Why is no real title available?)
• The Development of the Theory of Automatic Groups
• The groups Aut and Out of the fundamental group of a closed Sol 3-manifold
• Classification of \(\mathrm{Sol}\) lattices
• On the diagonal actions of \(\mathbb{Z}\) on \(\mathbb{Z}^n\)

This page was built for publication: Sol geometry groups are not asynchronously automatic

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