代数的整数論には 任意の代数体のイデアル類群は有限群である という大事な定理があります. 今回はこの定理を用いて"任意の代数体 に対して, ある の有限次拡大体 が存在して, の任意のイデアルが において単項イデアルになる" ということを示します. (ノイ…