A class of free rotation groups
type: Item
instance of: scholarly article
title: A class of free rotation groups
zbMATH Open document ID: 0809.20039
DOI: 10.1016/0019-3577(94)90026-4
published in: Indagationes Mathematicae. New Series
publication date: 1995-03-29T00:00:00Z
review text: The following theorem was announced by the author in 1958: if \(\cos \varphi \in \mathbb{Q}\) then the subgroup of \(\text{SO}_ 3(\mathbb{R})\) generated by two rotations about the angle \(\varphi\), with rotation axes perpendicular to each other is free if \(\cos \varphi \neq 0\), \(\pm{1\over 2},\pm 1\). The present paper contains the proof of this theorem. As a consequence two-generated free subgroups of \(\text{SO}_ 3 (\mathbb{Q})\) are constructed. Such a group is of interest, as it can be employed to construct paradoxical decompositions of the rational sphere \(S^ 2 \cap \mathbb{Q}^ 3\) without assuming the Axiom of Choice [\textit{S. Wagon}, The Banach-Tarski paradox (Encycl. Math. Appl. 24, Cambridge 1985; Zbl 0569.43001)]. Another consequence of the above theorem is also noteworthy. Let \(\cos(\pi \mathbb{Q}) = \{\cos (\pi x) : x \in \mathbb{Q}\}\) and let \(\sin (\pi \mathbb{Q})\) and \(\tan (\pi \mathbb{Q})\) be defined similarly. Then 1. \(\mathbb{Q} \cap \cos (\pi \mathbb{Q}) = \mathbb{Q} \cap \sin (\pi \mathbb{Q}) = \{0, {1\over 2}, \pm 1\}\). 2. \(\mathbb{Q} \cap \tan (\pi \mathbb{Q}) = \{0, \pm 1\}\). The last result was obtained independently by P. Walker.
Mathematics Subject Classification ID: 20H15
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 51F25
Mathematics Subject Classification ID: 28A75
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 22E40
zbMATH DE Number: 639726
zbMATH Keywords: rotations
zbMATH Keywords: two-generated free subgroup
zbMATH Keywords: paradoxical decompositions
zbMATH Keywords: rational sphere
author: Stanislaw Świerczkowski
reviewed by: Alexander Mednykh
MaRDI profile type: Publication
full work available at URL: 0019-3577(94)90026-4
OpenAlex ID: W2165358336
cites work: Q3253843
cites work: On chains of regular tetrahedra
cites work: Free subgroups in linear groups
cites work: Q3687182
Recommended article: A free group acting without fixed points on the rational unit sphere
Recommended article: Free subgroups ofS03(Q)
Recommended article: On 2-Generator Subgroups of SO(3)
Recommended article: Q3092168
Recommended article: Subgroups of \(\text{SO}(3)\) associated with tilings
Recommended article: Free groups acting without fixed points on rational spheres
Recommended article: Relations in \(\text{SO}(3)\) supported by geodetic angles
Recommended article: Structure theorem for the rotation group over \(\mathbb{Q}\)
Recommended article: Free product \(\mathbb{Z}_3*\mathbb{Z}_3\) of rotations with rational entries
Recommended article: 2-adic cofiltration of \(\mathrm{SO}_3(\mathbb{Q})\)
description: scientific article; zbMATH DE number 639726