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


仮定

  • \( R \) は環

定義

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

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