分解しない素イデアル
ここでは Hilbert の分岐理論を用いて,
"代数体の有限次拡大 が巡回拡大でない Galois 拡大ならば,
で分解しない のイデアルは高々有限個"
という事実を示します.
まずは今回出てくる言葉の定義や定理をまとめます.
定義 1. 代数体の有限次 Galois 拡大 に対して, Gal() を Galois 群とし, をそれぞれ の整数環とする.
を の素イデアルとして, とする. このとき
- を 上の の分解群という
- mod を 惰性群という.
とすると次が成立します.
定理 2. は Galois 拡大で
では解いていきます.
命題 3. 代数体の有限次拡大 が巡回拡大でない Galois 拡大ならば, で分解しない のイデアルは高々有限個
証明 分岐する素イデアルは高々有限個なので, 不分岐かつ分解しない素イデアルが有限個であることを示せばいい. よって をそのような素イデアルとして とする. このとき, が分解しないので Gal( であり, さらに不分岐なので はつぶれる. すると定理 より
となり, 右辺は有限体の有限次拡大より巡回拡大となるがこれは が巡回拡大でないことに矛盾. よって不分岐かつ分解しない素イデアルは存在せず, 分解しない素イデアルは高々有限個である.
何か間違いなどあれば教えてください.
[参考文献]