In mathematics, the Haran diamond theorem gives a general sufficient condition for a separable extension of a Hilbertian field to be Hilbertian.
Let K be a Hilbertian field and L a separable extension of K. Assume there exist two Galois extensions N and M of K such that L is contained in the compositum NM, but is contained in neither N nor M. Then L is Hilbertian.
The name of the theorem comes from the pictured diagram of fields, and was coined by Jarden.
This theorem was firstly proved using non-standard methods by Weissauer. It was reproved by Fried using standard methods. The latter proof led Haran to his diamond theorem.
Let K be a Hilbertian field, N a Galois extension of K, and L a finite proper extension of N. Then L is Hilbertian.
If L is finite over K, it is Hilbertian; hence we assume that L/K is infinite. Let x be a primitive element for L/N, i.e., L = N(x).
Let M be the Galois closure of K(x). Then all the assumptions of the diamond theorem are satisfied, hence L is Hilbertian.
Another, preceding to the diamond theorem, sufficient permanence condition was given by Haran–Jarden: Theorem. Let K be a Hilbertian field and N, M two Galois extensions of K. Assume that neither contains the other. Then their compositum NM is Hilbertian.
This theorem has a very nice consequence: Since the field of rational numbers, Q is Hilbertian (Hilbert's irreducibility theorem), we get that the algebraic closure of Q is not the compositum of two proper Galois extensions.
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, 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.
In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups.
Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject.
In mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of distinct roots is equal to the degree of the polynomial.
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 mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subfield.
In field theory, the primitive element theorem is a result characterizing the finite degree field extensions that can be generated by a single element. Such a generating element is called a primitive element of the field extension, and the extension is called a simple extension in this case. The theorem states that a finite extension is simple if and only if there are only finitely many intermediate fields. An older result, also often called "primitive element theorem", states that every finite separable extension is simple; it can be seen as a consequence of the former theorem. These theorems imply in particular that all algebraic number fields over the rational numbers, and all extensions in which both fields are finite, are simple.
In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.
In number theory, Hilbert's irreducibility theorem, conceived by David Hilbert in 1892, states that every finite set of irreducible polynomials in a finite number of variables and having rational number coefficients admit a common specialization of a proper subset of the variables to rational numbers such that all the polynomials remain irreducible. This theorem is a prominent theorem in number theory.
In mathematics, a field F is called quasi-algebraically closed (or C1) if every non-constant homogeneous polynomial P over F has a non-trivial zero provided the number of its variables is more than its degree. The idea of quasi-algebraically closed fields was investigated by C. C. Tsen, a student of Emmy Noether, in a 1936 paper (Tsen 1936); and later by Serge Lang in his 1951 Princeton University dissertation and in his 1952 paper (Lang 1952). The idea itself is attributed to Lang's advisor Emil Artin.
In mathematics, the absolute Galois groupGK of a field K is the Galois group of Ksep over K, where Ksep 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 thin set in the sense of Serre, named after Jean-Pierre Serre, is a certain kind of subset constructed in algebraic geometry over a given field K, by allowed operations that are in a definite sense 'unlikely'. The two fundamental ones are: solving a polynomial equation that may or may not be the case; solving within K a polynomial that does not always factorise. One is also allowed to take finite unions.
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 commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and aj in A such that
In mathematics, a separable algebra is a kind of semisimple algebra. It is a generalization to associative algebras of the notion of a separable field extension.
In mathematics, field arithmetic is a subject that studies the interrelations between arithmetic properties of a field and its absolute Galois group. It is an interdisciplinary subject as it uses tools from algebraic number theory, arithmetic geometry, algebraic geometry, model theory, the theory of finite groups and of profinite groups.
In field theory, a branch of algebra, a field extension is said to be regular if k is algebraically closed in L and L is separable over k, or equivalently, is an integral domain when is the algebraic closure of .
In mathematics and more specifically in field theory, a radical extension of a field K is an extension of K that is obtained by adjoining a sequence of nth roots of elements.
Moshe Jarden is an Israeli mathematician, specialist in field arithmetic.