数论中的基础概念.doc

1群、环、域概念 A1：加法的封闭性：如果a和b属于G，则a+b也属于G A2：加法结合律：对G中的任意元素a,b,c,a+(b+c)=(a+b)+c A3：加法单位元：G中存在一个元素0，使得对于G中的任意元素a，有a+0=0+a A4：加法逆元：对于G中的任意元素a，G中一定存在一个元素a,使得 a+(-a)=(-a)+a=0 A5：加法交换律：对于G中的任意元素a和b，有a+b=b+a M1：乘法的封闭性：如果a和b属于G，则ab也属于G M2：乘法结合律：对于G中的任意元素a,b,c有a(bc)=(ab)c M3：乘法分配了：对于G中的任意元素a,b,c，有a(b+c)=ab+ac和(a+b)c=ac+bc M4：乘法交换律：对于G中的任意元素a,b有ab=ba M5：乘法单位元：对于G中的任意元素a,在G中存在一个元素1，使得a1=1a=a M6：无零因子：对于G中的元素a,b，若ab=0，则必有a=0或b=0 M7：乘法逆元：如果a属于G，且a不为0,则G中存在一个元素，使得 满足A1---A4称为群 满足A1---A5称为可交换群 满足A1---M3称为环 满足A1---M4称为可交换换 满足A1---M6称为整环 满足A1---M7称为域 2循环群：如果群中的每一个元素都是一个固定元素的幂（k为整数）， 则称群G是循环群。我们认为元素a生成了群G，或者说a是群G的 生成元。 循环群总是交换群 3模运算 则称整数a和b是模n同余的，可以表示为： 若b整除a。则用符号：表示。其性质可表示如下： ①如果a|1,那么a=-1或1。 ②如果a|b，且b|a，那么a=b或a=-b ③任何不等于零的数整除0 ④如果b|g且b|h，那么对任意整数m,n都有b|（mg+nh） 证明性质④： 如果b|g，那么,g为整数。 如果b|h，那么，h为整数。 于是： 因此b整除mg+nh. 同余的性质： 1如果n|（a-b），，那么 2隐含 3，隐含 性质1证明： 如果，那么，为整数。使得， 则有 即得。 性质2证明： 由得：即，满足 ……① 由①可推出,由性质1可知成立 则得证。 性质3证明： 由性质2证明过程知：满足： ……② 由②可以推出，由性质1可知 模算术运算有如下性质： 1 2 3 性质1证明： 设，则，使得 那么有： 即得证。 性质2证明： 由性质1证明过程知使得 那么有： 性质3证明： 前半段证明如上， 定义比n小的非负整数集合为。这个集合称为剩余类集，或 模n的剩余类。 中每一个整数都代表一个剩余类，我们可以将模n的剩余类表示为： ，其中。 如果，那么 若a与n互素，如果，那么 中整数模运算性质： 交换律： 结合律： 分配律： 单位元： 加法逆元（-w）：对于中的任意w，存在一个z使得 加法逆元：对每一个，存在一个u,使得w+u=0 mod n，记为u=-w,显然在模 n下，-w=n-w。 如果，则有 ， 特例， 更一般式：， 特例： 其中f(x)为任意给定的一个整系数多项式 最大公约数： 欧几里得算法：对于任意非负整数a和任意正整数b有 算法描述如下：设整数 （1）； （2）如果Y=0，返回X=gcd(a,b)，否则继续； （3）R=XmodY （4）； （5）; （6）返回（2） 扩展的欧几里得算法描述如下：Extended EUCLID(a,n) （1）；； （2）如果，返回，无逆元；否则继续； （3）如果，返回；； （4）； （5）； （6）； （7）； （8）返回（2）。 有限域GF(P): 阶为的有限域一般记为，GF代表伽罗瓦域。 给定一个素数p，元素个数为p的有限域GF(p)被定义为整数的集合，其运算为模p的算术运