一意分解整域でない整数環の部分環

一意分解でない整域の例としては \( \mathbb{Z} [\sqrt{-5}] \) がよく取り上げられるが、これは \( \mathbb{Q} (\sqrt{-5} ) \) が類数１でないことから得られる。よりシンプルな例として \( \mathbb{Z} [\sqrt{-3}] \) があるが、 \( \mathbb{Q} (\sqrt{-3} ) \) の類数が１であることから意外に思った。専門家に聞くと「部分環だからね」とだけ言われて、その背景にあるものは分からなかった。最近になって、より一般的な事実を見つけたので記録する。

準備

整数論(森田)の命題4.6を使う。証明は自分が分かりやすいように記述する。

\(R\) 上整である \(K\) の元 \( \alpha \) が \( R \) に属さないとする。\(K\) が \(R\) の商体だから、互いに素な \( \beta,\gamma \in R \) により \( \alpha=\frac{\beta}{\gamma} \) と表される。\( \gamma \) が \(R\) の素元なら \( \alpha\in R \) となり仮定に反する。したがって、\(\gamma\) を割る \(R\) の素元 \(p\) がある。 \(\alpha\) は \(R\) 上整だから、\(\alpha^n+a_{n-1}\alpha^{n-1}+\cdots+a_0 = 0\) を満たす \( a_0,\cdots,a_{n-1} \in R \) が存在する。 \( \alpha=\frac{\beta}{\gamma} \) を代入して、\(\beta^n=-a_{n-1}\beta^{n-1}\gamma-\cdots-a_0\gamma^n \) となる。右辺は \(p\) で割り切れる。\( \beta,\gamma \) は互いに素だから、\(\beta\) は \(p\) で割り切れない。左辺は \(p\) で割り切れないので矛盾。したがって、\(R\) 上整である \(K\) の元は \( R \) に属する。

一意分解整域でない整数環の部分環

次の系列がシンプルだと思う。

\( \mathbb{Z} [\sqrt{m}] \) の商体は \( \mathbb{Q} (\sqrt{m}) \) であり、 \( \mathbb{Q} (\sqrt{m}) \) の整数環は \( \mathbb{Z} \left[ \frac{1+\sqrt{m}}{2} \right] \) である。したがって、\( \mathbb{Z} [\sqrt{m}] \) は \( \mathbb{Q} (\sqrt{m}) \) の中で整閉でない。命題4.6より \( \mathbb{Z} [\sqrt{m}] \) は一意分解整域でない。

他にも同様の例はいくらでもできる。\( \mathbb{Z} [\sqrt{-1}] \) の部分環 \( \mathbb{Z} [2\sqrt{-1}] \) も一意分解整域でない。整数環の部分環が一意分解整域になるのは、部分体の整数環に一致する場合だけか。

感想

\( \mathbb{Z} [\sqrt{-3}] \) が一意分解整域でないことを初めて知ったときには驚きがあったが、ここに至ってなんら例外的ではない事実と分かった。教科書的には \( \mathbb{Z} \) や \( \mathbb{Z} [\sqrt{-1}] \) で一意分解整域を学んだ後で一意分解でない整域の存在を学び、一意分解でない方が例外的な印象を持つけど、むしろ一意分解整域の例をたくさん提示する方が難しい気がしてきた。