北大高等代数2-15.pdfVIP

第二学期第十五次课 §2 同余式 8.2.1 有理整数环中的同余的定义 定义 8.5 设m 是一个正整数，若 a,bZ ，且ba(m ) ，亦即m |(ba)，则 b a m b a (modm ) b a m m 称 与 模 同余，记作 。不难得到， 与 模 同余就是它们用 做带余 除法所得的余数相同。整数模m 同余为一等价关系，验证如下： 1 ）反身性： a a (modm )； 2 ）对称性：若b a (modm )，则a b (modm )； 3）转递性：若a b (modm )，b c(modm )，则 a c(modm )。 Z a a m 关于这个等价关系划分为等价类，给定整数 ，所有与 模