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

[Alexander Konovalov]

Dear Robert,

For a finite p-group G, GAP can construct two other similarly defined  
Lie algebras,
namely JenningsLieAlgebra( G ) and PCentralLieAlgebra ( G ).

Type ?JenningsLieAlgebra or ?PCentralLieAlgebra in GAP prompt to see  
the description.
Maybe one of those is what you are looking for.

Best wishes,
Alexander


On 5 Jun 2008, at 18:33, Ellis, Grahamj wrote:

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