Hilbert class fieldIn algebraic number theory, the Hilbert class field E of a number field K is the maximal abelian unramified extension of K. Its degree over K equals the class number of K and the Galois group of E over K is canonically isomorphic to the ideal class group of K using Frobenius elements for prime ideals in K. In this context, the Hilbert class field of K is not just unramified at the finite places (the classical ideal theoretic interpretation) but also at the infinite places of K.
Order (ring theory)In mathematics, an order in the sense of ring theory is a subring of a ring , such that is a finite-dimensional algebra over the field of rational numbers spans over , and is a -lattice in . The last two conditions can be stated in less formal terms: Additively, is a free abelian group generated by a basis for over . More generally for an integral domain contained in a field , we define to be an -order in a -algebra if it is a subring of which is a full -lattice.
Goro Shimurawas a Japanese mathematician and Michael Henry Strater Professor Emeritus of Mathematics at Princeton University who worked in number theory, automorphic forms, and arithmetic geometry. He was known for developing the theory of complex multiplication of abelian varieties and Shimura varieties, as well as posing the Taniyama–Shimura conjecture which ultimately led to the proof of Fermat's Last Theorem. Gorō Shimura was born in Hamamatsu, Japan, on 23 February 1930. Shimura graduated with a B.A. in mathematics and a D.
Frobenius endomorphismIn commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic p, an important class which includes finite fields. The endomorphism maps every element to its p-th power. In certain contexts it is an automorphism, but this is not true in general. Let R be a commutative ring with prime characteristic p (an integral domain of positive characteristic always has prime characteristic, for example).
Langlands programIn 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 , 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.
