|
Kronecker Jugendtraum
Hilbert's twelfth problem is the extension of the Kronecker–Weber theorem on abelian extensions of the rational numbers, to any base number field. It is one of the 23 mathematical Hilbert problems and asks for analogues of the roots of unity that generate a whole family of further number fields, analogously to the cyclotomic fields and their subfields. Leopold Kronecker described the complex multiplication issue as his , or "dearest dream of his youth", so the problem is also known as Kronecker's Jugendtraum. The classical theory of complex multiplication, now often known as the , does this for the case of any imaginary quadratic field, by using modular form, modular functions and elliptic functions chosen with a particular period lattice related to the field in question. Goro Shimura extended this to CM fields. In the special case of totally real fields, Samit Dasgupta and Mahesh Kakde provided a construction of the maximal abelian extension of totally real fields using the Bru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kronecker–Weber Theorem
In algebraic number theory, it can be shown that every cyclotomic field is an abelian extension of the rational number field Q, having Galois group of the form modular arithmetic, (\mathbb Z/n\mathbb Z)^\times. The Kronecker–Weber theorem provides a partial converse: every finite abelian extension of Q is contained within some cyclotomic field. In other words, every algebraic integer whose Galois group is abelian group, abelian can be expressed as a sum of root of unity, roots of unity with rational coefficients. For example, :\sqrt = e^ - e^ - e^ + e^, \sqrt = e^ - e^, and \sqrt = e^ - e^. The theorem is named after Leopold Kronecker and Heinrich Martin Weber. Field-theoretic formulation The Kronecker–Weber theorem can be stated in terms of field (mathematics), fields and field extensions. Precisely, the Kronecker–Weber theorem states: every finite abelian extension of the rational numbers Q is a subfield of a cyclotomic field. That is, whenever an algebraic number field has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brumer–Stark Conjecture
The Brumer–Stark conjecture is a conjecture in algebraic number theory giving a rough generalization of both the analytic class number formula for Dedekind zeta functions, and also of Stickelberger's theorem about the factorization of Gauss sums. It is named after Armand Brumer and Harold Stark. It arises as a special case (abelian and first-order) of Stark's conjecture, when the place that splits completely in the extension is finite. There are very few cases where the conjecture is known to be valid. Its importance arises, for instance, from its connection with Hilbert's twelfth problem. Statement of the conjecture Let be an abelian extension of global fields, and let be a set of places of containing the Archimedean places and the prime ideals that ramify in . The -imprimitive equivariant Artin L-function is obtained from the usual equivariant Artin L-function by removing the Euler factors corresponding to the primes in from the Artin L-functions from which th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Function
In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modular forms has origins in complex analysis, with important connections with number theory. Modular forms also appear in other areas, such as algebraic topology, sphere packing, and string theory. Modular form theory is a special case of the more general theory of automorphic forms, which are functions defined on Lie groups that transform nicely with respect to the action of certain discrete subgroups, generalizing the example of the modular group \mathrm_2(\mathbb Z) \subset \mathrm_2(\mathbb R). Every modular form is attached to a Galois representation. The term "modular form", as a systematic description, is usually attributed to Erich Hecke. The importance of modular forms across multiple field of mathematics has been humorously repre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Class Field
In algebraic number theory, the Hilbert class field ''E'' of a number field ''K'' is the Maximal abelian extension, maximal abelian unramified extension of ''K''. Its degree over ''K'' equals the class number of ''K'' and the Galois group of ''E'' over ''K'' is canonically isomorphic to the ideal class group of ''K'' using Frobenius elements for prime ideals in ''K''. In this context, the Hilbert class field of ''K'' is not just unramified at the Prime number#Primes in valuation theory, finite places (the classical ideal theoretic interpretation) but also at the infinite places of ''K''. That is, every real embedding of ''K'' extends to a real embedding of ''E'' (rather than to a complex embedding of ''E''). Examples *If the ring of integers of ''K'' is a unique factorization domain, in particular if K = \mathbb , then ''K'' is its own Hilbert class field. *Let K = \mathbb(\sqrt) of Discriminant of an algebraic number field, discriminant -15. The field L = \mathbb(\sqrt, \sqr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CM-field
In mathematics, a CM-field is a particular type of number field, so named for a close connection to the theory of complex multiplication. Another name used is J-field. The abbreviation "CM" was introduced by . Formal definition A number field ''K'' is a CM-field if it is a quadratic extension ''K''/''F'' where the base field ''F'' is totally real but ''K'' is totally imaginary. I.e., every embedding of ''F'' into \mathbb C lies entirely within \mathbb R , but there is no embedding of ''K'' into \mathbb R . In other words, there is a subfield ''F'' of ''K'' such that ''K'' is generated over ''F'' by a single square root of an element, say β = \sqrt , in such a way that the minimal polynomial of β over the rational number field \mathbb Q has all its roots non-real complex numbers. For this α should be chosen ''totally negative'', so that for each embedding σ of F into the real number field, σ(α) < 0. Properties One feature of a CM-fie ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Field
In algebraic number theory, a quadratic field is an algebraic number field of Degree of a field extension, degree two over \mathbf, the rational numbers. Every such quadratic field is some \mathbf(\sqrt) where d is a (uniquely defined) square-free integer different from 0 and 1. If d>0, the corresponding quadratic field is called a real quadratic field, and, if d<0, it is called an imaginary quadratic field or a complex quadratic field, corresponding to whether or not it is a Field extension, subfield of the field of the real numbers. Quadratic fields have been studied in great depth, initially as part of the theory of binary quadratic forms. There remain some unsolved problems. The class number problem is particularly important. Ring of integers Discriminant For a nonzero square free integer , the Discriminant of an algebraic number field, discriminant of the quadratic field is |
Rational Numbers
In mathematics, a rational number is a number that can be expressed as the quotient or fraction (mathematics), fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example, The set (mathematics), set of all rational numbers is often referred to as "the rationals", and is closure (mathematics), closed under addition, subtraction, multiplication, and division (mathematics), division by a nonzero rational number. It is a field (mathematics), field under these operations and therefore also called the field of rationals or the field of rational numbers. It is usually denoted by boldface , or blackboard bold A rational number is a real number. The real numbers that are rational are those whose decimal expansion either terminates after a finite number of numerical digit, digits (example: ), or eventually begins to repeating decimal, repeat the same finite sequence of digits over and over (example: ). This st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; ; ; 30 April 177723 February 1855) was a German mathematician, astronomer, geodesist, and physicist, who contributed to many fields in mathematics and science. He was director of the Göttingen Observatory and professor of astronomy from 1807 until his death in 1855. While studying at the University of Göttingen, he propounded several mathematical theorems. As an independent scholar, he wrote the masterpieces '' Disquisitiones Arithmeticae'' and ''Theoria motus corporum coelestium''. Gauss produced the second and third complete proofs of the fundamental theorem of algebra. In number theory, he made numerous contributions, such as the composition law, the law of quadratic reciprocity and the Fermat polygonal number theorem. He also contributed to the theory of binary and ternary quadratic forms, the construction of the heptadecagon, and the theory of hypergeometric series. Due to Gauss' extensive and fundamental contributions to science ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Group
In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them. For a more elementary discussion of Galois groups in terms of permutation groups, see the article on Galois theory. Definition Suppose that E is an extension of the field F (written as E/F and read "''E'' over ''F''). An automorphism of E/F is defined to be an automorphism of E that fixes F pointwise. In other words, an automorphism of E/F is an isomorphism \alpha:E\to E such that \alpha(x) = x for each x\in F. The set of all automorphisms of E/F forms a group with the operation of function composition. This group is sometimes denoted by \operatorname(E/F). If E/F is a Galois extension, then \op ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set with an Binary operation, operation that combines any two elements of the set to produce a third element within the same set and the following conditions must hold: the operation is Associative property, associative, it has an identity element, and every element of the set has an inverse element. For example, the integers with the addition, addition operation form a group. The concept of a group was elaborated for handling, in a unified way, many mathematical structures such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry, groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of the object, and the transformations of a given type form a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
