Transcendence degree

Summary

The transcendence degree of a field extension $L/K$ is the cardinality of a transcendence basis. It counts the algebraically independent elements needed so that the rest is algebraic. It does not depend on the choice of basis. It is the field-theoretic notion of dimension: the function field of an irreducible variety has transcendence degree equal to the dimension of the variety.