数论相关基础知识.pptVIP

数论相关基础知识 提纲 群环域 ↓ 模运算 ↓ 欧几里德算法 ↓ 有限域GF(p) ↓ 多项式运算 ↓ 有限域GF(2^n) ↓ Abstract Algebra Algebraic structure Semigroup closure封闭性, associative 结合律 Group  closure, associativity, identity单位元, inverse逆元 Ring  +: associativity, commutativity交换律, identity, inverse 0 *: associativity, distributivity分配律 Field  a ring multiplicative inverse 乘法逆元 Lattice, Boolean 4.1 群环域 群 Group 集合，元素 二元运算 · 封闭性、结合律 单位元、逆元 有限群、无限群 交换群（Abel） 循环群 生成元 环 Ring 环R 二元运算: 加法+、乘法× (R, +)是交换群 乘法封闭性、乘法结合律 分配律 a(b+c) = ab+ac 交换环 乘法交换律 整环（交换环且） 乘法单位元1 无零因子: ab=0 a=0或b=0 域 Field 域F F是整环 存在乘法逆元(0除外) 除法定义: a/b = a(b-1) 有理数域、实数域、复数域 有限域 Group Ring Field 域相关概念及定理 域的特征 - 任意元素a的n次累计和为0的最小的n； 域的特征要么是素数，要么是0(没有)； 素域：没有非{0}真子域的域； 有限域的阶是p^n（其中p是素数）； 有限域的乘法群是循环群； 可逆在加/解密中的重要性 加密的操作对象是比特分组，通常被看作整数 加密是对整数的变换。这种变换必须能恢复(解密时)，即可逆。如果加密是乘法，则解密就是除法，而域上正好有除法---乘法逆元。 对于8bits字节，希望Z256是域，但它不是；于是转而寻求GF(2^8)，它是域。 AES的S盒是基于模2系数的模某8次不可约多项式的剩余类。 4.2 模运算 模运算即求余数（C语言中的运算符％） x mod n＝a 其中0≤an, 且有证书k使kn＋a＝x 如 5％3＝2；8％7＝1；16％12＝4 同余关系 若x mod n＝y mod n [＝ a]，则说x和y是模n同余的，记x≡y mod n 如 13≡6 mod 7 20≡7 mod 13 因子≡0 mod 倍数 模运算性质 a＋b mod n ＝ (a mod n＋b mod n) mod n a－b mod n ＝ (a mod n－b mod n) mod n a×b mod n ＝ (a mod n×b mod n) mod n 其他性质 交换律 结合律 分配律 剩余集 模n完全剩余集 给定了数n，则所有的整数都以同余的形式映射到模n的余数的集合上 Zn＝{0，1，2，3，…，n-1} 模n的运算可定义在该集合上 模n简化剩余集 只保留和n互素的元素（不要0） Z12*＝{1，5，7，11} 模素数q的简化剩余集 Zq*＝{1，2，…，q-1} 模n逆元 讨论在模n余数集上进行 加法逆元 如果a＋b≡0 mod n，则a和b互为加法逆元 Zn中有：0,0 1,n-1 2,n-2 … n/2,n/2 乘法逆元 如果a×b≡1 mod n，则a、b互为乘法逆元 如6×20≡1 mod 119 一次同余式 并不是每个元素都有乘法逆元 定理： ax≡b mod n有解  (a, n) | b 推论： ax≡1 mod n有解 IFF (a, n) | 1 因此，如果n是素数p，就都有解 a存在模n逆元  a和n互素，即(a,n)=1 如果n是某素数p，则除了0元都有逆元 ？求a的模n逆元：使用扩展Euclid算法 （Zn,＋,×）是环 （Zn,＋,×）是环 a∈ Zn有乘法逆元 IFF gcd(a, n)=1 其个数定义为φ(n) 它们构成乘法交换群Zn* （Zn*,＋,×）是域 Zp是域（除0元外都有乘法逆） Zp*={1, 2, 3,…, p-1}，φ(n) = p-1 其每个非0元素都和p互素，即有逆元 4.3 欧几里德算法 (Euclid) 整除、倍数、因子 公因子、最大公因子 gcd() Greatest Common Divisor 最大公因子定理(ab) gcd(a, b) = gcd(b, a mod b) 求最大公因子 辗转相除法（欧几里德算法） gcd(a, b) = gcd(b