|
Gras Conjecture s. It was proved by as a corollary of their work on the main conjecture of Iwasawa theory. later gave a simpler proof using Euler systems.
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 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''. P ... References * * * Theorems in algeb ...[...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 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 th ... [...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 p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclotomic Unit
In mathematics, a cyclotomic unit (or circular unit) is a 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 in the of a . 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[...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''- ... [...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 po ... [...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 The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... of 0.804. 2008 Journal Citation Reports, Science Edition, Thomson Scientific, 2008. References External links * Mathematics journals Academic journals established in 1949 Multilingual journals Bimonthly journals Open access journa ... [...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 Jean-Benoît Bost (born 27 July 1961, in Neuilly-sur-Seine) is a French mathematician. Early life and education In 1977, Bost graduated from the Lycée Louis-le-Grand and finished first in the Concours général, the national competition for the ... ( University of Paris-Sud). 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'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorems In Algebraic Number Theory")