割り切る のバックアップ(No.1)


仮定

  • \( R \) は環
  • \( a, b ~(\in R) \) は元

定義

\( a \)\( b \)割り切ることを \( a \mid b \) と書く。割り切らないことを \( a \nmid b \) と書く。

  • \( \mathbb{Z} \) においては \( 4 \mid 8, 5 \mid 15, 3 \nmid 8 \) などが成り立つ。