An Identity Satisfied By Derivations of a Purely Inseparable Field

From MaRDI portal





Let \(k(a)/k\) be a purely inseparable field extension of characteristic \(p\) and of degree \(p\). If \(\varphi\) is a nonzero \(k\)-linear derivation of \(k(a)\), then there is a unique element \(u\) in \(k(a)\) such that \(\varphi=u^{-1}D\) where \(D\) is the \(k\)-linear derivation of \(k(a)\) such that \(D(a) =1\). The main result of this paper is that \(\varphi\) satisfies the identity \(\varphi^p=b\varphi\), where \(b=-D^{p-1}(u)/u^p\). lt is noted that the equation \(\varphi^p=b\varphi\) but not the explicit evaluation of \(b\) can also be obtained by way of Jacobson's Galois theory [\textit{N. Jacobson}, Lectures in abstract algebra. Vol. III: Theory of fields and Galois theory. Princeton etc.: D. Van Nostrand Company (1964; Zbl 0124.27002), p. 190, equation 34]. Other identities are given in this paper.











This page was built for publication: An Identity Satisfied By Derivations of a Purely Inseparable Field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5666661)