You can try DirectFactorsOfGroup(G);
You can also try StructureDescription(G), but keep in mind that that
sometimes works very slowly, and it doesn't give you the actual subgroups.
For example:
gap> G:=DirectProduct(SmallGroup(8,4),DihedralGroup(8));
<pc group of size 64 with 6 generators>
gap> DirectFactorsOfGroup(G);
#I Step 3, 4 invariant subgroups
#I Step 4, 15 invariant subgroups
#I Step 5, 66 invariant subgroups
#I Step 6, 77 invariant subgroups
#I Step 7, 90 invariant subgroups
#I Step 3, 4 invariant subgroups
#I Step 4, 5 invariant subgroups
#I Step 3, 4 invariant subgroups
#I Step 4, 5 invariant subgroups
[ Group([ f1, f2, f3 ]), Group([ f3*f4, f5, f6 ]) ]
gap> StructureDescription(G);
"Q8 x D8"
By the way, is it possible for some future version of GAP to have the
functions QuaternionGroup, SemidihedralGroup and ModularGroup?
Joe
T 145 wrote:
With apologies if this is a FAQ ... how do I get GAP to decompose (factorise) a
group into the essentially-unique direct product of indecomposable groups?
Thanks,
Ed.
_________________________________________________________________
Discover Bird's Eye View now with Multimap from Live Search
http://clk.atdmt.com/UKM/go/111354026/direct/01/_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
