Restricted Lazard elimination and modular Lie powers

摘要

We exhibit a variation of the Lazard Elimination theorem for free restricted Lie algebras, and apply it to two problems about finite group actions on free Lie algebras over fields of positive characteristic.