|
Defining Modulus
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. The map \theta is defined by assembling the maps called the local Artin symbol, the local reciprocity map or the norm residue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Emil Artin
Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent. Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing largely to class field theory and a new construction of L-functions. He also contributed to the pure theories of rings, groups and fields. Along with Emmy Noether, he is considered the founder of modern abstract algebra. Early life and education Parents Emil Artin was born in Vienna to parents Emma Maria, née Laura (stage name Clarus), a soubrette on the operetta stages of Austria and Germany, and Emil Hadochadus Maria Artin, Austrian-born of mixed Austrian and Armenian descent. His Armenian last name was Artinian which was shortened to Artin. Several documents, including Emil's birth certificate, list the father's occupation as “opera singer” though others list it as “art dealer.” It seems at least plausible that he and Emma had ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Class Field Theory
In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic (as a topological field) to the real numbers R, the complex numbers C, a finite extension of the ''p''-adic numbers Q''p'' (where ''p'' is any prime number), or a finite extension of the field of formal Laurent series F''q''((''T'')) over a finite field F''q''. Approaches to local class field theory Local class field theory gives a description of the Galois group ''G'' of the maximal abelian extension of a local field ''K'' via the reciprocity map which acts from the multiplicative group ''K''×=''K''\. For a finite abelian extension ''L'' of ''K'' the reciprocity map induces an isomorphism of the quotient group ''K''×/''N''(''L''×) of ''K''× by the norm group ''N'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin Transfer (group Theory)
In the mathematical field of group theory, an Artin transfer is a certain homomorphism from an arbitrary finite or infinite group to the commutator quotient group of a subgroup of finite index. Originally, such mappings arose as group theoretic counterparts of class extension homomorphisms of abelian extensions of algebraic number fields by applying Artin's reciprocity maps to ideal class groups and analyzing the resulting homomorphisms between quotients of Galois groups. However, independently of number theoretic applications, a partial order on the kernels and targets of Artin transfers has recently turned out to be compatible with parent-descendant relations between finite ''p''-groups (with a prime number ''p''), which can be visualized in descendant trees. Therefore, Artin transfers provide a valuable tool for the classification of finite ''p''-groups and for searching and identifying particular groups in descendant trees by looking for patterns defined by the kernels and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chebotarev Density Theorem
Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension ''K'' of the field \mathbb of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of ''K''. There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime ''p'' in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes ''p'' less than a large integer ''N'', tends to a certain limit as ''N'' goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in . A special case that is easier to state says that if ''K'' is an algebraic number field which is a Galois extension of \mathbb of degree ''n'', then the prime numbers that completely split in ''K'' have density :1/''n'' among a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meromorphic
In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are pole (complex analysis), poles of the function. The term comes from the Greek ''meros'' ( μέρος), meaning "part". Every meromorphic function on ''D'' can be expressed as the ratio between two holomorphic functions (with the denominator not constant 0) defined on ''D'': any pole must coincide with a zero of the denominator. Heuristic description Intuitively, a meromorphic function is a ratio of two well-behaved (holomorphic) functions. Such a function will still be well-behaved, except possibly at the points where the denominator of the fraction is zero. If the denominator has a zero at ''z'' and the numerator does not, then the value of the function will approach infinity; if both parts have a zero at ''z'', then one must compare the multiplicity of these zeros ... [...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 factor, whi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Place (mathematics)
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations. History of algebraic number theory Diophantus The beginnings of algebraic number theory can be traced to Diophantine equations, named after the 3rd-century Alexandrian mathematician, Diophantus, who studied them and developed methods for the solution of some kinds of Diophantine equations. A typical Diophantine problem is to find two integers ''x'' and ''y'' such that their sum, and the sum of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Extension
In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian. When the Galois group is also cyclic, the extension is also called a cyclic extension. Going in the other direction, a Galois extension is called solvable if its Galois group is solvable, i.e., if the group can be decomposed into a series of normal extensions of an abelian group. Every finite extension of a finite field is a cyclic extension. Class field theory provides detailed information about the abelian extensions of number fields, function fields of algebraic curves over finite fields, and local fields. There are two slightly different definitions of the term cyclotomic extension. It can mean either an extension formed by adjoining roots of unity to a field, or a subextension of such an extension. The cyclotomic fields are examples. A cyclotomic extension, under either definition, is always abelian. If a field ''K'' contains a primitive ''n''-th root of unity and the ''n''-th ro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Takagi Existence Theorem
{{short description, Correspondence between finite abelian extensions and generalized ideal class groups In class field theory, the Takagi existence theorem states that for any number field ''K'' there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of ''K'' (in a fixed algebraic closure of ''K'') and the generalized ideal class groups defined via a modulus of ''K''. It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of ''K''. Formulation Here a modulus (or ''ray divisor'') is a formal finite product of the valuations (also called primes or places) of ''K'' with positive integer exponents. The archimedean valuations that might appear in a modulus include only those whose completions are the real numbers (not the complex numbers); they may be identified with orderings on ''K'' and occur only to exponent one. The modulus ''m'' is a product of a non-archimedean (finite) ... [...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 which 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] |
Hasse Principle
In mathematics, Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the Chinese remainder theorem to piece together solutions modulo powers of each different prime number. This is handled by examining the equation in the completions of the rational numbers: the real numbers and the ''p''-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution if and only if they have a solution in the real numbers ''and'' in the ''p''-adic numbers for each prime ''p''. Intuition Given a polynomial equation with rational coefficients, if it has a rational solution, then this also yields a real solution and a ''p''-adic solution, as the rationals embed in the reals and ''p''-adics: a global solution yields local solutions at each prime. The Hasse principle asks when the reverse can be done, or rather, asks what the obstruction is: wh ... [...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, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
