My impression is that one of the celebrated results of class field theory the [principal ideal theorem](http://en.wikipedia.org/wiki/Principal_ideal_theorem) namely that given a number field $K$ and its maximum unramified abelian extension L, every ideal in the ring of integers $O\_K$ of $K$ becomes principal in the ring of integers $O\_L$ of $L$. That is, given an ideal $I$ in $O\_K$, the ideal $I \dot O\_L$ is principal. 


This result was originally conjectured by Hilbert in 1900 and reduced to a group theoretic question by Artin which was finally solved by Furtwangler in 1930.


I've never seen any further discussion of the principal ideal theorem - I don't know any generalizations or applications. 


As James Milne comments in Remark 3.20 of the fifth chapter of his book on class field theory it's easy to see that there is *some* finite extension of $K$ for which all ideals of $K$ become principal. He further comments that this extension need not be the Hilbert class field of $K$ (EDIT: see Dror's comment for an example). 


Is the principal ideal theorem primarily of historical interest (e.g. because it was a long standing conjecture of Hilbert)? Or does it have some deeper significance?



Where does the principal ideal theorem (from CFT) go?
Among the generalizations that I can recall off the top of my head are: 


* the generalization to ray class groups already mentioned by Kevin, proved by Iyanaga pretty much immediately after 
Furtwängler's proof;
* Furtwängler's own theorem saying that if the class group is an elementary 
abelian $2$-group, then its basis can be chosen in such a way that each basis 
element capitulates in some quadratic extension;
* the theorem of Tannaka and Terada, according to which ambiguous classes in cyclic
extension already capitulate in the genus field (the obvious generalization to central
extensions fails at least group theoretically due to results of Miyake)
* the theorem of Suzuki, which claims that in any abelian unramified extension $L/K$, 
a subgroup of order $\ge (L:K)$ must capitulate; this was generalized by Gruenberg and  

Weiss (Capitulation and transfer kernels).


Capitulation is also at the center of the Greenberg conjecture in Iwasawa theory. In addition, its analogue in the theory of abelian varieties is the visibility of Tate-Shafarevich groups; for a recent contribution in the other direction see Schoof and Washington's article on´the "Visibility of ideal classes".


