On rational points of orthogonal group

Masanori Kobayashi, Chikara Nakayama

Let $n$ be a positive integer. We show that a unit rational space vector whose multiple by $n$ is an integer vector can be extended to a rational orthonormal basis whose all member…