How do I find a presentation for classical matrix groups like PGL(2,q)?
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?