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 .
Definition.
Suppose "k" is a field of characteristic "p" and "K" is a field extension. A "p"-basis is a set of elements "x""i" of "K" such that the elements "dx""i" form a basis for the "K"-vector space Ω"K"/"k" of differentials.