In abstract algebra, the transcendence degree of a field extension L /K is a certain rather coarse measure of the "size" of the extension. Specifically, it is defined as the largest cardinality of an algebraically independent subset of L over K.
A subset S of L is a transcendence basis of L /K if it is algebraically independent over K and if furthermore L is an algebraic extension of the field K(S) (the field obtained by adjoining the elements of S to K). One can show that every field extension has a transcendence basis, and that all transcendence bases have the same cardinality; this cardinality is equal to the transcendence degree of the extension and is denoted trdegK L or trdeg(L /K).
If no field K is specified, the transcendence degree of a field L is its degree relative to the prime field of the same characteristic, i.e., Q if L is of characteristic 0 and Fp if L is of characteristic p.
The field extension L /K is purely transcendental if there is a subset S of L that is algebraically independent over K and such that L = K(S).
Read more about Transcendence Degree: Examples, Analogy With Vector Space Dimensions, Facts, Applications
Famous quotes containing the word degree:
“It is open to question whether the highly individualized characters we find in Shakespeare are perhaps not detrimental to the dramatic effect. The human being disappears to the same degree as the individual emerges.”
—Franz Grillparzer (1791–1872)