Formal statement
For any algebraic number field K and any ideal I of the ring of integers of K, if L is the Hilbert class field of K, then
is a principal ideal αOL, for OL the ring of integers of L and some element α in it.
In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the class group of an algebraic number field to the class group of its Hilbert class field, which sends all ideal classes to the class of a principal ideal. The phenomenon has also been called principalization, or sometimes capitulation.
For any algebraic number field K and any ideal I of the ring of integers of K, if L is the Hilbert class field of K, then
is a principal ideal αOL, for OL the ring of integers of L and some element α in it.
The principal ideal theorem was conjectured by DavidHilbert ( 1902 ), and was the last remaining aspect of his program on class fields to be completed, in 1929.
EmilArtin ( 1927 , 1929 ) reduced the principal ideal theorem to a question about finite abelian groups: he showed that it would follow if the transfer from a finite group to its derived subgroup is trivial. This result was proved by PhilippFurtwängler ( 1929 ).
Max August Zorn was a German mathematician. He was an algebraist, group theorist, and numerical analyst. He is best known for Zorn's lemma, a method used in set theory that is applicable to a wide range of mathematical constructs such as vector spaces, ordered sets and the like. Zorn's lemma was first postulated by Kazimierz Kuratowski in 1922, and then independently by Zorn in 1935.
In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity.
Erich Kähler was a German mathematician with wide-ranging interests in geometry and mathematical physics, who laid important mathematical groundwork for algebraic geometry and for string theory.
In the mathematical field of group theory, the transfer defines, given a group G and a subgroup of finite index H, a group homomorphism from G to the abelianization of H. It can be used in conjunction with the Sylow theorems to obtain certain numerical results on the existence of finite simple groups.
Helmut Hasse was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of p-adic numbers to local class field theory and diophantine geometry, and to local zeta functions.
Hans Julius Zassenhaus was a German mathematician, known for work in many parts of abstract algebra, and as a pioneer of computer algebra.
Hilbert's seventeenth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by David Hilbert. It concerns the expression of positive definite rational functions as sums of quotients of squares. The original question may be reformulated as:
The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.
In mathematics, Artin–Schreier theory is a branch of Galois theory, specifically a positive characteristic analogue of Kummer theory, for Galois extensions of degree equal to the characteristic p. Artin and Schreier (1927) introduced Artin–Schreier theory for extensions of prime degree p, and Witt (1936) generalized it to extensions of prime power degree pn.
In number theory, the Chevalley–Warning theorem implies that certain polynomial equations in sufficiently many variables over a finite field have solutions. It was proved by Ewald Warning (1935) and a slightly weaker form of the theorem, known as Chevalley's theorem, was proved by Chevalley (1935). Chevalley's theorem implied Artin's and Dickson's conjecture that finite fields are quasi-algebraically closed fields.
In algebraic number theory, the Hilbert class fieldE 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.
Otto Schreier was a Jewish-Austrian mathematician who made major contributions in combinatorial group theory and in the topology of Lie groups.
Egbert Rudolf van Kampen was a Dutch mathematician. He made important contributions to topology, especially to the study of fundamental groups.
In mathematics, the Artin–Zorn theorem, named after Emil Artin and Max Zorn, states that any finite alternative division ring is necessarily a finite field. It was first published in 1930 by Zorn, but in his publication Zorn credited it to Artin.
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, Nakayama's conjecture is a conjecture about Artinian rings, introduced by Nakayama (1958). The generalized Nakayama conjecture is an extension to more general rings, introduced by Auslander and Reiten (1975). Leuschke & Huneke (2004) proved some cases of the generalized Nakayama conjecture.
Rudolf Halin was a German graph theorist, known for defining the ends of infinite graphs, for Halin's grid theorem, for extending Menger's theorem to infinite graphs, and for his early research on treewidth and tree decomposition. He is also the namesake of Halin graphs, a class of planar graphs constructed from trees by adding a cycle through the leaves of the given tree; earlier researchers had studied the subclass of cubic Halin graphs but Halin was the first to study this class of graphs in full generality.
In mathematics, an explicit reciprocity law is a formula for the Hilbert symbol of a local field. The name "explicit reciprocity law" refers to the fact that the Hilbert symbols of local fields appear in Hilbert's reciprocity law for the power residue symbol. The definitions of the Hilbert symbol are usually rather roundabout and can be hard to use directly in explicit examples, and the explicit reciprocity laws give more explicit expressions for the Hilbert symbol that are sometimes easier to use.
In the mathematical field of algebraic number theory, the concept of principalization refers to a situation when, given an extension of algebraic number fields, some ideal of the ring of integers of the smaller field isn't principal but its extension to the ring of integers of the larger field is. Its study has origins in the work of Ernst Kummer on ideal numbers from the 1840s, who in particular proved that for every algebraic number field there exists an extension number field such that all ideals of the ring of integers of the base field become principal when extended to the larger field. In 1897 David Hilbert conjectured that the maximal abelian unramified extension of the base field, which was later called the Hilbert class field of the given base field, is such an extension. This conjecture, now known as principal ideal theorem, was proved by Philipp Furtwängler in 1930 after it had been translated from number theory to group theory by Emil Artin in 1929, who made use of his general reciprocity law to establish the reformulation. Since this long desired proof was achieved by means of Artin transfers of non-abelian groups with derived length two, several investigators tried to exploit the theory of such groups further to obtain additional information on the principalization in intermediate fields between the base field and its Hilbert class field. The first contributions in this direction are due to Arnold Scholz and Olga Taussky in 1934, who coined the synonym capitulation for principalization. Another independent access to the principalization problem via Galois cohomology of unit groups is also due to Hilbert and goes back to the chapter on cyclic extensions of number fields of prime degree in his number report, which culminates in the famous Theorem 94.
Basic Number Theory is an influential book by André Weil, an exposition of algebraic number theory and class field theory with particular emphasis on valuation-theoretic methods. Based in part on a course taught at Princeton University in 1961-2, it appeared as Volume 144 in Springer's Grundlehren der mathematischen Wissenschaften series. The approach handles all 'A-fields' or global fields, meaning finite algebraic extensions of the field of rational numbers and of the field of rational functions of one variable with a finite field of constants. The theory is developed in a uniform way, starting with topological fields, properties of Haar measure on locally compact fields, the main theorems of adelic and idelic number theory, and class field theory via the theory of simple algebras over local and global fields. The word `basic’ in the title is closer in meaning to `foundational’ rather than `elementary’, and is perhaps best interpreted as meaning that the material developed is foundational for the development of the theories of automorphic forms, representation theory of algebraic groups, and more advanced topics in algebraic number theory. The style is austere, with a narrow concentration on a logically coherent development of the theory required, and essentially no examples.