Differential closure of differential field of positive characteristic (Q1820201)

Let K be a partial differential field of positive characteristic p. The largest differential extension of K in an algebraic closure \(\bar K\) is called differential closure of K in \(\bar K\) and denoted by \(K_{\Delta}\). It plays an important role in the Galois theory of differential fields of positive characteristic p which is developed in the works by K. Okygawa and the author. In the paper some results about the properties of the differential closure are obtained. For example: Theorem 3. If L is a differential extension of \(K_{\Delta}\), then L is regular over \(K_{\Delta}\).