arvind@utcsri.UUCP (08/11/87)
Date: 10 Aug 1987 15:38:04-EDT (Monday) From: "Victor S. Miller" <VICTOR@yktvmz.bitnet> Subject: A question about quotients I received the following question from Mike O'Connor who works in the robotics group here: Can one give a simple description of the quotient of $Q^{*}^3$ by by $O^3(Q)$ (the orthogonal group with rational entries)? What is wanted is a both a simple algorithm to determine whether or not two points are equivalent (along with a matrix giving the equivalence), and a simple desription of representatives of equivalence classes. Victor S. Miller -- IBM Research, Yorktown