|
Grössencharacter
In number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of ''L''-functions larger than Dirichlet ''L''-functions, and a natural setting for the Dedekind zeta-functions and certain others which have functional equations analogous to that of the Riemann zeta-function. Definition A Hecke character is a character of the idele class group of a number field or global function field. It corresponds uniquely to a character of the idele group which is trivial on principal ideles, via composition with the projection map. This definition depends on the definition of a character, which varies slightly between authors: It may be defined as a homomorphism to the non-zero complex numbers (also called a "quasicharacter"), or as a homomorphism to the unit circle in \mathbb ("unitary"). Any quasicharacter (of the idele class group) can be written uniquely as a unitary character times a real power of the norm, so there is n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory can often be understood through the study of Complex analysis, analytical objects, such as the Riemann zeta function, that encode properties of the integers, primes or other number-theoretic objects in some fashion (analytic number theory). One may also study real numbers in relation to rational numbers, as for instance how irrational numbers can be approximated by fractions (Diophantine approximation). Number theory is one of the oldest branches of mathematics alongside geometry. One quirk of number theory is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Ideal
In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral domain are like ideals where denominators are allowed. In contexts where fractional ideals and ordinary ring ideals are both under discussion, the latter are sometimes termed ''integral ideals'' for clarity. Definition and basic results Let R be an integral domain, and let K = \operatornameR be its field of fractions. A fractional ideal of R is an R- submodule I of K such that there exists a non-zero r \in R such that rI\subseteq R. The element r can be thought of as clearing out the denominators in I, hence the name fractional ideal. The principal fractional ideals are those R-submodules of K generated by a single nonzero element of K. A fractional ideal I is contained in R if and only if it is an (integral) ideal of R. A fractiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Motive (algebraic Geometry)
In algebraic geometry, motives (or sometimes motifs, following French usage) is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety. In the formulation of Grothendieck for smooth projective varieties, a motive is a triple (X, p, m), where X is a smooth projective variety, p: X \vdash X is an idempotent correspondence, and ''m'' an integer; however, such a triple contains almost no information outside the context of Grothendieck's category of pure motives, where a morphism from (X, p, m) to (Y, q, n) is given by a correspondence of degree n-m. A more object-focused approach is taken by Pierre Deligne in ''Le Groupe Fondamental de la Droite Projective Moins Trois Points''. In that article, a motive is a "system of realisations" – that is, a tuple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not .... Under this definition, non-irreducible algebraic varieties are called algebraic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Multiplication
In mathematics, complex multiplication (CM) is the theory of elliptic curves ''E'' that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer Lattice (group), lattice or Eisenstein integer lattice. It has an aspect belonging to the theory of special functions, because such elliptic functions, or abelian functions of several complex variables, are then 'very special' functions satisfying extra identities and taking explicitly calculable special values at particular points. It has also turned out to be a central theme in algebraic number theory, allowing some features of the theory of cyclotomic fields to be carried over to wider areas of application. David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science. There is also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gaussian Rational
In mathematics, a Gaussian rational number is a complex number of the form ''p'' + ''qi'', where ''p'' and ''q'' are both rational numbers. The set of all Gaussian rationals forms the Gaussian rational field, denoted Q(''i''), obtained by adjoining the imaginary number ''i'' to the field of rationals Q. Properties of the field The field of Gaussian rationals provides an example of an algebraic number field that is both a quadratic field and a cyclotomic field (since ''i'' is a 4th root of unity). Like all quadratic fields it is a Galois extension of Q with Galois group cyclic of order two, in this case generated by complex conjugation, and is thus an abelian extension of Q, with conductor 4. As with cyclotomic fields more generally, the field of Gaussian rationals is neither ordered nor complete (as a metric space). The Gaussian integers Z 'i''form the ring of integers of Q(''i''). The set of all Gaussian rationals is countably infinite. The field of Gaussian ra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin Reciprocity
The Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory. The term " reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem. Statement Let L/K be a Galois extension of global fields and C_L stand for the idèle class group of L. One of the statements of the Artin reciprocity law is that there is a canonical isomorphism called the global symbol mapNeukirch (1999) p.391 : \theta: C_K/ \to \operatorname(L/K)^, where \text denotes the abelianization of a group, and \operatorname(L/K) is the Galois group of L over K. The map \theta is defined by assembling the maps called the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin L-function
In mathematics, an Artin ''L''-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group ''G''. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin ''L''-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis. Definition Given \rho , a representation of G on a finite-dimensional complex vector space V, where G is the Galois group of the finite extension L/K of number fields, the Artin L-function L(\rho,s) is defined by an Euler product. For each prime ideal \mathfrak p in K's ring of integers, there is an Euler fac ... [...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] |
Ideal Norm
In commutative algebra, the norm of an ideal is a generalization of a norm of an element in the field extension. It is particularly important in number theory since it measures the size of an ideal of a complicated number ring in terms of an ideal in a less complicated ring. When the less complicated number ring is taken to be the ring of integers, Z, then the norm of a nonzero ideal ''I'' of a number ring ''R'' is simply the size of the finite quotient ring ''R''/''I''. Relative norm Let ''A'' be a Dedekind domain with field of fractions ''K'' and integral closure of ''B'' in a finite separable extension ''L'' of ''K''. (this implies that ''B'' is also a Dedekind domain.) Let \mathcal_A and \mathcal_B be the ideal groups of ''A'' and ''B'', respectively (i.e., the sets of nonzero fractional ideals.) Following the technique developed by Jean-Pierre Serre, the norm map :N_\colon \mathcal_B \to \mathcal_A is the unique group homomorphism that satisfies :N_(\mathfrak q) = \mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Series
In mathematics, a Dirichlet series is any series of the form \sum_^\infty \frac, where ''s'' is complex, and a_n is a complex sequence. It is a special case of general Dirichlet series. Dirichlet series play a variety of important roles in analytic number theory. The most usually seen definition of the Riemann zeta function is a Dirichlet series, as are the Dirichlet L-functions. Specifically, the Riemann zeta function ''ζ(s)'' is the Dirichlet series of the constant unit function ''u(n)'', namely: \zeta(s) = \sum_^\infty \frac = \sum_^\infty \frac = D(u, s), where ''D(u, s)'' denotes the Dirichlet series of ''u(n)''. It is conjectured that the Selberg class of series obeys the generalized Riemann hypothesis. The series is named in honor of Peter Gustav Lejeune Dirichlet. Combinatorial importance Dirichlet series can be used as generating series for counting weighted sets of objects with respect to a weight which is combined multiplicatively when taking Cartesian product ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
