高木の存在定理
類体論の高木の存在定理（たかぎのそんざいていり、Takagi existence theorem）とは、代数体 の一般化されたイデアル類群に対してそれに対応する の有限次アーベル拡大が存在するという定理である。高木貞治によって証明された一種の存在定理である。