In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, is the statement that 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 other terms, extending ideals gives a mapping on the class group of K, to the class group of L, which sends all ideal classes to the class of a principal ideal. The phenomenon has also been called principalization, or sometimes capitulation. It was conjectured by David Hilbert, and was the last remaining aspect of his programme on class fields to be completed, around 1930.
The question was reduced to a piece of finite group theory by Emil Artin. That involved the transfer. The required result was proved by Philipp Furtwängler.
Famous quotes containing the words principal, ideal and/or theorem:
“With a balanced combination of the two principal energies from mother and father, a girl can both be in touch with her womanly strengths and be a powerful force in the world—strong and nurturing, decisive and caring, goal- oriented and aware of the needs of others. She has the courage to voice what she thinks and feels and the strength to follow her destiny.”
—Jeanne Elium (20th century)
“I simply contend that the middle-class ideal which demands that people be affectionate, respectable, honest and content, that they avoid excitements and cultivate serenity is the ideal that appeals to me, it is in short the ideal of affectionate family life, of honorable business methods.”
—Gertrude Stein (1874–1946)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)