On some invariants of fields of characteristic p>0

Let K be a field of characteristic p>0, the K-vector space of n-differential forms and the Artin–Schreier operator given by . Let and define . We show that for any finite extension L/K, νp(K) νp(L) νp(K)+1.