P-basis explained

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 xi of K such that the elements dxi form a basis for the K-vector space ΩK/k of differentials.

Examples