transcendental extension

Think of the base field as a box of numbers you already understand, where every newcomer can be pinned down by some polynomial equation with coefficients you know. A transcendental extension breaks out of that box: it contains at least one element so wild that no nonzero polynomial over the base field has it as a root. The element is not the solution to any algebraic riddle you can write down — it floats free, like an independent variable rather than a fixed number.

Precisely, an extension L of a field K is transcendental if some element t in L is transcendental over K, meaning t satisfies no nonzero polynomial p with coefficients in K. Equivalently, the subring K[t] is isomorphic to a genuine polynomial ring in one indeterminate, so t behaves exactly like a free variable. An extension that is not algebraic — not every element being a root of some K-polynomial — is exactly a transcendental one.

Be careful: 'transcendental extension' means the extension contains some transcendental element, not that every element is transcendental. The reals over the rationals are a transcendental extension because pi and e are transcendental, even though sqrt(2) inside it is algebraic. To capture how transcendental an extension is, one counts a maximal independent family of such elements via transcendence degree.