Transcendence degree
= Transcendence degree
{title2=$\operatorname{trdeg}_kL$}
The transcendence degree is the cardinality of a <transcendence basis>. It counts independent transcendental parameters. In a finitely generated separably generated <field extension>, it equals the dimension of the <Kähler differentials> as a vector space over the extension field.