Transcendental extension: Difference between revisions

Content deleted Content added

Inline

Revision as of 09:15, 8 April 2023

In mathematics, a transcendental extension L / K is a field extension such that there exists a transcendental element in L over K; i.e., an element that is not a root of any polynomial over K. In other words, a transcendental extension is a field extension that is not algebraic. For example, $\mathbb {C} ,\mathbb {R}$ are both transcendental extensions over $\mathbb {Q}$ .

The cardinality of a maximal algebraically independent subset of L over K, like that of a basis for a vector space, turns out to be independent of a choice of the set and the cardinality is called the transcendence degree of the extension. Thus, a field extension is a transcendental extension if and only if the transcendence degree of it is positive.

Transcendental extensions appear especially in algebraic geometry: if $f:X\to Y$ is a morphism between algebraic varieties that is dominant (has dense image), then the pull-back of rational functions determine the field extension $k(X)/f^{*}(k(Y))$ . Then the transcendence degree is the relative dimension of the morphism.

Transcendence basis

Zorn's lemma shows there exists a maximal linearly independent subset of a vector space (i.e., a basis). A similar argument with Zorn's lemma shows that, given a field extension L / K, there exists a maximal algebraically independent subset of L over K.^[1] It is then called a transcendence basis. Note, by maximality, if S is a transcendence basis, then L is an algebraic extension of the field K(S), the field obtained by adjoining the elements of S to K.

The exchange lemma (a version for algebraically independent sets^[2]) implies that if S, S' are transcendence bases, then S and S' have the same cardinality (i.e., there exists a bijection between them). Then the common cardinality of transcendence bases is called the transcendence degree of L over K and is denoted as $\operatorname {tr.deg.} _{K}L$ . There is thus an analogy: a transcendence basis and transcendence degree, on the one hand, and a basis and dimension on the other hand. This analogy can be made more formal, by observing that linear independence in vector spaces and algebraic independence in field extensions both form examples of finitary matroids (pregeometries). Any finitary matroid has a basis, and all bases have the same cardinality.^[3]

If G is a generating set of L (i.e., L = K(G)), then a transcendence basis for L can be taken as a subset of G. In particular, $\operatorname {tr.deg.} _{K}L\leq$ the minimum cardinality of generating sets of L over K. Also, a finitely generated field extension admits a finite transcendence basis.

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., the rational numbers field Q if L is of characteristic 0 and the finite field F_p 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).

A separating transcendence basis of L / K is a transcendence basis S such that L is a separable algebraic extension over K(S). A field extension L / K is said to be separably generated if it admits a separating transcendence basis.^[4] Over a perfect field, every finitely generated field extension admits a finite separating transcendence basis.^[5]

Examples

An extension is algebraic if and only if its transcendence degree is 0; the empty set serves as a transcendence basis here.
The field of rational functions in n variables K(x₁,...,x_n) (i.e. the field of fractions of the polynomial ring K[x₁,...,x_n]) is a purely transcendental extension with transcendence degree n over K; we can for example take {x₁,...,x_n} as a transcendence base.
More generally, the transcendence degree of the function field L of an n-dimensional algebraic variety over a ground field K is n.
Q(√2, e) has transcendence degree 1 over Q because √2 is algebraic while e is transcendental.
The transcendence degree of C or R over Q is the cardinality of the continuum. (Since Q is countable, the field Q(S) will have the same cardinality as S for any infinite set S, and any algebraic extension of Q(S) will have the same cardinality again.)
The transcendence degree of Q(e, π) over Q is either 1 or 2; the precise answer is unknown because it is not known whether e and π are algebraically independent.
If S is a compact Riemann surface, the field C(S) of meromorphic functions on S has transcendence degree 1 over C.

Facts

If M / L and L / K are field extensions, then

trdeg(M / K) = trdeg(M / L) + trdeg(L / K)

This is proven by showing that a transcendence basis of M / K can be obtained by taking the union of a transcendence basis of M / L and one of L / K.

If the set S is algebraically independent over K, then the field K(S) is isomorphic to the field of rational functions over K in a set of variables of the same cardinality as S. Each such rational function is a fraction of two polynomials in finitely many of those variables, with coefficients in K.

Two algebraically closed fields are isomorphic if and only if they have the same characteristic and the same transcendence degree over their prime field.^[6]

The transcendence degree of an integral domain

Let $A\subset B$ be commutative rings. If B is an integral domain, so is A and $Q(B)/Q(A)$ is a field extension where $Q(A),Q(B)$ are the fields of fractions of A, B. Then the transcendence degree of B over A is defined as the transcendence degree of Q(B) over Q(A).

The Noether normalization lemma says in particular that if R is an integral domain that is a finitely generated k-algebra, k a field, then the Krull dimension of R is the transcendence degree of R over k. This has the following geometric interpretation: if X is an algebraic variety over k (which is defined as a certain scheme if k is not necessarily algebraically closed), then the dimension of X is the dimension of any of open affine subsets of X, which is the Krull dimension of the coordinate ring of the set or the transcendence degree of the function field k(X) of X. Thus, taking R to be the coordinate ring of any of open affine subsets of X, the dimension of X is precisely the transcendence degree of the function field k(X) (or any coordinate ring R) over k.

Applications

Transcendence bases are a useful tool to prove various existence statements about field homomorphisms. Here is an example: Given an algebraically closed field L, a subfield K and a field automorphism f of K, there exists a field automorphism of L which extends f (i.e. whose restriction to K is f). For the proof, one starts with a transcendence basis S of L / K. The elements of K(S) are just quotients of polynomials in elements of S with coefficients in K; therefore the automorphism f can be extended to one of K(S) by sending every element of S to itself. The field L is the algebraic closure of K(S) and algebraic closures are unique up to isomorphism; this means that the automorphism can be further extended from K(S) to L.

As another application, we show that there are (many) proper subfields of the complex number field C which are (as fields) isomorphic to C. For the proof, take a transcendence basis S of C / Q. S is an infinite (even uncountable) set, so there exist (many) maps f: S → S which are injective but not surjective. Any such map can be extended to a field homomorphism Q(S) → Q(S) which is not surjective. Such a field homomorphism can in turn be extended to the algebraic closure C, and the resulting field homomorphisms C → C are not surjective.

The transcendence degree can give an intuitive understanding of the size of a field. For instance, a theorem due to Siegel states that if X is a compact, connected, complex manifold of dimension n and K(X) denotes the field of (globally defined) meromorphic functions on it, then trdeg_C(K(X)) ≤ n.

References

^ Milne, Theorem 9.13.
^ Milne, Lemma 9.6.
^ Joshi, K. D. (1997), Applied Discrete Structures, New Age International, p. 909, ISBN 9788122408263.
^ Hartshorne, Ch I, § 4, just before Theorem 4.7.A
^ Milne, Theorem 9.27.
^ Milne, Proposition 9.16.

Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Milne, James, Field Theory (PDF)
§ 6.3. of Shimura, Goro (1971), Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, vol. 11, Tokyo: Iwanami Shoten, Zbl 0221.10029

[1] Milne, Theorem 9.13.

[2] Milne, Lemma 9.6.

[3] Joshi, K. D. (1997), Applied Discrete Structures, New Age International, p. 909, ISBN 9788122408263.

[4] Hartshorne, Ch I, § 4, just before Theorem 4.7.A

[5] Milne, Theorem 9.27.

[6] Milne, Proposition 9.16.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 47: / Line 47: @@
 Let <math>A \subset B</math> be commutative rings. If ''B'' is an integral domain, so is ''A'' and <math>Q(B)/Q(A)</math> is a field extension where <math>Q(A), Q(B)</math> are the fields of fractions of ''A'', ''B''. Then the transcendence degree of ''B'' over ''A'' is defined as the transcendence degree of ''Q''(''B'') over ''Q''(''A'').
-The [[Noether normalization lemma]] says in particular that if ''R'' is an integral domain that is a finitely generated ''k''-algebra, ''k'' a field, then the [[Krull dimension]] of ''R'' is the transcendence degree of ''R'' over ''K''. This has the following geometric interpretation: if ''X'' is an [[algebraic variety]] over ''k'' (which is defined as a certain scheme if ''k'' is not necessarily algebraically closed), then the [[dimension of an algebraic variety|dimension]] of ''X'' is the dimension of any of open affine subsets of ''X'', which is the Krull dimension of the coordinate ring of the set or the transcendence degree of the function field ''k''(''X'') of ''X''. Thus, taking ''R'' to be the coordinate ring of any of open affine subsets of ''X'', the dimension of ''X'' is precisely the transcendence degree of the function field ''k''(''X'') (or any coordinate ring ''R'') over ''k''.
+The [[Noether normalization lemma]] says in particular that if ''R'' is an integral domain that is a finitely generated ''k''-algebra, ''k'' a field, then the [[Krull dimension]] of ''R'' is the transcendence degree of ''R'' over ''k''. This has the following geometric interpretation: if ''X'' is an [[algebraic variety]] over ''k'' (which is defined as a certain scheme if ''k'' is not necessarily algebraically closed), then the [[dimension of an algebraic variety|dimension]] of ''X'' is the dimension of any of open affine subsets of ''X'', which is the Krull dimension of the coordinate ring of the set or the transcendence degree of the function field ''k''(''X'') of ''X''. Thus, taking ''R'' to be the coordinate ring of any of open affine subsets of ''X'', the dimension of ''X'' is precisely the transcendence degree of the function field ''k''(''X'') (or any coordinate ring ''R'') over ''k''.
 == Applications ==