《剩余系和欧拉函数》课件1.pptVIP

2.4 剩余系和欧拉函数 人教B版数学选修4-6《初等数论初步》 定义1 对于正整数m，则m个整数0,1,…,m-1中与m互素的整数个数记做?(m) ,也就是Euler函数 例如，容易验证?(2) = 1，?(4) = 2，?(7) = 6 定义2设R是模m的一个剩余类，若有a?R，使得(a, m) = 1，则称R是模m的一个简化剩余类。 定义3 对于正整数m，从模m的每个简化剩余类中各取一个数xi，构成一个集合{x1, x2, ?,x?(m) }，称为模m的一个简化剩余系 模m的一个简化剩余系的元素个数是?(m) 例1设m是一个正整数,则 ①0,1,…,m-1中与m互素的整数全体组成模m的一个简化剩余系叫做模m的最小非负简化剩余系 ② 1,…,m-1,m中与m互素的整数全体组成模m的一个简化剩余系叫做模m的最小正简化剩余系 ③-m+1,…,-1,0中与m互素的整数全体组成模m的一个简化剩余系叫做模m的最大非正简化剩余系 ④-m,-m+1,…,1中与m互素的整数全体组成模m的一个简化剩余系叫做模m的最大负简化剩余系 ⑤当m分别为偶数时, -m/2,-(m-2)/2,…,-1,0,1,…, (m-2)/2 或 -(m-2)/2,…,-1,0,1,…,(m-2)/2,m/2 中与m互素的整数全体组成模m的一个简化剩余系 当m是奇数时, -(m-1)/2,…,-1,0,1,…,(m-1)/2中与是m互素的整数全体组成模m的一个简化剩余系 上述两个简化剩余系统称为模m的一个绝对值最小简化剩余系 定理1若a1,a2,…,a?(m)是?(m)个与m互素的整数, 并且两两对模m不同余,则a1,a2,…,a?(m)是模m的一简化剩余系 定理2若(a,m)=1, rl,r2,…,r?(m)是模 m的一简化剩余系, 则arl,ar2,…,ar ?(m)也是模m的一简化剩余系 证明 由定理1只需证明arl,ar2,…,ar ?(m)是模m两两互不同余, 且都与m互素即可. 先证两两互不相同:假设ari?arj(mod m), 其中1≤i, j ≤?(m). 由于(a,m)=1, 有ri?rj(mod m), 这与rl,r2,…,r?(m)是模 m的一简化剩余系矛盾, 故ari≠arj(mod m), 即: arl,ar2,…,ar ?(m)中模m两两互不同余 再证(a,m)=1,(r,m)=1,(ar,m)=1 例2 已知1,7,11,13,17,19,23,29是模30的简化剩余系 (7,30)=1 ,构造一个简化剩余系 定理 3 设m是一个正整数,(a,m)=1, 则存在a’ ,使 得a a’ ≡1(mod m) 证明,因为,(a,m)=1 故存在唯一的整数s,t 满足 sa+tm=1 ?sa ≡ 1(mod m), 取s= a’ 成立 这里 a’ 也叫做a模m的乘法逆元 定理 4 设m1, m2?N，(m1, m2) = 1，又设 分别是模m1与m2的简化剩余系，则 A = { m1y ? m2x；x?X，y?Y } 是模m1m2的简化剩余系。 定理5设m, n?N，(m, n) = 1，则 ?(mn) = ?(m)?(n) 证,由定理4直接得到 定理6设n的标准分解式是n = 是它的全部素因数，则?(n) = 证明:由定理5 有?(n) = 对任意的素数p，?(p?)等于数列1, 2, ?, p?中与p?（也就是与p）互素的整数的个数，因此 ?(p?) = p? ? (1) 又n = ,和(1)式结合起来就得到结论 推论 设pq是不同的素数,则 ?(pq) = ?(p) ?(q) =(p-1)(q-1) 下面进一步考察欧拉函数的性质 定理7 设n是一个正整数 则 证明: 设C={1,…,n}, 按照与n的最大公因素分类,对d|n 记 Cd={m|1≤m ≤n,(m,n)=d},因为,(m,n)=d iff ,(m/d,n/d)=1,所以Cd中的元素m的形式 Cd={m=dk|1≤k ≤n/d,(k,n/d)=1},故Cd的元素个数为?(n/d) ,因为每个整数属于且仅属于一个类Cd 因此,#C= ,即 , 又当d遍历n的正因素 时,n/d也遍历n的所有正因素 例3 设整数n=50,利用定理8 对其进行分类 解,因为n的因素为1,