Dear Sandeep,
Suppose F_q is k-fold extension of F_p, for p prime. Then, if x1,..,xk
are generators of
F_q over F_p,
S is generated by matrices by 2k matrices, namely
[[1 xj 0],
[0 1 0],
[0 0 1]], with j=1,...k, and
[[1 0 0],
[0 1 xj],
[0 0 1]], with j=1,...k.
and similarly for T (take the transposes of generators above).
Hope this helps,
Dmitrii
On 29 January 2011 23:05, Sandeep Murthy <sandeepr.mur...@gmail.com> wrote:
> Hello,
>
> If G = SL(3,q), the special linear group over the finite field F_q, then
> I am interested in the following subgroups:
>
> S = { set of all upper triangular matrices in G with 1s on the diagonal, and
> elements x,y,z above the diagonal},
> T = { set of all lower triangular matrices in G with 1s on the diagonal, and
> elements x,y,z below the diagonal}.
>
> How can I define these subgroups in GAP for specific small values of q, like
> 2, 3, 4 etc.?
>
> Sincerely, Sandeep.
>
>
CONFIDENTIALITY: This email is intended solely for the person(s) named and may
be confidential and/or privileged. If you are not the intended recipient,
please delete it, notify us and do not copy, use, or disclose its content.
Thank you.
Towards A Sustainable Earth: Print Only When Necessary
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
