Definition:Pure Transcendental Extension

From ProofWiki
Jump to navigation Jump to search

Definition

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\}$.