[GAP Forum] ConjugacyClasses
Stefan Kohl
stefan at mcs.st-and.ac.uk
Thu Feb 7 15:47:46 GMT 2013
On Thu, February 7, 2013 3:34 pm, Stefan Witzel wrote:
> can anyone explain the following behavior to me (saying that PSL(3,2) has to distinct
> conjugacy classes that are conjugate)?
>
> vec1:=[1,0,0]*Z(2)^0;;
> sl:=SL(3,2);;
> orb:=Orbit(sl,vec1,OnLines);;
> act:=ActionHomomorphism(sl,orb,OnLines);;
> psl:=Image(act);;
> ConjugacyClasses(psl);
>
> [ ()^G, (3,4)(6,7)^G, (2,3,5,4)(6,7)^G, (2,3,6)(4,7,5)^G, (1,2,3,4,7,5,6)^G,
> (1,2,3,5,6,7,4)^G ]
>
> g:=Representative(ConjugacyClasses(psl)[5]);;
> h:=Representative(ConjugacyClasses(psl)[6]);;
> c:=(2,6,4)(3,5,7);;
> c*g^(-1)*c^(-1)=h;
>
> true
>
> IsSubgroup(psl,Group(c));
>
> true
The point is that the 6th conjugacy class in the list consists of the
inverses of the elements of the 5th conjugacy class (in particular the
elements in these classes are not conjugate to their inverses):
gap> ccl := ConjugacyClasses(psl);
[ ()^G, (3,4)(6,7)^G, (2,3,5,4)(6,7)^G, (2,3,6)(4,7,5)^G, (1,2,3,4,7,5,6)^G,
(1,2,3,5,6,7,4)^G ]
gap> Set(AsList(ccl[6])) = Set(List(AsList(ccl[5]),g->g^-1));
true
gap> IsConjugate(psl,Representative(ccl[5]),Representative(ccl[6]));
false
gap> IsConjugate(psl,Representative(ccl[5]),Representative(ccl[6])^-1);
true
Hope this helps,
Stefan Kohl
More information about the Forum
mailing list