ものぐささん、返信ありがとう。
アタシの勝手な理解を書くから、時間がある時に間違いを教えていただけると嬉しいわ。
・可換環Rの元uが単元であるとは、ある v ∈ R があって uv = 1 となること
・r ∈ R と s ∈ R が同伴であるとは、Rのある単元uがあって r = us となること
・x+y√2 ∈ ℤ[√2] が単元であるための必要十分条件はx^2 - 2y^2 = ±1で、単元の集合は { ±(1±√2)^k | k ∈ ℤ }