Rational geometry in space

Euclidean space group of rigid motions group of translations orthogonal group polygons Q-equal rational lines Q-equal rational planes rational segments

Mathematics Subject Classification ID

Classical groups (11E57) Other geometric groups, including crystallographic groups (20H15) Orthogonal and unitary groups in metric geometry (51F25) Analytic geometry with other transformation groups (51N25) Geometry of classical groups (51N30)

Review text

The authors consider the action of the group M(3,\({\mathbb{Q}})\), defined as the semidirect product of the orthogonal group \({\mathcal O}(3,{\mathbb{Q}})\) and of the group of translations \({\mathcal T}(3,{\mathbb{Q}})\), in the space \({\mathbb{R}}^ 3\). The group \({\mathcal M}(3,{\mathbb{Q}})\) is the subgroup of the group of rigid motions of the Euclidean space \({\mathbb{R}}^ 3\) consisting of those defined by equations with rational coefficients. Two objects of \({\mathbb{R}}^ 3\) are said to be Q-equal if there is a transformation in M(3,\({\mathbb{Q}})\) mapping one of them onto another. Rational lines and planes of \({\mathbb{R}}^ 3\) are distinguished as those determined by equations with rational coefficients; and rational segments, polygons, etc. are systems of points with all coordinates rational. Contrary to the classical case there are pairs of not Q-equal rational lines of not Q- equal rational planes, though the notions of Q-equality and of ``Euclidean equality (congruence modulo \({\mathcal O}(3,{\mathbb{R}})\cdot {\mathcal T}(3,{\mathbb{R}}))\) coincide for rational segments and polygons. The authors study in some details the structure of the group \({\mathcal O}(3,{\mathbb{Q}})\); in particular, a parametrization of the stabilizer of a rational vector in the group \({\mathcal O}(3,{\mathbb{Q}})\) is given explicitly. Finally, the authors show a representation of the quotient space \({\mathbb{Q}}^ 3/{\mathcal O}(3,{\mathbb{Q}})\). The article contains a lot of comments which point out the value of the subject in exact computation experiments.

Recommendations

Cites work

Cited in

(2)

Describes a project that uses

Uses Software

IBM Scratchpad

This page was built for publication: Rational geometry in space

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