Derivations of Lie $p$-rings with applications on ring extensions and computational methods

Derivations are a well-known concept in the theory of Lie algebras. Here we investigate them for Lie $p$-rings. We show how they apply in the construction of cyclic extensions and in computational methods; in particular, we demonstrate that a consistency test for Lie $p$-presentations can be facilitated using derivations. The consistency test generalizes inspecific cases to parametrised Lie $p$-presentations and, further, to the construction of Lie $p$-covers. These provide a first building block towards a symbolic Lie $p$-ring generation algorithm.