[GAP Forum] Abelianizations of Subgroups

[GH UQ]

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

http://www.gap-system.org/Manuals/pkg/edim/xmldoc/chap0.html

enables you to do this.

Best wishes...  George Havas   http://www.itee.uq.edu.au/~havas