# Cosets Generated by Product of Generators

Anonymous

I have created the following group:

sage: F.<x,y> = FreeGroup()
sage: G = F / [x^3, y^2, (x*y)^5]
sage: G
Finitely presented group < x, y | x^3, y^2, (x*y)^5 >


I would like to list the distinct cosets generated by <x*y>. I think there should be 12, but I have tried different code with no luck.

edit retag close merge delete

Sort by » oldest newest most voted

Try

sage: F.<x,y> = FreeGroup()
sage: G = F / [x^2, y^3, (x*y)^5]
sage: xx = G(x)
sage: yy = G(y)
sage: (xx*yy)^5 == G.one()
True
sage: (xx*yy) == G.one()
False


Now knowing that (x*y) is not the identity in the quotient and that its order divides 5 you have no choice.

note: your group G is isomorphic to A5 by sending x to (1,2)(3,4) and y to (1,3,5).

edit: To actually get the coset one can use the functionalities of GAP

sage: U = G.subgroup([G(x*y)])
sage: for rc in G.gap().RightCosets(U.gap()): print rc
RightCoset(Group( [ x*y ] ),<identity ...>)
RightCoset(Group( [ x*y ] ),x)
RightCoset(Group( [ x*y ] ),y)
RightCoset(Group( [ x*y ] ),y*x)
RightCoset(Group( [ x*y ] ),y*x*y)
RightCoset(Group( [ x*y ] ),(y*x)^2)
RightCoset(Group( [ x*y ] ),y*x*y^2)
RightCoset(Group( [ x*y ] ),(y*x)^2*y)
RightCoset(Group( [ x*y ] ),(y*x)^2*y^2)
RightCoset(Group( [ x*y ] ),(y*x)^2*y^2*x)
RightCoset(Group( [ x*y ] ),y*x*(y*x*y)^2)
RightCoset(Group( [ x*y ] ),y*x*(y*x*y)^2*x)

more

Thank you for taking a look at this...I do see that the group is isomorphic to A5, but I was hoping that sage could actually give me a list of representatives from the 12 cosets generated by xy. What I mean is...is there a way to give me the list: x<xy>, y<xy>, yx^2y<xy>, and so on?

( 2013-10-24 22:07:23 +0200 )edit

It makes sense for me to show you what code I thought would work maybe you can tell me what I am doing wrong. After implementing the code you gave me above, I used the following: xy=G(x)*G(y) P = G.subgroup([xy]) G.cosets(P, side='left')

( 2013-10-24 22:40:09 +0200 )edit

The method "cosets" simply does not exist... Most computation with groups (especially permutation groups and finitely presented groups) are done with GAP but not all functionalities are accessible through Sage. So you need to learn a bit of GAP.

( 2013-10-24 23:18:06 +0200 )edit