[GAP Forum] question about subgroups

[Sven Reichard]

-----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-----