zh-hans: 素性测试; zh-hant: 质数测试}-均有运用。例如，关于这个群的阶（即群的“大小”），我们可以确定如果 "n" 是质数当且仅当阶数为 "n"-1。
群公理.容易验证模 "n" 互质同余类在乘法运算下满足阿贝尔群的公理。
记法.整数模 "n" 环记作 formula_1 或 formula_2（即整数环模去理想 "n"Z = ("n") ，由 "n" 的倍数组成）或 formula_3 因作者所喜，它的单位群可能记为 formula_