[GAP Forum] Problem with orbits on RightTransversal

Anvita anvita21 at usa.com
Wed Jul 4 22:04:24 BST 2007


Dear forum,

The first part of the following code returns a strange result:
two orbits of size 6 on a 6-element right transversal.
Shouldn't the given action coincide with the action on
the right cosets as shown in the second part of the code?

Thank you,
Anvita

----------------------------------------------------------------
gap>
gap> S4:=SymmetricGroup(4);
Sym( [ 1 .. 4 ] )
gap> S3:=SymmetricGroup(3);
Sym( [ 1 .. 3 ] )
gap> K:=Group((1,2),(1,2)(3,4));
Group([ (1,2), (1,2)(3,4) ])
gap> RT:=RightTransversal(S4,K);
RightTransversal(Sym( [ 1 .. 4 ] ),Group([ (1,2), (1,2)(3,4) ]))
gap> ORT:=Orbits(S3,RT,OnRight);;
gap> List(ORT,Size);
[ 6, 6 ]
gap>
gap>############################################################
gap>
gap> RC:=RightCosets(S4,K);;
gap> ORC:=Orbits(S3,RC,OnRight);;
gap> List(ORC,Size);
[ 3, 3 ]
gap>
----------------------------------------------------------------


=
Make Alternative Medicine at Home
Use our empty capsules and our capsule-filling machines to create your own alternative medicines in the comfort of your own home.
http://a8-asy.a8ww.net/a8-ads/adftrclick?redirectid=3ab280b45adaa32bb728985f9cefeb74




More information about the Forum mailing list