Dedekind整域の (0) でないイデアルは2元生成である
ここでは Dedekind 整域の でないイデアルは 元生成である ということを示したいと思います. この命題を示すために, 次の定理を用います.
定理 1. Dedekind 整域の でない任意のイデアルは素イデアルの積として一意的に表される.
また次の補題も使うので示します.
補題 2. を Dedekind 整域 の でないイデアルとするとき, は単項イデアル環である.
証明. (定理 1.) より と素イデアル分解できる. このとき中国式剰余定理(以下CRT)より
となる. ここで右辺の各 が単項イデアル環になることを示す. のときはこの剰余環は体になるので明らかなのでそうでないときを考える. まずイデアルの対応を考えるとこの剰余環のイデアルは の
射影
による像である. さて をとる. このとき となり, よって となり剰余環が単項イデアル環であることがわかる. (終)
ではタイトルの主張を示していきたいと思います. とはいってもほとんど補題を使えばすぐ示せます.
命題 3. Dedekind 整域 の でないイデアル は 元生成である.
証明 をとる. このとき補題より は単項イデアル環であり, 特に は単項イデアルなので生成元 がとれる. すると がわかる. (終)
またいつか逆についても考えてみたいです.
何か間違いなどあれば教えてください.
[参考文献]