第二章 同余与同余式：同余的概念与基本性质 同余方程组的求解方法 线性同余方程、高次同余方程的求解 原根和指数 应用.ppt

练习 计算ord11(3) 首先计算φ(11)=10，所以指数可能为1,2,5,10 从小到大依次试算 31?3, 32?9, 35?1(mod 11)，所以ord11(3)=5 根据这个结论可以推出 ord11(14)=5=ord11(4) 可以推出ord11(-3)= ord11(-1)* ord11(3)=10 所以-3?8是原根，原根一共φ(10)=4个 所以8?23，83?29 ?72?6， 87?221?21?2， 89?227?27?7，即2、6、7、8是原根 总结 寻找一个原根的技巧: ordm(a) |φ(m) (m, n) = 1，(a, mn) = 1，则ordmn(a)= [ordm(a),ordn(a)] (ab, m) =1， (ordm(a),ordm(b))=1则ordm(ab)=ordm(a)ordm(b) 奇素数p，p-1= 练习 求模41的原根情况 φ(11)=40,现在只要考察x8, x20 从2开始,因为 28?10, 220?1(mod 41); 38?1, 320?-1(mod 41); 48?20, 420?1(mod 41); 58?18, 520?1(mod 41); 68?10, 620?-1(mod 41); 所以6是模41的原根 练习 求模41的原根情况 因为:62?36, 63?-30?11, 64?25, 65?-55?27(mod 41); 66?39, 67?29, 68?10, 69?19,610?32, 611?28(mod 41); 612?4, 613?24, 614?21, 615?3, 616?18, 617?26(mod 41); 618?33, 619?34, 620?40,621?35,622?5, 623?30 (mod 41); 624?16, 625?14,626?2,627?12, 628?31, 629?22 (mod 41); 630?9, 631?13, 632?37,633?17,634?20, 635?38(mod 41); 636?23, 637?15, 638?8,639?7,640?1(mod 41); 练习 求模41的原根情况 所以:指数为1的元素有φ(1)=1个,是1; 指数为2的元素有φ(2)=1个,是620?40 (mod 41); 指数为4的元素有φ(4)=2个,是610?32, 630?9(mod 41); 指数为5的元素有φ(5)=4个,是10，18，16，37 指数为8的元素有φ(8)=4个,是27，3，14，38 指数为10的元素有φ(10)=4个,是25，4，31，23 指数为20的元素有φ(20)=8个,是36，39，21，33，5，2，20，8 指数为40的元素有φ(40)=16个,是6，11，29，19，28，24，26，34，35，30，12，22，13，17，15，7 总结 指数的价值： 幂化简 原根的价值 生成元：生成缩系所有元素 g,{gd} d遍历φ(p)的缩系(φ(φ(p))个)，gd遍历模p的原根 g是原根的时候幂与(计算幂后的)值形成置换 a a2 a3 a4 a5 a6 3 2 6 4 5 1 总结 原根的价值之二 可以推出其余所有缩系元素的指数 ordm(ai)=ordm(a)/(ordm(a),i) 可以根据幂对缩系元素按指数分类 a7 a8 a9 a10 7 3 6 1 a a2 a3 a4 a5 a6 2 4 8 5 10 9 练习 计算同余方程xk ? 1 (mod 11)的解的个数 首先计算φ(11)=10，所以指数可能为1,2,5,10 k=1时，有φ(1)=1个； k=2时，有φ(2)=1个 k=5时，有φ(5)=4个； k=10时，有φ(10)=4个 考虑不周，k=3,4等其他数时呢 x ? 1 (mod 11)是k等于任何值的解 练习 计算同余方程xk ? 1 (mod 11)的解的个数 关键在于指数可能可以化简 指数可取1,2,5,10, 指数为1时，有1个解，此时k可取1的倍数，即1-10任意数 指数为2时，有1个解，此时k取2的倍数，即2,4,6,8,10 指数为5时，有4个解，此时k取5的倍数，即5,10 指数为10时，有4个解，此时k取10 综合：k=1,3,7,9有1个解，k=2,4,6,8有两个解，k=5有5个解，k=10有10个解 练习 进一步：xk ? 1 (mod 11)各有哪些解？ 先找出每个指数对应的解，要计算指数先找出原根 原根都是试找的，先看2 22?4, 25?-1, 210?1(mod 11),所以2是模11的原根 所以生成缩系中的其它元素 22?4, 23?8, 24?5, 25?10, 26?9 (mod