|
Gras Conjecture
In algebraic number theory, the Gras conjecture relates the ''p''-parts of the Galois eigenspaces of an ideal class group to the group of global units modulo cyclotomic units. It was proved by as a corollary of their work on the main conjecture of Iwasawa theory. later gave a simpler proof using Euler system In mathematics, an Euler system is a collection of compatible elements of Galois cohomology groups indexed by fields. They were introduced by in his work on Heegner points on modular elliptic curves, which was motivated by his earlier paper and ...s. References * * * Theorems in algebraic number theory Conjectures that have been proved {{numtheory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Number Theory
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 Algebraic function field, function fields. These properties, such as whether a ring (mathematics), ring admits unique factorization, the behavior of ideal (ring theory), ideals, and the Galois groups of field (mathematics), 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 Diophantin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal Class Group
In number theory, the ideal class group (or class group) of an algebraic number field is the quotient group where is the group of fractional ideals of the ring of integers of , and is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of . The order of the group, which is finite, is called the class number of . The theory extends to Dedekind domains and their field of fractions, for which the multiplicative properties are intimately tied to the structure of the class group. For example, the class group of a Dedekind domain is trivial if and only if the ring is a unique factorization domain. History and origin of the ideal class group Ideal class groups (or, rather, what were effectively ideal class groups) were studied some time before the idea of an ideal was formulated. These groups appeared in the theory of quadratic forms: in the case of binary integral quadratic forms, as put into s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclotomic Unit
In mathematics, a cyclotomic unit (or circular unit) is a unit (ring theory), unit of an algebraic number field which is the product of numbers of the form (ζ − 1) for ζ an ''n''th root of unity and 0 < ''a'' < ''n''. Properties The cyclotomic units form a subgroup of finite Index of a subgroup, index in the Dirichlet's unit theorem, group of units of a cyclotomic field. The index of this subgroup of ''real'' cyclotomic units (those cyclotomic units in the maximal real subfield) within the full real unit group is equal to the Class number (number theory), class number of the maximal real subfield of the cyclotomic field. * If is the power of a prime, then is not a unit; however the numbers for , and ±ζ generate the group of cyclotomic units. * If is a composite number having two or more distinct prime factors, then is a unit. The subgroup of cyclotomic units generated by with is not of finite index in general. The cyclotomic units ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Main Conjecture Of Iwasawa Theory
In mathematics, the main conjecture of Iwasawa theory is a deep relationship between ''p''-adic ''L''-functions and ideal class groups of cyclotomic fields, proved by Kenkichi Iwasawa for primes satisfying the Kummer–Vandiver conjecture and proved for all primes by . The Herbrand–Ribet theorem and the Gras conjecture are both easy consequences of the main conjecture. There are several generalizations of the main conjecture, to totally real fields,, CM fields, elliptic curves, and so on. Motivation was partly motivated by an analogy with Weil's description of the zeta function of an algebraic curve over a finite field in terms of eigenvalues of the Frobenius endomorphism on its Jacobian variety. In this analogy, * The action of the Frobenius corresponds to the action of the group Γ. * The Jacobian of a curve corresponds to a module ''X'' over Γ defined in terms of ideal class groups. * The zeta function of a curve over a finite field corresponds to a ''p''-adic ''L''-func ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler System
In mathematics, an Euler system is a collection of compatible elements of Galois cohomology groups indexed by fields. They were introduced by in his work on Heegner points on modular elliptic curves, which was motivated by his earlier paper and the work of . Euler systems are named after Leonhard Euler because the factors relating different elements of an Euler system resemble the Euler factors of an Euler product. Euler systems can be used to construct annihilators of ideal class groups or Selmer groups, thus giving bounds on their orders, which in turn has led to deep theorems such as the finiteness of some Tate-Shafarevich groups. This led to Karl Rubin's new proof of the main conjecture of Iwasawa theory, considered simpler than the original proof due to Barry Mazur and Andrew Wiles. Definition Although there are several definitions of special sorts of Euler system, there seems to be no published definition of an Euler system that covers all known cases. But it is poss ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annales De L'Institut Fourier
The ''Annales de l'Institut Fourier'' is a French mathematical journal publishing papers in all fields of mathematics. It was established in 1949. The journal publishes one volume per year, consisting of six issues. The current editor-in-chief is Hervé Pajot. Articles are published either in English or in French. The journal is indexed in ''Mathematical Reviews'', ''Zentralblatt MATH'' and the Web of Science. According to the ''Journal Citation Reports'', the journal had a 2008 impact factor of 0.804. 2008 Journal Citation Reports, Science Edition, Thomson Scientific Thomson Scientific was one of the six (later five) strategic business units of The Thomson Corporation, beginning in 2007, after being separated from Thomson Scientific & Healthcare. Following the merger of Thomson with Reuters Group to form Thom ..., 2008. References External links * Mathematics journals Academic journals established in 1949 Multilingual journals Bimonthly journals Open access journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Algebraic Number Theory
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorems In Algebraic Number Theory")