Up 素数ｐに対する「ｐの倍数全体の系」→「素イデアル」  

    「素イデアル」の定義は，つぎのようになる：

    イデアル I は，つぎの条件を満たすとき，素イデアルと呼ばれる：
      ａ×ｂ ∈ I ならば，ａ ∈ I または ｂ ∈ I 。


    これは，素数ｐに対する「ｐの倍数全体の系」の構造の表現になっている：

    1. 「ａ×ｂ ∈ I ならば，ａ ∈ I または ｂ ∈ I 。」:
        ａ×ｂ がｐの倍数ならば，ａ, ｂのどちらかはｐの倍数。