ユークリッド整域⇒単項イデアル整域だという事実を本で見たが、証明が略されていたので証明を与えました。まずはそれぞれの定義の確認。ユークリッド整域イデアルIの元 a,b (b≠0) について、a = bq + rを満たすq,r ∈ R が存在し、さらにこれらは以下の条件を…