GAP Forum: matrix groups over a ring

> < ^ Date: Mon, 14 Aug 2000 12:20:17 -0400
> < ^ From: David Joyner <wdj@usna.edu >
> ^ Subject: matrix groups over a ring

--------------3405FED9143CB502017F59E8
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Dear GAP Forum:
Does anyone know an easy way to construct a matrix group over a
ring such as Z/p^nZ in GAP? For example, I've tried constructing the
ring R of 2x2 matrices
over Z/9Z, for example, using something like
R:=MatrixAlgebra(ZmodnZ(9),2),
but then Units(R) returns the empty list. (I expected "Units(R);" to
return the group
GL(2,Z/9Z).) The same thing happens when I use
Full MatrixModule(ZmodnZ(9),2,2),
for example.
Eventually, I'd like to convert such a group into a permutation group
and
study it's representations. - David Joyner

--
David Joyner, wdj@usna.edu, Prof Math Dept, USNA, Annapolis, MD, USA
office: 410-293-6738, Chauvenet Hall 328, URL: http://tinah.mslab.usna.edu/

--------------3405FED9143CB502017F59E8
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit

<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
   Dear GAP Forum:
   Does anyone know an easy way to construct a matrix group over
a
 ring such as Z/p^nZ in GAP? For example, I've tried constructing the
ring R of 2x2 matrices
 over Z/9Z, for example, using something like
 R:=MatrixAlgebra(ZmodnZ(9),2),
 but then Units(R) returns the empty list. (I expected "Units(R);" to
return the group
 GL(2,Z/9Z).) The same thing happens when I use
 Full MatrixModule(ZmodnZ(9),2,2),
 for example.
  Eventually, I'd like to convert such a group into a permutation
group and
 study it's representations. - David Joyner
<pre>-- 
David Joyner, wdj@usna.edu, Prof Math Dept, USNA, Annapolis, MD, USA
office: 410-293-6738, Chauvenet Hall 328, URL: <A HREF="http://tinah.mslab.usna.edu/">http://tinah.mslab.usna.edu/</A></pre>
 </html>

--------------3405FED9143CB502017F59E8--

> < [top]