記法
Z を有理整数環とする。
集合 {n ∈ Z； n ≧ 0} を Z+ と書く。