Lagmental Vicfred

Transcendence Degree Counts Algebraically Independent Parameters by Vicfred

tags: mathematics, field extensions, minimal polynomials, degrees

A transcendence basis is a maximal family satisfying no nonzero polynomial relation over the base field. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

Statement

An extension \(L/K\) is a vector space together with compatible multiplication. The degree \([L:K]\) is its vector-space dimension, so bases and minimal polynomials control field size.

$$ \operatorname{trdeg}_K L=|B|,\qquad B\ \text{a transcendence basis} $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ L\ \text{is algebraic over }K(B) $$

Worked algebra

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \operatorname{trdeg}_k k(x_1,\ldots,x_n)=n,\qquad P(x_1,\ldots,x_n)=0\Longrightarrow P=0 $$

Conceptual compression

The two-row display is also a debugging tool: if the conclusion changes when only notation changes, some hidden choice has entered the argument.

$$ \begin{aligned} \mathsf{D}\;&:\quad \operatorname{trdeg}_K L=|B|,\qquad B\ \text{a transcendence basis},\\[5pt] \mathsf{C}\;&:\quad L\ \text{is algebraic over }K(B). \end{aligned} $$

Caveat

The tower formula requires finite degrees for ordinary integer multiplication. Infinite extensions need cardinal dimensions or separate algebraic arguments.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] L\ \text{is algebraic over }K(B) \end{gathered}} $$

The final box is a summary, not a new assumption; the proof still lives in the definitions and the intervening calculation. The source keeps each scope delimiter visible for later inspection.

This article was posted on Wed 01 April 2026. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.