|
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] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic Polynomial
In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The characteristic polynomial of an endomorphism of a finite-dimensional vector space is the characteristic polynomial of the matrix of that endomorphism over any base (that is, the characteristic polynomial does not depend on the choice of a basis). The characteristic equation, also known as the determinantal equation, is the equation obtained by equating the characteristic polynomial to zero. In spectral graph theory, the characteristic polynomial of a graph is the characteristic polynomial of its adjacency matrix. Motivation In linear algebra, eigenvalues and eigenvectors play a fundamental role, since, given a linear transformation, an eigenvector is a vector whose direction is not changed by the transformation, and the corresponding eigenva ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dedekind Zeta Function
In mathematics, the Dedekind zeta function of an algebraic number field ''K'', generally denoted ζ''K''(''s''), is a generalization of the Riemann zeta function (which is obtained in the case where ''K'' is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at ''s'' = 1, and its values encode arithmetic data of ''K''. The extended Riemann hypothesis states that if ''ζ''''K''(''s'') = 0 and 0 1. In the case ''K'' = Q, this definition reduces to that of the Riemann zeta function. Euler product The Dedekind zeta function of K has an Euler product which is a product over all the prime ideals \mathfrak of \mathcal_K :\zeta_K (s) = \prod_ \frac,\text(s)>1. This is the expression in analytic terms of the Dedekind domain, uniqueness of prime factori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hecke Character
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. A name sometimes used for ''Hecke character'' is the German term Größencharakter (often written Grössencharakter, Grossencharacter, etc.). Definition using ideles 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 C ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all rational numbers, also referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by boldface , or blackboard bold \mathbb. 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 digits (example: ), or eventually begins to repeat the same finite sequence of digits over and over (example: ). This statement is true not only in base 10, but also in every other integer base, such as the binary and hexadecimal ones (see ). A real number that is not rational is called irrational. Irrational numbers include , , , and . Since the set of rational numbers is countable, and the set of real numbers is uncountable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet L-function
In mathematics, a Dirichlet ''L''-series is a function of the form :L(s,\chi) = \sum_^\infty \frac. where \chi is a Dirichlet character and ''s'' a complex variable with real part greater than 1. It is a special case of a Dirichlet series. By analytic continuation, it can be extended to a meromorphic function on the whole complex plane, and is then called a Dirichlet ''L''-function and also denoted ''L''(''s'', ''χ''). These functions are named after Peter Gustav Lejeune Dirichlet who introduced them in to prove the theorem on primes in arithmetic progressions that also bears his name. In the course of the proof, Dirichlet shows that is non-zero at ''s'' = 1. Moreover, if ''χ'' is principal, then the corresponding Dirichlet ''L''-function has a simple pole at ''s'' = 1. Otherwise, the ''L''-function is entire. Euler product Since a Dirichlet character ''χ'' is completely multiplicative, its ''L''-function can also be written as an Euler product in the half-plane of absol ... [...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 early 19th century 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 \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin Reciprocity
Artin may refer to: * Artin (name), a surname and given name, including a list of people with the name ** Artin, a variant of Harutyun Harutyun ( hy, Հարություն and in Western Armenian Յարութիւն) also spelled Haroutioun, Harutiun and its variants Harout, Harut and Artin is a common male Armenian name; it means resurrection in Armenian. People with the name H ..., an Armenian given name * 15378 Artin, a main-belt asteroid See also {{disambiguation, surname ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Space (linear Algebra)
In linear algebra, the quotient of a vector space ''V'' by a subspace ''N'' is a vector space obtained by "collapsing" ''N'' to zero. The space obtained is called a quotient space and is denoted ''V''/''N'' (read "''V'' mod ''N''" or "''V'' by ''N''"). Definition Formally, the construction is as follows. Let ''V'' be a vector space over a field ''K'', and let ''N'' be a subspace of ''V''. We define an equivalence relation ~ on ''V'' by stating that ''x'' ~ ''y'' if . That is, ''x'' is related to ''y'' if one can be obtained from the other by adding an element of ''N''. From this definition, one can deduce that any element of ''N'' is related to the zero vector; more precisely, all the vectors in ''N'' get mapped into the equivalence class of the zero vector. The equivalence class – or, in this case, the coset – of ''x'' is often denoted : 'x''= ''x'' + ''N'' since it is given by : 'x''= . The quotient space ''V''/''N'' is then defined as ''V''/~, the set of all equivale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coinvariant
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inertia Group
In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension. Ramification theory of valuations In mathematics, the ramification theory of valuations studies the set of extensions of a valuation ''v'' of a field ''K'' to an extension ''L'' of ''K''. It is a generalization of the ramification theory of Dedekind domains. The structure of the set of extensions is known better when ''L''/''K'' is Galois. Decomposition group and inertia group Let (''K'', ''v'') be a valued field and let ''L'' be a finite Galois extension of ''K''. Let ''Sv'' be the set of equivalence classes of extensions of ''v'' to ''L'' and let ''G'' be the Galois group of ''L'' over ''K''. Then ''G'' acts on ''Sv'' by σ 'w''nbsp;= 'w'' ∘ σ(i.e. ''w'' is a representative of the equivalence class 'w''nbsp;∈ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
