p-basis

In algebra, a p-basis is a generalization of the notion of a separating transcendence basis for a field extension of characteristic p, introduced by Teichmüller (1936).

Suppose k is a field of characteristic p and K is a field extension.

A p-basis is a set of elements xi of K such that the elements dxi form a basis for the K-vector space ΩK/k of differentials.