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 ñO<sub>L</sub>, for O<sub>L</sub> the ring of integers of L and some element ñ in it.
The principal ideal theorem was conjectured by , and was the last remaining aspect of his program on class fields to be completed, in 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 Philipp Furtwängler (1929).