整域 のバックアップ(No.3)


仮定

  • \( R \) は環

定義

\( R \)整域であるとは、任意の \( a, b ~(\in R) \) について、もし \( a \times b = 0 \) となるならば \( a = 0 \) または \( b = 0 \) のいずれかが成立すること。

\( \mathbb{Z} \) は、積が \( 0 \) になるとき一方が必ず \( 0 \) となるので、整域である。