\begin{definition}[Definition:Pure Transcendental Extension]
Let $K$ be a field.
A '''pure transcendental extension''' is a field extension $L / K$ such that:
:for some set $\left\{ {X_\alpha: \alpha \in A}\right\}$, $L$ is the field of rational functions in the indeterminates $\left\{ {X_\alpha}\right\}$.
Category:Definitions/Field Extensions
\end{definition}