[GAP Forum] Associated Lie Ring of a finite p-group

[Ellis, Grahamj]

>Is there a GAP function to construct the associated Lie ring of a
>finite p-group (or nilpotent group)?
>I've looked for one in the documentation but cannot find it if it exists.

>Thank you,
>Robert Heffernan

The function LowerCentralSeriesLieAlgebra in the HAP package might be what you are looking for. Details of the function can be found at http://hamilton.nuigalway.ie/Hap/doc/chap4.html#s0ss0 .
 
Graham