离散数学(吉大版)5-3.pptVIP

* 性质4是说整数的加、减和乘运算诱导了剩余类之间的加、减和乘运算，剩余类之间的加、减和乘运算与在剩余类中所选的哪个元素为代表元素无关。这将在抽象代数的商空间章节中进行讨论。 由性质4，在一个合同式中可以移项，比方，由a+b?c(mod m)可以推出a?c-b(mod m)。事实上，由a+b?c(mod m)和-b?-b(mod m) 得a+b-b?c-b(mod m)，即 a?c-b(mod m)。即下述两条性质成立。 * 这些都和相等的性质相同，但对于数的相等，我们还有消去律：若c?0而ac=bc则a=b。这对合同并不普遍成立，例如，虽然2?? 0(mod 6)，却不能从合同式 8?14（mod 6） 的两边消去2得出4?7（mod 6）。但是，下列两个事实成立： * * * 这些都和相等的性质相同，但对于数的相等，我们还有消去律：若c?0而ac=bc则a=b。这对合同并不普遍成立，例如，虽然2?? 0(mod 6)，却不能从合同式 8?14（mod 6） 的两边消去2得出4?7（mod 6）。但是，下列两个事实成立： * * * * * §5.3 合同 一次同余式 §5.3.1 合同及其性质 设m是任意非0整数。a被m整除时，我们就说a 合同于0模m，记为： a?0(mod m) 一般来说，若a-b被m整除，则我们说a合同于b 模m： a?b(m