[GAP Forum] Abelianizations of Subgroups
havas at itee.uq.edu.au
Fri Jul 18 13:46:01 BST 2008
On Fri, 18 Jul 2008, Tim Steger wrote:
> This possibility is explained a little by Havas in [Hav74b]. Suppose
> we are interested only in the elementary-$p$-part of the
> H / <[H,H] H^p> = (H / [H,H]) \otimes (Z/p)
> It should be possible to calculate this using even less time and space
> than the abelianization. Is such a variant available in GAP? In one
> of the packages? In some non-GAP program?
The GAP 4 Package EDIM:
enables you to do this.
Best wishes... George Havas http://www.itee.uq.edu.au/~havas
More information about the Forum