[GAP Forum] Abelianizations of Subgroups

GH UQ 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
> 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:


enables you to do this.

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

More information about the Forum mailing list