Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!utcsri!arvind
From: arvind@utcsri.UUCP
Newsgroups: ut.theory
Subject: THEORY NET: a question ...
Message-ID: <5228@utcsri.UUCP>
Date: Mon, 10-Aug-87 21:23:12 EDT
Article-I.D.: utcsri.5228
Posted: Mon Aug 10 21:23:12 1987
Date-Received: Tue, 11-Aug-87 06:24:29 EDT
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 15

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