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 , 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).

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications (8)
Related people (1)
Related concepts (5)
Algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Hilbert class field
In 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.
Principal ideal
In mathematics, specifically ring theory, a principal ideal is an ideal in a ring that is generated by a single element of through multiplication by every element of The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset generated by a single element which is to say the set of all elements less than or equal to in The remainder of this article addresses the ring-theoretic concept.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.