2017-02-19から1日間の記事一覧

Alloyを使って可換環(有限)を調べてみる

ashiato45.hatenablog.jpで、prime avoidance lemma 環Aとそのイデアルと素イデアルについて、 となっているとする。 このとき、あるiに対してとなる。 から素イデアル条件を外したときの反例を探していて、とりあえずn=2だと見つからないということを証明し…