A class of free rotation groups (Q1333614): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:57, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A class of free rotation groups |
scientific article |
Statements
A class of free rotation groups (English)
0 references
29 March 1995
0 references
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.
0 references
rotations
0 references
two-generated free subgroup
0 references
paradoxical decompositions
0 references
rational sphere
0 references