代数体上の多項式の因数分解

本稿では次の問題を考える。 ”を代数体上で因数分解するにはどうしたらよいか?” これに対する答えとなるアルゴリズムがhttp://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0722-02.pdfの始めに載っている。ここではそれの証明および計算の実例を示してみよう*1。追記:このアルゴリズムはCohenの有名な"A cou…