Orthogonal matrices with rational coefficients generating free subgroup

74 Views Asked by At

I wonder, is it possible for two matrices in $\mathrm{SO}(n), \ n>2$ with rational entries to generate a free subgroup of $\mathrm{SO}(n)$? If yes, is it possible to construct two such matrices ? For irrational coefficients there is no problem of course.