的同余类组成的集合（这个集合也称为模"n" 的简化剩余系）。这些同余类构成一个群，称为整数模n乘法群。因为此群阶为formula_26，所以formula_5。当formula_17是素数的时候，formula_29，所以欧拉定理变为：这就是费马小定理。