Differentially separable extension of positive characteristic p

ft is well known in field theory that if \(a_ 1,\dots,a_ s\) are separably algebraic elements of an extension of a field \(K\), there exists an element \(b\) such that \(K(a_ 1,\dots,a_ s)=K(b)\). E. R. Kolchin has proved that for the usual derivation such an extension can be done under a condition: if elements \(a_ 1,\dots,a_ s\) of a differential extension of a differential field \(K\) are differentially separable dependent over \(K\), i.e., for each \(i\) \((1\leq i\leq s)\), there is a differential polynomial \(F_ i(X_ 1,\dots,X_ s)\) over \(K\) such that \(F_ i(a_ 1,\dots,a_ s)=0\) and \((\partial F_ i/\partial (\theta_ iX))(a_ 1,\dots,a_ s)\neq 0\) for some differential operator \(\theta_ i\), there exists an element \(b\) such that the differential field \(K\langle a_ 1,\ldots,a_ s\rangle\) i.e., the smallest differential extension field of \(K\) containing \(a_ 1,\dots,a_ s\) is equal to \(K(b)\). In the paper Hasse's differentiation, i.e., an iterative higher derivation of infinite rank, is used to generalize this result for positive characteristic \(p\).

Recommendations

Cited in

(10)

This page was built for publication: Differentially separable extension of positive characteristic \(p\)

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