剩余类和完全剩余系.pptVIP

* * 剩余类和完全剩余系 定义1 取定 设 把 称为模 的一个剩余类. 定理1 取定 则 1) 2) 在模 的同一个剩余类 恰在模 的一个剩余类 中, 注 由定理1, 给定模 或 恰有 个不同的模 的剩余类 例1 设 其中 都是整数, 证明存在 的 一个非空子集, 其诸元素的和被 整除. 证 考虑n个整数 若 整除某个 则可取 子集 否则 那么 中必有两数在模 同一剩余类中, 不妨设 则 这时可选取 定义2 称为模 的一个 一组数 完全剩余系, 如果 例如 和 都是模 的完全剩余系. 模 的一个完全剩余系, 则 设 是 如果 就有 常用的完全剩余系 称为 模 的非负最小完全剩余系 为奇数时, 称为 模 的绝对最小完全剩余系. 为偶数时, 完全剩余系的判定及构造 定理2 一组数 是 模 的一个完全 剩余系 模 对 两两互不同余 定理3 若 是 模 的 一个完全剩余系, 设 则 也是 模 的 一个完全剩余系. (即若 通过 模 的一个完全剩余系, 则 也通过 模 的一个完全剩余系) 例1 证明 存在整数 设 使得 证 设 是 模 的一个完全剩余系， 由定理2， 也是 模 的一个完全 剩余系. 因此存在 使得 定理4 若 是 模 的 一个完全剩余系, 设 则 也是 模 的 一个完全剩余系. 定理5 若 模 的 一个完全剩余系, 设 则 的 一个完全剩余系. 分别通过 通过模 完全剩余系的判定及构造 完全剩余系的性质 若 是 模 的 两个完全剩余系, 则 和 例2 模 的 一个完全剩余系, 其中每一个数 写出 都是偶数. 例3 模 的 一个完全剩余系, 其中每一个数 写出 被 除的余数都是 . 例4 若 的任一个完全剩余系中, 证明 模 奇数和偶数各占一半. 例5 若 的一个完全剩余系. 证明 模 模 的 两个完全剩余系, 和 是 不是 的覆盖 设 有限算术序列组 称为 的一个 -覆盖， 若 （即 至少满足下面同余式组中的m个： ） 的一个覆盖为 如 I. Erdos’ Conjecture. II. The Erdos-Selfridge Conjecture. 对 存在 的一个覆盖 的一个任意覆盖， 设 是 则某个 为偶数. 定理 设 是 的一个覆盖， 且 则 证 设 并设 中 有 个满足 因此 若 则 中每个整数满足 中的一个且仅一个同余式. 因此， 于是 即 令 得 令 上面等式左边及右边除最后一项的模 均有界，这不可能. 习题 其中 证明 若 则 是模 的一个完全剩余系. 若 模 的一个完全剩余系最少 要属于模 的几个剩余类? 证 1) 通过了 个数 2) 其中 是 通过的模 的完全剩余系中的两个数, 是 通过的模 的完全剩余系中的两个数. 若 则 所以 同理