Purely transcendental extension

Summary

A purely transcendental extension of a field $K$ is an extension generated by algebraically independent elements. It is isomorphic to a field of rational functions over $K$ in some set of variables. Every field extension is an algebraic extension of a purely transcendental one, so these extensions are the building blocks of transcendental extensions.