Splitting Of Prime Ideals In Galois Extensions
In mathematics, the interplay between the Galois group ''G'' of a Galois extension ''L'' of a number field ''K'', and the way the prime ideals ''P'' of the ring of integers ''O''''K'' factorise as products of prime ideals of ''O''''L'', provides one of the richest parts of algebraic number theory. The splitting of prime ideals in Galois extensions is sometimes attributed to David Hilbert by calling it Hilbert theory. There is a geometric analogue, for ramified coverings of Riemann surfaces, which is simpler in that only one kind of subgroup of ''G'' need be considered, rather than two. This was certainly familiar before Hilbert. Definitions Let ''L''/''K'' be a finite extension of number fields, and let ''OK'' and ''OL'' be the corresponding ring of integers of ''K'' and ''L'', respectively, which are defined to be the integral closure of the integers Z in the field in question. : \begin O_K & \hookrightarrow & O_L \\ \downarrow & & \downarrow \\ K & \hookrightarrow & L ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Prime Avoidance Lemma
In algebra, the prime avoidance lemma says that if an ideal ''I'' in a commutative ring ''R'' is contained in a union of finitely many prime ideals ''P''''i'''s, then it is contained in ''P''''i'' for some ''i''. There are many variations of the lemma (cf. Hochster); for example, if the ring ''R'' contains an infinite field or a finite field of sufficiently large cardinality, then the statement follows from a fact in linear algebra that a vector space over an infinite field or a finite field of large cardinality is not a finite union of its proper vector subspaces. Statement and proof The following statement and argument are perhaps the most standard. Statement: Let ''E'' be a subset of ''R'' that is an additive subgroup of ''R'' and is multiplicatively closed. Let I_1, I_2, \dots, I_n, n \ge 1 be ideals such that I_i are prime ideals for i \ge 3. If ''E'' is not contained in any of I_i's, then ''E'' is not contained in the union \cup I_i. Proof by induction on ''n'': The ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cubic Field
In mathematics, specifically the area of algebraic number theory, a cubic field is an algebraic number field of Degree of a number field, degree three. Definition If ''K'' is a field extension of the rational numbers Q of Degree of a field extension, degree [''K'':Q] = 3, then ''K'' is called a cubic field. Any such field (mathematics), field is isomorphic to a field of the form :\mathbf[x]/(f(x)) where ''f'' is an irreducible polynomial, irreducible cubic polynomial with coefficients in Q. If ''f'' has three real number, real root of a polynomial, roots, then ''K'' is called a totally real cubic field and it is an example of a totally real field. If, on the other hand, ''f'' has a non-real root, then ''K'' is called a complex cubic field. A cubic field ''K'' is called a cyclic cubic field if it contains all three roots of its generating polynomial ''f''. Equivalently, ''K'' is a cyclic cubic field if it is a Galois extension of Q, in which case its Galois group over Q ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Splitting Field
In abstract algebra, a splitting field of a polynomial with coefficients in a field is the smallest field extension of that field over which the polynomial ''splits'', i.e., decomposes into linear factors. Definition A splitting field of a polynomial ''p''(''X'') over a field ''K'' is a field extension ''L'' of ''K'' over which ''p'' factors into linear factors :p(X) = c \prod_^ (X - a_i) where c \in K and for each i we have X - a_i \in L /math> with ''ai'' not necessarily distinct and such that the roots ''ai'' generate ''L'' over ''K''. The extension ''L'' is then an extension of minimal degree over ''K'' in which ''p'' splits. It can be shown that such splitting fields exist and are unique up to isomorphism. The amount of freedom in that isomorphism is known as the Galois group of ''p'' (if we assume it is separable). A splitting field of a set ''P'' of polynomials is the smallest field over which each of the polynomials in ''P'' splits. Properties An extension ''L'' th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Preimage
In mathematics, for a function f: X \to Y, the image of an input value x is the single output value produced by f when passed x. The preimage of an output value y is the set of input values that produce y. More generally, evaluating f at each element of a given subset A of its domain X produces a set, called the "image of A under (or through) f". Similarly, the inverse image (or preimage) of a given subset B of the codomain Y is the set of all elements of X that map to a member of B. The image of the function f is the set of all output values it may produce, that is, the image of X. The preimage of f is the preimage of the codomain Y. Because it always equals X (the domain of f), it is rarely used. Image and inverse image may also be defined for general binary relations, not just functions. Definition The word "image" is used in three related ways. In these definitions, f : X \to Y is a function from the set X to the set Y. Image of an element If x is a member of X, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K is contained in an algebraically closed field C, and the roots in C of the polynomials with coefficients in K form an algebraically closed field called an algebraic closure of K. Given two algebraic closures of K there are isomorphisms between them that fix the elements of K. Algebraically closed fields appear in the following chain of class inclusions: Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation x^2+1=0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically cl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such that the transition maps are Holomorphic function, holomorphic. The term "complex manifold" is variously used to mean a complex manifold in the sense above (which can be specified as an ''integrable'' complex manifold) or an almost complex manifold, ''almost'' complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth manifold, smooth and complex manifolds have very different flavors: compact space, compact complex manifolds are much closer to algebraic variety, algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be Embedding, embedded as a smooth subma ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Class Field Theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field. Hilbert is credited as one of pioneers of the notion of a class field. However, this notion was already familiar to Kronecker and it was actually Weber who coined the term before Hilbert's fundamental papers came out. The relevant ideas were developed in the period of several decades, giving rise to a set of conjectures by Hilbert that were subsequently proved by Takagi and Artin (with the help of Chebotarev's theorem). One of the major results is: given a number field ''F'', and writing ''K'' for the maximal abelian unramified extension of ''F'', the Galois group of ''K'' over ''F'' is canonically isomorphic to the ideal class group of ''F''. This statement was generalized to the so called Artin reciprocity law; in the idelic language, writing '' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Frobenius Element
In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic , an important class that includes finite fields. The endomorphism maps every element to its -th power. In certain contexts it is an automorphism, but this is not true in general. Definition Let be a commutative ring with prime characteristic (an integral domain of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism ''F'' is defined by :F(r) = r^p for all ''r'' in ''R''. It respects the multiplication of ''R'': :F(rs) = (rs)^p = r^ps^p = F(r)F(s), and is 1 as well. Moreover, it also respects the addition of . The expression can be expanded using the binomial theorem. Because is prime, it divides but not any for ; it therefore will divide the numerator, but not the denominator, of the explicit formula of the binomial coefficients :\frac, if . Ther ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Theorem Of Arithmetic
In mathematics, the fundamental theorem of arithmetic, also called the unique factorization theorem and prime factorization theorem, states that every integer greater than 1 is prime or can be represented uniquely as a product of prime numbers, up to the order of the factors. For example, : 1200 = 2^4 \cdot 3^1 \cdot 5^2 = (2 \cdot 2 \cdot 2 \cdot 2) \cdot 3 \cdot (5 \cdot 5) = 5 \cdot 2 \cdot 5 \cdot 2 \cdot 3 \cdot 2 \cdot 2 = \ldots The theorem says two things about this example: first, that 1200 be represented as a product of primes, and second, that no matter how this is done, there will always be exactly four 2s, one 3, two 5s, and no other primes in the product. The requirement that the factors be prime is necessary: factorizations containing composite numbers may not be unique (for example, 12 = 2 \cdot 6 = 3 \cdot 4). This theorem is one of the main reasons why 1 is not considered a prime number: if 1 were prime, then factorization into primes would not be unique; ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |