2剩余类及完全剩余系.docxVIP

型剩余类及完全剩余系 定义 设m是一个给定的正整数，Kr r 0,1,”，m 1表示所有形如 qm r q 0, 1, 2，川 的整数组成的集合，则称 K。，?，川，Km1为模m的剩余类. 定理1设m 0, K°K,川,心1是模m的剩余类，则 每一整数必包含于某一个类里，而且只能包含于一个类里； 两个整数 x, y属于同一类的充分必要条件是 x y modm . 证(i)设a是任意一个整数，则由带余除法，得 a qm r ,0 r m，故a Kr- 故每一整数必包含于某一类里.又设 a Kr,且a Kr ,这里0 r m,0 r m，则存在整数q, q使得 a mq r,a mq r . 于