ゆっるい数学ノートスマートフォン用の表示で見るゆっるい数学ノート適当に数学のことを書いてますこの広告は、90日以上更新していないブログに表示しています。2017-08-06ユークリッド整域⇒単項イデアル整域ユークリッド整域⇒単項イデアル整域だという事実を本で見たが、証明が略されていたので証明を与えました。それぞれの定義の確認。存在し、さらにこれらは以下の条件を満たす。φ(b)(ここで、φは関数とは限らず、ある対応のことを指す。環Rについて、I⊆Rとする。語弊のないよう述べておくが、ここで、aRとはaにRの全ての元をかけて得られる集合のことを言う。}...で良いのか、、な?では、早速証明に移ろうではないか。(証明)Iをイデアルとする。仮定よりこれはユークリッド整域である。φ(b)となり、φ(b)が最小であることに矛盾する。