Ask Your Question

How do I find a presentation for classical matrix groups like PGL(2,q)?

asked 2013-01-26 00:23:53 +0200

oxeimon gravatar image

I know I can just take the group and do ".gens()", and that'll give me a list of generators, but is there a way to find the relations on them?

Also, is there a way to compute generators for kernels of group homomorphisms?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2013-01-28 01:53:49 +0200

benjaminfjones gravatar image

The usual way is to construct the canonical map from the appropriate free group to your group and then compute generators for the kernel. Free groups are supported by GAP and they have been the subject of some good recent work in Sage (see so this should be possible eventually (maybe in Sage v5.7?).

To compute the generators of a kernel you can do something like :

sage: G = PSL(2,7)
sage: D = G.direct_product(G)
sage: H = D[0]
sage: pr1 = D[3]
sage: pr1.kernel().gens()
[(11,15,13)(12,16,14), (9,10,14)(11,12,16)]


edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2013-01-26 00:23:53 +0200

Seen: 583 times

Last updated: Jan 28 '13