"n" 是质数当且仅当阶数为 "n"-1。
群公理.容易验证模 "n" 互质同余类在乘法运算下满足阿贝尔群的公理。
记法.整数模 "n" 环记作 formula_1 或 formula_2（即整数环模去理想"n"Z = ("n") ，由 "n" 的倍数组成）或 formula_3 因作者所喜，它的单位群可能记为 formula_4 formula_5 formula_6 或类似的记号，本文采用 formula_7
结构.Sect