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


仮定

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

定義

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

例

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