単項イデアルの生成元が単元で移り合わない例について
前回の投稿からだいぶ期間が開いてしまっているが、GitHubの方は毎日更新ができている。こういうの芝を生やすと言うんだろうか。空のファイルを作るだけの日もあるけど、継続は力なりとも言うし可能な限り頑張ろう。はてな記法の数式はちょっと面倒なんだよね、仕方ないが。
さてマストドンの方である方と本読みをしているのだけど、その本に次の問題があった。
問題 環においてを証明せよ.
この本では、環とは単位的可換環のことであり、または単元全体を指す。つまり単項イデアルの生成元は互いに同伴であることを主張している。しかしながら、これは一般の環では恐らく成り立たない。この問題の書かれた節は整域を扱っているので、「整域において」と修正するべきだとすぐ気づく。
証明は簡単で、右から左は明らか。逆はとなるからつまりを得る。が整域ならのときよりは単元となる。のときもとなるので単元で移り合う。
このような修正はよくあることだが、しかし果たして反例はあるのだろうか? となるのは当然である。
証明の反例
整域でない場合、上の証明が上手く働かない例を作ることができる。
例えばにおいてを考える。このときである。しかしかつであり、とするととなってしまう。
ただしこれは主張の反例ではない。例えばかつであり、とするとを得る。つまり単元の組を取れるという主張の反例としては不適である。
主張の反例
追記:と指摘を受けた。間違えた。
を体とする。においてを考える。このときであることは及びより分かる。
さてを解くと、及びが一般解となる。しかしだからとは単元で移り合わない。
所感
整域でない場合に、イデアルの生成元に対する可移性のような概念は一般に考えられているのだろうか?