[ut.theory] THEORY NET: a question ...

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