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 able to write mine in terms of these. For example, what is the matrix [[0 -1 0][-1 0 0][0 0 -1]] in terms of the above? Ideally, I'm looking for the analogue of SL_2(Z)=<S, T | S^4=1, (ST)^6=1> where S =[[0 -1][1 0]] and T=[[1 1][0 1]], but for SL_3(Z). Any help you can give me would be greatly appreciated. Thanks. -Becky On Apr 7, 6:22 pm, "Mike Hansen" <[EMAIL PROTECTED]> wrote: > 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- Hide quoted text - > > - Show quoted text - --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
