On the restricted Lie algebra structure of the Witt Lie algebra in finite characteristic (Q1812423)

Let \(\mathbb{F}\) be a field of prime characteristic \(p\), \(A=\mathbb{F}[x]/(x^p-1)\) and \(W= \operatorname {Der}A\). \(W\) is called the Witt algebra, which is a restricted Lie algebra. Denote \(\partial =\frac d{dx}\). The authors show that, for every \(f\in A\), (a) \((f\partial)^p=C(f)f\partial \) , where \(C(f)\) is a constant (depending on \(f\)); (b) The expression \(\partial (f\partial (\dots (f\partial f)\dots)\) (with \(p-1\) letters \( \partial \) and \(p-1\) letters \(f\)) is equal to \(C(f)\); (c) \(\partial ^{p-1}f^{p-1}=-C(f)\). The proofs of (a) and (b) are quite easy; while in showing (c) the authors prove and apply some combinatorial lemmas which may be of independent interest.