Re: Explicit Generators/Relations for PSL_2(F_25).
- From: CW <sylvester7@xxxxxxxxxxxxxxx>
- Date: Wed, 04 Apr 2007 04:30:44 GMT
I suppose this is a complete definition (in Maple format) :
G:=grelgroup({B, A, C},{[B, 1/C, 1/A, C, 1/A, 1/C, 1/B, 1/A], [A, 1/C,
A, C, A, C], [A, B, 1/C, A, C, A, C, 1/B], [A, A, A, A, A], [B, B, B, B,
B], [C, 1/A, 1/C, 1/A, 1/C, 1/A], [A, B, C, A, C, A, 1/C, 1/B], [B, A,
1/B, 1/A], [A, B, 1/A, 1/B], [A, 1/B, C, A, C, A, 1/C, B], [A, 1/B, 1/A,
B], [C, C, C, C], [C, 1/A, C, 1/A, C, 1/A], [A, C, A, C, A, 1/C], [C, A,
C, A, 1/C, A], [C, C, A, 1/C, 1/C, 1/A]});
Any luck with disjoint cycle notation ?
Chris
fcale@xxxxxxxxxxxxxxxxxxxxx wrote:
The group G = PSL_2(F_25) is generated by the following elements:
a = (1 1) b = (1 w) c = (0 -1);
(0 1) (0 1) (1 0)
where w is a generator of F_25 (to be explicit, suppose that
w^2 - w + 2 = 0).
If one wishes to write down a presentation of G with these generators,
what is a suitable (preferably short) list of relations?
Please cc your response to fcale@xxxxxxxxxxxxxxxxxxxxx
Thanks,
Frank
.
- Prev by Date: The "Laws of Form" as a Categorical Logic for Ortho-Lattices
- Next by Date: JOB: Mathematician/contractor
- Previous by thread: The "Laws of Form" as a Categorical Logic for Ortho-Lattices
- Next by thread: JOB: Mathematician/contractor
- Index(es):
Relevant Pages
|
