Thanks. If anyone else is interested, this is what worked for me:
sage:gap_console()
gap>G:=SL(3,Integers);
gap>GeneratorsOfGroup(G);
[[0,1,0],[0,0,1][1,0,0]],[[0,1,0],[-1,0,0][0,0,1]],[[1,1,0],[0,1,0],
[0,0,1]]
%these can now be referred to as G.1, G.2, G.3 respectively
gap>epi:=EpimorphismFrom
On Wed, Apr 9, 2008 at 12:08 PM, Becky <[EMAIL PROTECTED]> wrote:
>
> Yes, I am looking for a finite presentation for SL_3(Z). I was able
> to get three generators from SAGE:
> sage: G=SL(3,ZZ)
> sage: G.gens()
> [
> [0 1 0]
> [0 0 1]
> [1 0 0],
> [0 1 0]
> [-1 0 0]
> [0 0 1],
> [1
Yes, I am looking for a finite presentation for SL_3(Z). I was able
to get three generators from SAGE:
sage: G=SL(3,ZZ)
sage: G.gens()
[
[0 1 0]
[0 0 1]
[1 0 0],
[0 1 0]
[-1 0 0]
[0 0 1],
[1 1 0]
[0 1 0]
[0 0 1]]
I have what I think is a different set of matrix generators, and I'd
like to be a
Hi Becky,
Did you have a particular group in mind?
--Mike
On Mon, Apr 7, 2008 at 3:19 PM, Becky <[EMAIL PROTECTED]> wrote:
>
> Is there a command for SAGE to write an element of a group in terms of
> the group's generators?
> -Becky
> >
>
--~--~-~--~~~---~--~---
