Algebraic closure

Last updated December 14, 2024

In mathematics, particularly abstract algebra, an algebraic closure of a field K is an algebraic extension of K that is algebraically closed. It is one of many closures in mathematics.

Using Zorn's lemma ^[1]^[2]^[3] or the weaker ultrafilter lemma,^[4]^[5] it can be shown that every field has an algebraic closure, and that the algebraic closure of a field K is unique up to an isomorphism that fixes every member of K. Because of this essential uniqueness, we often speak of the algebraic closure of K, rather than an algebraic closure of K.

The algebraic closure of a field K can be thought of as the largest algebraic extension of K. To see this, note that if L is any algebraic extension of K, then the algebraic closure of L is also an algebraic closure of K, and so L is contained within the algebraic closure of K. The algebraic closure of K is also the smallest algebraically closed field containing K, because if M is any algebraically closed field containing K, then the elements of M that are algebraic over K form an algebraic closure of K.

The algebraic closure of a field K has the same cardinality as K if K is infinite, and is countably infinite if K is finite.^[3]

Examples

The fundamental theorem of algebra states that the algebraic closure of the field of real numbers is the field of complex numbers.
The algebraic closure of the field of rational numbers is the field of algebraic numbers.
There are many countable algebraically closed fields within the complex numbers, and strictly containing the field of algebraic numbers; these are the algebraic closures of transcendental extensions of the rational numbers, e.g. the algebraic closure of Q(π).
For a finite field of prime power order q, the algebraic closure is a countably infinite field that contains a copy of the field of order qⁿ for each positive integer n (and is in fact the union of these copies).^[6]

Existence of an algebraic closure and splitting fields

Let $S=\{f_{\lambda }|\lambda \in \Lambda \}$ be the set of all monic irreducible polynomials in K[x]. For each $f_{\lambda }\in S$ , introduce new variables $u_{\lambda ,1},\ldots ,u_{\lambda ,d}$ where $d={\rm {degree}}(f_{\lambda })$ . Let R be the polynomial ring over K generated by $u_{\lambda ,i}$ for all $\lambda \in \Lambda$ and all $i\leq {\rm {degree}}(f_{\lambda })$ . Write

f_{\lambda }-\prod _{i=1}^{d}(x-u_{\lambda ,i})=\sum _{j=0}^{d-1}r_{\lambda ,j}\cdot x^{j}\in R[x]

with $r_{\lambda ,j}\in R$ . Let I be the ideal in R generated by the $r_{\lambda ,j}$ . Since I is strictly smaller than R, Zorn's lemma implies that there exists a maximal ideal M in R that contains I. The field K₁=R/M has the property that every polynomial $f_{\lambda }$ with coefficients in K splits as the product of $x-(u_{\lambda ,i}+M),$ and hence has all roots in K₁. In the same way, an extension K₂ of K₁ can be constructed, etc. The union of all these extensions is the algebraic closure of K, because any polynomial with coefficients in this new field has its coefficients in some K_n with sufficiently large n, and then its roots are in K_n+1, and hence in the union itself.

It can be shown along the same lines that for any subset S of K[x], there exists a splitting field of S over K.

Separable closure

An algebraic closure K^alg of K contains a unique separable extension K^sep of K containing all (algebraic) separable extensions of K within K^alg. This subextension is called a separable closure of K. Since a separable extension of a separable extension is again separable, there are no finite separable extensions of K^sep, of degree > 1. Saying this another way, K is contained in a separably-closed algebraic extension field. It is unique (up to isomorphism).^[7]

The separable closure is the full algebraic closure if and only if K is a perfect field. For example, if K is a field of characteristic p and if X is transcendental over K, $K(X)({\sqrt[{p}]{X}})\supset K(X)$ is a non-separable algebraic field extension.

In general, the absolute Galois group of K is the Galois group of K^sep over K.^[8]

Related Research Articles

In mathematics, an algebraic extension is a field extension $L / K$ such that every element of the larger field $L$ is algebraic over the smaller field $K$ ; that is, every element of $L$ is a root of a non-zero polynomial with coefficients in $K$ . A field extension that is not algebraic, is said to be transcendental, and must contain transcendental elements, that is, elements that are not algebraic.

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

In mathematics, a set $B$ of vectors in a vector space $V$ is called a basis if every element of $V$ may be written in a unique way as a finite linear combination of elements of $B$ . The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to $B$ . The elements of a basis are called basis vectors.

In mathematical logic, model theory is the study of the relationship between formal theories, and their models. The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.

In mathematics, Hilbert's Nullstellensatz is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields. This relationship was discovered by David Hilbert, who proved the Nullstellensatz in his second major paper on invariant theory in 1893.

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C), and it has as a subgroup the special unitary group, consisting of those unitary matrices with determinant 1.

In combinatorics, a branch of mathematics, a matroid is a structure that abstracts and generalizes the notion of linear independence in vector spaces. There are many equivalent ways to define a matroid axiomatically, the most significant being in terms of: independent sets; bases or circuits; rank functions; closure operators; and closed sets or flats. In the language of partially ordered sets, a finite simple matroid is equivalent to a geometric lattice.

In mathematics, a transcendental extension $is a field extension such that there exists an element in the field that is transcendental over the field; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, and are both transcendental extensions of$

Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject.

In field theory, a branch of algebra, an algebraic field extension $is called a separable extension if for every, the minimal polynomial of over F is a separable polynomial. There is also a more general definition that applies when E is not necessarily algebraic over F . An extension that is not separable is said to be inseparable .$

In algebra, a field k is perfect if any one of the following equivalent conditions holds:

In functional analysis, a branch of mathematics, a compact operator is a linear operator $, where are normed vector spaces, with the property that maps bounded subsets of to relatively compact subsets of . Such an operator is necessarily a bounded operator, and so continuous. Some authors require that are Banach, but the definition can be extended to more general spaces.$

In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "mean".

In mathematics, the absolute Galois groupG_K of a field K is the Galois group of K^sep over K, where K^sep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.

In mathematics, a field $is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967.$

In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In mathematics, the Vitali covering lemma is a combinatorial and geometric result commonly used in measure theory of Euclidean spaces. This lemma is an intermediate step, of independent interest, in the proof of the Vitali covering theorem. The covering theorem is credited to the Italian mathematician Giuseppe Vitali. The theorem states that it is possible to cover, up to a Lebesgue-negligible set, a given subset E of R^d by a disjoint family extracted from a Vitali covering of E.

In mathematics, specifically linear algebra, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator in a unique way as the sum of two other linear operators which are simpler to understand. Specifically, one part is potentially diagonalisable and the other is nilpotent. The two parts are polynomials in the operator, which makes them behave nicely in algebraic manipulations.

In mathematics, a finitely generated algebra is a commutative associative algebra over a field where there exists a finite set of elements $of such that every element of can be expressed as a polynomial in, with coefficients in .$

In number theory, more specifically in p-adic analysis, Krasner's lemma is a basic result relating the topology of a complete non-archimedean field to its algebraic extensions.

References

↑ McCarthy (1991) p.21
↑ M. F. Atiyah and I. G. Macdonald (1969). Introduction to commutative algebra. Addison-Wesley publishing Company. pp. 11–12.
1 2 Kaplansky (1972) pp.74-76
↑ Banaschewski, Bernhard (1992), "Algebraic closure without choice.", Z. Math. Logik Grundlagen Math., 38 (4): 383–385, doi:10.1002/malq.19920380136, Zbl 0739.03027
↑ Mathoverflow discussion
↑ Brawley, Joel V.; Schnibben, George E. (1989), "2.2 The Algebraic Closure of a Finite Field", Infinite Algebraic Extensions of Finite Fields, Contemporary Mathematics, vol. 95, American Mathematical Society, pp. 22–23, ISBN 978-0-8218-5428-0, Zbl 0674.12009 .
↑ McCarthy (1991) p.22
↑ Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd ed.). Springer-Verlag. p. 12. ISBN 978-3-540-77269-9. Zbl 1145.12001.

Kaplansky, Irving (1972). Fields and rings. Chicago lectures in mathematics (Second ed.). University of Chicago Press. ISBN 0-226-42451-0. Zbl 1001.16500.
McCarthy, Paul J. (1991). Algebraic extensions of fields (Corrected reprint of the 2nd ed.). New York: Dover Publications. Zbl 0768.12001.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[McC21-1] McCarthy (1991) p.21

[2] M. F. Atiyah and I. G. Macdonald (1969). Introduction to commutative algebra. Addison-Wesley publishing Company. pp. 11–12.

[Kap7476-3] 1 2 Kaplansky (1972) pp.74-76

[4] Banaschewski, Bernhard (1992), "Algebraic closure without choice.", Z. Math. Logik Grundlagen Math., 38 (4): 383–385, doi:10.1002/malq.19920380136, Zbl 0739.03027

[5] Mathoverflow discussion

[6] Brawley, Joel V.; Schnibben, George E. (1989), "2.2 The Algebraic Closure of a Finite Field", Infinite Algebraic Extensions of Finite Fields, Contemporary Mathematics, vol. 95, American Mathematical Society, pp. 22–23, ISBN 978-0-8218-5428-0, Zbl 0674.12009 .

[McC22-7] McCarthy (1991) p.22

[FJ12-8] Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd ed.). Springer-Verlag. p. 12. ISBN 978-3-540-77269-9. Zbl 1145.12001.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]