Definition 10.41.1. Let $k \subset K$ be a field extension.

We say $K$ is

*separably generated over $k$*if there exists a transcendence basis $\{ x_ i; i \in I\} $ of $K/k$ such that the extension $k(x_ i; i\in I) \subset K$ is a separable algebraic extension.We say $K$ is

*separable over $k$*if for every subextension $k \subset K' \subset K$ with $K'$ finitely generated over $k$, the extension $k \subset K'$ is separably generated.

## Comments (0)

There are also: