On Thu, Aug 18, 2011 at 3:12 PM, John Cremona <john.crem...@gmail.com> wrote:
> I wanted to work in the group PGL(2,q), and got off to a good start:
>
>
> sage: G = PGL(2,13)
> sage: G.order().factor()
> 2^3 * 3 * 7 * 13
> sage: G.order() == 13*(13^2-1)
> True
>
> but I could not create elements of G, which seemed to think they were
> permutations!


I believe this is the way GAP does things.

>
> sage: G.identity()
> ()
> sage: G.an_element()
> (3,14,13,12,11,10,9,8,7,6,5,4)
> sage: type(G.an_element())
> <type 'sage.groups.perm_gps.permgroup_element.PermutationGroupElement'>
>
> Now I am not a group theorist, but this just seems bizarre!  I am in
> fact quite interested in the action of this G on P^1(GF(13)),  but
> also expected to be able to work with its elements as matrices (mod
> scalars).
>
> Am I doing something wrong?


I don't think so, but perhaps your problem can be translated into
one regarding GL(2,13)?


>
> John
>
> [Sage 4.7 on ubuntu, built from source]
>
> --
> To post to this group, send email to sage-support@googlegroups.com
> To unsubscribe from this group, send email to 
> sage-support+unsubscr...@googlegroups.com
> For more options, visit this group at 
> http://groups.google.com/group/sage-support
> URL: http://www.sagemath.org
>

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to