Teiji Takagi and principalization

From: Gene Ward Smith (gwsmith_at_svpal.org)
Date: 10/26/04 

Date: Tue, 26 Oct 2004 14:00:10 +0000 (UTC)

I couldn't get an answer on sci.math, so I hope this is suitable for here:

Some sources say that Takagi proved not only that the maximal
unramified extension of a L/K number field K has a Galois group
corresponding to the class group, but that principalization occurs in
this field--all the ideals of K extend to principal ideals of L.
Others say it had to wait for Artin and Furtwangler to get the proof
of this. Does anyone have the straight dope?

Quantcast