# Calculate Right Cosets

How do I get sage to list the right cosets for the group G = GL2(F3) and the subgroup H consisting of the upper triangular matrices with 1 on the main diagonal?

Calculate Right Cosets

**
asked 2011-03-25 17:58:22 +0200 **

This post is a wiki. Anyone with karma >750 is welcome to improve it.

How do I get sage to list the right cosets for the group G = GL2(F3) and the subgroup H consisting of the upper triangular matrices with 1 on the main diagonal?

add a comment

1

**
answered 2011-03-26 13:07:48 +0200 **

This post is a wiki. Anyone with karma >750 is welcome to improve it.

You can construct `GL(2, F3)`

in Sage using:

```
G=GL(2,GF(3))
```

See the reference manual for more about what you can do with a general linear group in Sage:

http://www.sagemath.org/doc/reference/sage/groups/matrix_gps/general_linear.html

As for cosets in Sage, some groups have this implemented, like the permutation groups:

```
H = PermutationGroup([(1,2),(1,2,3)])
P = H.subgroup([(2,3)])
H.cosets(P, side='right')
[[(), (2,3)], [(1,2), (1,2,3)], [(1,3,2), (1,3)]
```

But this isn't implemented directly in Sage for groups like the general linear group over a finite field. You could input `GL(2, F3)`

into Sage as a permutation group (this is a good exercise perhaps) and use the `cosets`

method.

```
%gap
# define general linear group
G := GL(2,3);;
P := NiceObject(G);
Print(P,"\n");
# define upper triangular subgroup
g1 := [[Z(3),0*Z(3)],[0*Z(3),Z(3)]];;
g2 := [[Z(3),Z(3)],[0*Z(3),Z(3)]];;
M := Group(g1,g2);;
MP := NiceObject(M);
Print(MP);
Group( [ (4,7)(5,8)(6,9), (2,7,6)(3,4,8) ] )
Group( [ (2,3)(4,7)(5,9)(6,8), (2,3)(4,9,6,7,5,8) ] )
```

Then in Sage:

```
G = PermutationGroup([ [(4,7),(5,8),(6,9)], [(2,7,6),(3,4,8)] ])
H = G.subgroup( [[(2,3),(4,7),(5,9),(6,8)], [(2,3),(4,9,6,7,5,8)]] )
G.cosets(H, side='right')
```

Of course you could do all of that directly in GAP (through Sage or not) if you want and it will be much faster for larger groups.

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

Asked: ** 2011-03-25 17:58:22 +0200 **

Seen: **1,545 times**

Last updated: **Mar 26 '11**

Permutation Representations and the Modular Group

Order of elements in group multiplication?

Cosets Generated by Product of Generators

Check if a finitely generated matrix group is finite (works with QQ and not with CC)

Iterator for conjugacy classes of Sn

Is it possible to run over the isomorphism classes of groups?

specific representation for groups inheriting from Sage's Group class

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.