一,定义: 在一个集合 A 里,固定 n(n 可以是任何形式) ,规定 A 元间的一个关系 R, aRb,当而且只当 n|a-b 的时候 这里,符号 n|a-b 表示 n 能整除 a-b。这显然是一个等价关系。这个等价关系普通叫做模 n 的同余关系,并且用 a ≡ b(n) 来表示(读成 a 同余 b 模 n) 。 这个等价关系决定了 A 的一个分类。这样得来的类叫做模 n 的剩余类。 二,我们规定 A 的一个代数运算,叫做加法,并用普通表示加法的符号来表示。我们用[a] 来表示 a 所在的剩余类。规定: [a]+[b]=[a+b]; [0]+[a]=[a]; [-a]+[a]=[0]; 根据群的定义我们知道,对于这个加法来说,A 作成一个群。叫做模 n 剩余类加群。 这样得到的剩余类加群是循环群,并且[1]是其生成元,[0]是其单位元。 三,我们再规定 A 的另一个代数运算,叫做乘法,并且规定: [a][b]=[ab]; 根据环的定义我们知道,对于加法和乘法来说,A 作成一个环。叫做模 n 剩余类环。