素元 のバックアップ(No.1)


仮定

  • \( R \)整域
  • \( a ~(\in R) \)\( R \) の元

定義

\( R \) の元 \( a \)素元であるとは、 \( (a) \)素イデアルであること。

  • \( \mathbb{Z} \)素元の集合は素数である。