-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Robert Heffernan wrote: | Hi. I am using the SmallGroups package and I would like to determinewhether one smallgroup is a subgroup of another smallgroup. Forexample: | gap> G:=SmallGroup(12,3);;gap> H:=SmallGroup(4,2);;gap> IsSubgroup(G,H);false | SmallGroup(12,3) is A4 and SmallGroup(4,2) is C2xC2 so I would expect"true" as the outcome of the last statement above. | Is there a way to check if a given group is a subgroup of another, ie.to check if a group H is isomorphic to a subgroup of group G? | For reference, my version of GAP is:GAP4, Version: 4.4.6 of 02-Sep-2005, i686-pc-cygwin-gcc | thank you for your time,Robert Heffernan |
This might not be the most elegant way, but it should work: gap> ForAny(ConjugacyClassesSubgroups(G), x -> ~ IdGroup(H) = IdGroup(Representative(x))); Hope this helps, Sven. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.1 (MingW32) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFDTPRQehCnTsoTEiURAsXYAJ9u/PgTktiwPoxC0LZrubYOhI/2OACfYIgM 2DAWM5xG1NXd+x6gGO6NeXE= =obki -----END PGP SIGNATURE----- _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
