Differentially separable extension of positive characteristic \(p\) (Q1814217)

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\).