Definition 15.46.1. Let $p$ be a prime number. Let $k \to K$ be an extension of fields of characteristic $p$. Denote $kK^ p$ the compositum of $k$ and $K^ p$ in $K$.

A subset $\{ x_ i\} \subset K$ is called

*p-independent over $k$*if the elements $x^ E = \prod x_ i^{e_ i}$ where $0 \leq e_ i < p$ are linearly independent over $kK^ p$.A subset $\{ x_ i\} $ of $K$ is called a

*p-basis of $K$ over $k$*if the elements $x^ E$ form a basis of $K$ over $kK^ p$.

## Comments (0)

There are also: