ここでは Hilbert の分岐理論を用いて, "代数体の有限次拡大 が巡回拡大でない Galois 拡大ならば, で分解しない のイデアルは高々有限個" という事実を示します. まずは今回出てくる言葉の定義や定理をまとめます. 定義 1. 代数体の有限次 Galois 拡大 に対…