A free group of rotations of rank 2

DOI10.4204/EPTCS.359.8MaRDI QIDQ6659920zbMATH OpenFDO

Authors Jagadish Bapanapally, Ruben A. Gamboa

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.359.8

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Other geometric groups, including crystallographic groups (20H15) Polyhedra and polytopes; regular figures, division of spaces (51M20) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Free product \(\mathbb{Z}_3*\mathbb{Z}_3\) of rotations with rational entries
• A complete, mechanically-verified proof of the Banach-Tarski theorem in ACL2(r)
• Free groups of rotations acting without fixed points on the rational unit sphere.
• A class of free rotation groups
• A free group acting without fixed points on the rational unit sphere

Cited in

(1)

• A complete, mechanically-verified proof of the Banach-Tarski theorem in ACL2(r)

This page was built for publication: A free group of rotations of rank 2

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