7保障与安落全数论06.pptVIP

 数论导引 1 素数和数的互素 除数(因子)的概念：设z为所有全体整数构成的集合，若 b≠0且  使得a=mb , 此时称b整除a.记为b∣a,还称b为a的除数(因子). 注:若a=mb+r且0rb,此时b不整除a,记为b┼a素数(质数)的概念:整数p1被称为素数是指p的因子仅有1,-1,p,-p。 定义：若a?x mod n =1，则称a与x对于模n互为逆元。 用Euclid算法求乘法逆元 若a和n互素，则a在模n下有逆元。 算术基本定理： 任何一个不等于0的正整数a都可以写成唯一的表达式 a＝P1α1P2α2…Ptαt，这里P1P2P3…Pt是素数，其中αi0 最大公约数： 若a,b,c∈z，如果c∣a，c∣b，称c是a和b的公约数。正 整数d称为a和b的最大公约数，如果它满足 d是a和b的公约数。 对a和b的任何一个公约数c有c∣d。 注：1*. 等价的定义形式是： gcd（a,b）＝max{k∣ k∣a，k∣b} 2*．若gcd（a,b）=1，称a与b是互素的。 模 算术 全体整数Z构成的集合对整数的加法和乘法的两种运算是封闭的且满足算术运算的所有定律，此时我们称整数集合z为整数环。整数环z对除法运算不封闭。 带余除法： ?a∈z0，可找出两个唯一确定的整数q和r,使a=qm+r, 0=r m，q和r这两个数分别称为以m去除a所得到的商数和余数。 (若r=0则m∣a） 整数同余式和同余方程： 定义（同余）称整数a模正整数m同余于整数b，并写 a≡b（mod m）是指m∣a－b, m称为模数。注：1*.m∣a-b等价于a=q1m+r,b=q2m+r即a和b分别 除以m有相同的余数。“同余”二字的来源就在于此。 2*.相对于某个固定模数m的同余关系，是整数间的一种等价关系。具有等价关系的三点基本性质： 对任意整数a有a≡a（modm） 如果a≡b(modm)则b≡a（modm） 如果a≡b (modm）,b≡c（modm）则a≡c(modm) 于是，全体整数集合z可按模m（m1）分成一些两两不交的等价类。 3*.整数模m同余类共有m个，他们分别为mk+0,mk+1, mk+2,…mk+(m-1); k∈z，每一个算一类，每一类都可以选一个代表元，一般选这一类中的最小的非负整数。于是称[0],[1],[2],…[m-1]为标准完全剩余系。Z模12的标准剩余系为：[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11] 4*. 对于某个固定模m的同余式可以象普通的等式那样相加相减和相乘 （可交换的、可结合的、可分配的）而且，简化运算每个中间结果的模n运算，其作用与先进行全部运算，然后再简化模n运算是一样的。 (1)[a(mod m)±b(mod m)] mod m =(a±b)(mod m) (2)[a(mod m)?b(mod m)] mod m =a ? b(mod m) (3) )[(a ?b)(mod m)]+[(a?c)(mod m)] mod m =(a ? (b+c))(mod m) 例1 152 mod 12 =(3*3) mod 12=9 例2 通过同余式演算证明560－1是56的倍数，223－1是47的倍数。 解： 注意53=125≡13(mod56) 于是有56≡169≡1(mod56) 对同余式的两边同时升到10次幂， 即有56∣560-1。 注意26=64≡-30(mod47), 于是 223=(26)3·25=(26 · 26)26 · 25 ≡900· (-30) ·(32) mod(47) ≡(7)(-30) ·(32) (mod47) ≡(-30) ·(224) (mod47) ≡(-30) ·(36) (mod47) ≡(-1080) (mod47) ≡1(mod47) 于是有 47∣223-1 求117 (mod13)， 112 =121 ≡4 (mod13)， 114 ≡ 42 ≡3 (mod13)， 117 ≡ 11?4 ? 3 ≡ 2 (mod13) 定理：(消去率)对于ab≡ac（mod m）来说，若(a,m)＝1则b≡c(mod m) 5*.一次同余方程ax≡b(mod m)这个方程有没