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


仮定

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

定義

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

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