第三节简化“剩 余”系.docVIP

  • 145
  • 0
  • 约3.32千字
  • 约 7页
  • 2018-04-05 发布于未知
  • 举报
初等数论 第二章 同 余 第三节 简化剩余系 在模m的完全剩余系中,与m互素的整数所成的集合有一些特殊的性质,我们要在这一节中对它们做些研究。 定义1 设R是模m的一个剩余类,若有a(R,使得(a, m) = 1,则称R是模m的一个简化剩余类。 显然,若R是模的简化剩余类,则R中的每个整数都与m互素。 例如,模4的简化剩余类有两个: R1(4) = { (, (7 , (3, 1 , 5 , 9 , ( }, R3(4) = { (, (5 , (1 , 3 , 7 , 11 , ( }。 定义2 对于正整数k,令函数((k)的值等于模k的所有简化剩余类的个数,称((k)为Euler函数,或Euler—(函数。 例如,容易验证((2) = 1,((3) = 2,((4) = 2,((7) = 6。 ((m)就是在m的一个完全剩余系中与m互素的整数的个数。 定义3 对于正整数m,从模m的每个简化剩余类中各取一个数xi,构成一个集合{x1, x2, (,x((m)},称为模m的一个简化剩余系(或简称为简化系)。 显然,由于选取方式的任意性,模m的简化剩余系有无穷多个。 例如,集合{9, (5, (3, (1}是模8的简化剩余系,集合{1, 3, 5, 7}也是模8的简化剩余系,通常称最小非负简化剩余系。 定理1 整数集合A是模m的简化剩余系的充要条件是 (ⅰ) A中含有((m)个整数; (ⅱ) A中的任何两个整数对模m不同余; (ⅲ) A中的每个整数都与m互素。 证明 留作习题。 定理2 设a是整数,(a, m) = 1,B = {x1, x2, (, x((m)}是模m的简化剩余系,则集合A = {ax1, ax2, (, ax((m)}也是模m的简化剩余系。 证明 显然,集合A中有((m)个整数。其次,由于(a, m) = 1,所以,对于任意的xi(1 ( i ( ((m)),xi(B,有(axi, m) = (xi, m) = 1。因此,A中的每一个数都与m互素。最后,我们指出,A中的任何两个不同的整数对模m不同余。事实上,若有x (, x (((B,使得 a x ( ( ax (( (mod m), 那么,因为(a, m) = 1,所以x ( ( x (( (mod m),于是x ( = x ((。A是模m的一个简化系。证毕。 注:在定理2的条件下,若b是整数,集合 {ax1 ( b, ax2 ( b,, (, ax((m) ( b} 不一定是模m的简化剩余系。例如,取m = 4,a = 1,b = 1,以及模4的简化剩余系{1, 3}。 定理3 设m1, m2(N,(m1, m2) = 1,又设 分别是模m1与m2的简化剩余系,则 A = { m1y ( m2x;x(X,y(Y } 是模m1m2的简化剩余系。 证明 由第二节定理3推论可知,若以X (与Y (分别表示模m1与m2的完全剩余系,使得X ( X (,Y ( Y (,则 A ( = { m1y ( m2x;x(X (,y(Y ( } 是模m1m2的完全剩余系。因此只需证明A (中所有与m1m2互素的整数的集合R是集合A。显然,A ( A’。 若m1y ( m2x(R,则(m1y ( m2x, m1m2) = 1,所以(m1y ( m2x, m1) = 1,于是 (m2x, m1) = 1,(x, m1) = 1,x(X。 同理可得到y(Y,因此m1y ( m2x(A。这说明R ( A。 (A,则x(X,y(Y,即 (x, m1) = 1,(y, m2) = 1。 由此及(m1, m2) = 1得到 (m2x ( m1y, m1) = (m2x, m1) = 1 以及 (m2x ( m1y, m2) = (m1y, m2) = 1。 R。因此A ( R。 综合以上,得到A = R。证毕。 定理4 设m, n(N,(m, n) = 1,则((mn) = ((m)((n)。 证明 这是定理3的直接推论。证毕。 定理5 设n是正整数,p1, p2, (, pk是它的全部素因数,则 ((n) =。 证明 设n的标准分解式是n =,由定理4得到 ((n) =。 (1) 对任意的素数p,((p()等于数列1, 2, (, p(中与p((也就是与p)互素的整数的个数,因此 ((p() = p( (, 将上式与式(1)联合,证明了定理。证毕。 由定理5可知,((n) = 1的充要条件是n = 1或2。 例1 设整数n ( 2,证明: n((n), 即在数列1, 2, (, n中,与n互素的整数之和是n((n)。 解 设在1, 2, (, n中与n互素的((n)个数是 a1, a2, (, a((n),(

文档评论(0)

1亿VIP精品文档

相关文档