Catalan's conjecture (or Mihăilescu's theorem) is a theorem in number theory that was conjectured by the mathematician Eugène Charles Catalan in 1844 and proven in 2002 by Preda Mihăilescu at Paderborn University. The integers 23 and 32 are two perfect powers (that is, powers of exponent higher than one) of natural numbers whose values (8 and 9, respectively) are consecutive. The theorem states that this is the only case of two consecutive perfect powers. That is to say, that
In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."
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 to the real numbers R, the complex numbers C, a finite extension of the p-adic numbersQp, or a finite extension of the field of formal Laurent series Fq( ) over a finite field Fq.
In number theory, Hilbert's irreducibility theorem, conceived by David Hilbert in 1892, states that every finite set of irreducible polynomials in a finite number of variables and having rational number coefficients admit a common specialization of a proper subset of the variables to rational numbers such that all the polynomials remain irreducible. This theorem is a prominent theorem in number theory.
In algebraic group theory, approximation theorems are an extension of the Chinese remainder theorem to algebraic groups G over global fields k.
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.
John K. S. McKay was a British-Canadian mathematician and academic who worked at Concordia University, known for his discovery of monstrous moonshine, his joint construction of some sporadic simple groups, for the McKay conjecture in representation theory, and for the McKay correspondence relating certain finite groups to Lie groups.
In mathematics, a complex reflection group is a finite group acting on a finite-dimensional complex vector space that is generated by complex reflections: non-trivial elements that fix a complex hyperplane pointwise.
In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. One of the original applications of these conjectures, envisaged by Alexander Grothendieck, was to prove that his construction of pure motives gave an abelian category that is semisimple. Moreover, as he pointed out, the standard conjectures also imply the hardest part of the Weil conjectures, namely the "Riemann hypothesis" conjecture that remained open at the end of the 1960s and was proved later by Pierre Deligne; for details on the link between Weil and standard conjectures, see Kleiman (1968). The standard conjectures remain open problems, so that their application gives only conditional proofs of results. In quite a few cases, including that of the Weil conjectures, other methods have been found to prove such results unconditionally.
Richard Gordon Swan is an American mathematician who is known for the Serre–Swan theorem relating the geometric notion of vector bundles to the algebraic concept of projective modules, and for the Swan representation, an l-adic projective representation of a Galois group. His work has mainly been in the area of algebraic K-theory.
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning.
The Brumer–Stark conjecture is a conjecture in algebraic number theory giving a rough generalization of both the analytic class number formula for Dedekind zeta functions, and also of Stickelberger's theorem about the factorization of Gauss sums. It is named after Armand Brumer and Harold Stark.
Christopher Deninger is a German mathematician at the University of Münster. Deninger's research focuses on arithmetic geometry, including applications to L-functions.
In mathematics, the Artin conductor is a number or ideal associated to a character of a Galois group of a local or global field, introduced by Emil Artin as an expression appearing in the functional equation of an Artin L-function.
In mathematics, the Fontaine–Mazur conjectures are some conjectures introduced by Fontaine and Mazur (1995) about when p-adic representations of Galois groups of number fields can be constructed from representations on étale cohomology groups of a varieties. Some cases of this conjecture in dimension 2 were already proved by Dieulefait (2004).
In mathematics, the analytic subgroup theorem is a significant result in modern transcendental number theory. It may be seen as a generalisation of Baker's theorem on linear forms in logarithms. Gisbert Wüstholz proved it in the 1980s. It marked a breakthrough in the theory of transcendental numbers. Many longstanding open problems can be deduced as direct consequences.
Onorato Timothy O'Meara was an American mathematician known for his work in number theory, linear groups and quadratic forms. He was provost emeritus and professor emeritus of mathematics at the University of Notre Dame.
In mathematics, the Neukirch–Uchida theorem shows that all problems about algebraic number fields can be reduced to problems about their absolute Galois groups. Jürgen Neukirch (1969) showed that two algebraic number fields with the same absolute Galois group are isomorphic, and Kôji Uchida (1976) strengthened this by proving Neukirch's conjecture that automorphisms of the algebraic number field correspond to outer automorphisms of its absolute Galois group. Florian Pop extended the result to infinite fields that are finitely generated over prime fields.
Samuel James Patterson is a Northern Irish mathematician specializing in analytic number theory. He has been a professor at the University of Göttingen since 1981.
Mikhail Vol'fovich Borovoi is a Soviet and Israeli mathematician. He has worked on Galois cohomology and on the arithmetic of linear algebraic groups, homogeneous spaces, Shimura varieties, and spherical varieties.
