[GAP Forum] restricted lie algebras

[Willem De Graaf]

Dear Laurent,

>dear forum,
>i see in gap the command "FreeLieAlgebra", but no command
>"FreeRestrictedLieAlgebra". Has anybody implemented this? is it
>difficult?
>  
>
>I would very much like, then, to have
>"NilpotentQuotientRestrictedFpLieAlgebra"; though this may pose
>a problem in the current implementation because the p-mapping
>is always given as a function, and not as an intrinsic operation.
>any ideas?
>  
>
As far as I know this problem has not been considered before (but I might
be wrong of course). It would involve adding a basis element b^p for
every basis element of the free Lie algebra (and then (b^p)^p and so on).
At the moment I don't see any theoretical restrictions for making a function
"NilpotentQuotientRestrictedFpLieAlgebra". (But I might be wrong there too.)
In any case, the way the p-mapping is represented should not make a
difference, I think.

Best wishes,

Willem