RELATIONS OF DERIVATIVE ALGEBRA AND RING OF DIFFERENTIAL OPERATORS IN CHARACTERISTIC p>0

摘要

Let K be a field of characteristic p>0 . We prove that the derivative algebra of K[x 1,…,x n] is a proer subring of the ring of differential operators of K[x 1,…,x n] . A concrete example is given to show that there is a differential operator of order p that does not belong to the derivative algebra. By these results, is follows that the derivative algebra is Morita equivalent to K[x p 1,…,x p n] , and hence its global homological dimension, Krull dimension, K 0 group and some other properties are got.