A class of free rotation groups (Q1333614): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0019-3577(94)90026-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2165358336 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3253843 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On chains of regular tetrahedra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free subgroups in linear groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3687182 / rank | |||
Normal rank |
Latest revision as of 16:54, 22 May 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