有限域及其应用1.ppt

模 2.在证明这一结果之前，我们先提出以下结果（证明简单，从略）。 引理. 设R是一个含幺环， （1）对于R的一个真理想I及R上一个自由酉左模M，若?是RM的一个基底，记 （RM的一个子模） ?: M?M/IM为自然加群同态，则M/IM按下列自然的系数运算还构成R/I上一个以? (?)={? (x)| x??}为基底的自由酉左模： (r+I)(m+IM)=rm+IM，对任意的r?R及m?M； 并且?: ??? (?)是一一对应。 模 （2）若R?S，而具有不变维数性质，则R也具有不变维数性质。 以下给出所要的证明： 对于交换含幺环R，T={I|I?R, I?R}结合“?”构成一个非空半序集，对于T的任一非空全序子集C，易见?C?T，因而是C的一个上界；根据Zorn引理，T有一个极大元M。利用R为一个交换环的条件易证R/M构成一个域，因R?R/M、而后者具有不变维数性质，故R也具有不变维数性质。 证毕。 模 类似地，可以有R上（酉）右模(MR, ?, ?)的概念及相应结果。如果(R, +, ?)是一个交换环，则R上左模与右模可以不加区别：对于模(RM, ?, ?)，如果定义 m?r= r?m，对任意的r?R及m?M 那么(M, ?, ?)即构成R上一个右模；反之亦然。 含幺交换环?欧氏整环 设R是一个含幺交换环， 1.??对于a, b?R， 1)? 称a整除b、或a是b的一个因子，记为a|b，是指： ?x?R, ?b=ax。显然，a|b?(b)?(a)。 2)? 如果a|b ? b|a，则称a与b相伴。如果b=a?, ??R*，则 a与b相伴；当R进一步为整环时，反之亦然。 3)? 称c?R与b模a同余，记为c?b mod a，是指：a|(c-b) 。 若?c?R, ?bc?1 mod a，则称b模a可逆、且c为b模a的 逆，该逆必唯一，记为b-1 mod a。显然，b模a可逆? ?s, t?R，?1=sa+tb?b+(a)?(R/(a))*。 2.? 对于??R，下列陈述等价： a)??????R*； b)????1?(?)； c)????(?)=R； d)????r?R??|r； e)?????|1。 含幺交换环?欧氏整环 3.? 对于????R， 1)? d?R称为?的一个最大公因子，是指：? d|x, ?x??；? h|x, ?x?? ? h|d。?的所有最大公因子集合记为gcd(?)。显然，gcd(?)???存在包含 的最小主理想；gcd(?)中元素两两相伴。 2) 如果?的一个最大公因子属于R*，则gcd(?)=R*，此时称?中所有元素互素。显然，下列陈述等价：??中所有元素互素，?1?gcd(?)，?包含 的主理想只是R。 3)? c?R称为?的一个最小公倍元，是指：? x|c, ?x??；? x|h, ?x?? ? c|h。?的所有最小公倍元集合记为lcm(?)；显然，lcm(?)???存在含于 的最大主理想；lcm(?)中元素两两相伴。 当?={a, b}时，我们常用gcd(a, b)（lcm (a, b)）表示a与b的一个特定的最大公因子（最小公倍元）；特别，把a与b互素记为gcd(a, b)=1。应用数学归纳法不难证明： 含幺交换环?欧氏整环 若gcd(a, b)（lcm (a, b)）存在，?a, b?R，则对于R的 任意非空有限子集?，必gcd(?)??（lcm(?)??）。 另外，如果R是主理想环(即每一个理想均是主理想)，则 1)??对于????R，gcd(?)与lcm(?)均非空； 2)??对于a, b?R，gcd(a, b)=1?? s, t?R，?1=sa+tb； 3)??对于a, b, c?R，若a|c, b|c, 且gcd(a, b)=1，则ab|c。 4.?对于p?R\({0}?R*)， p称为素元，是指：p|ab (a, b?R) ? p|a ? p|b；p称为不可约元，是指：p=ab (a, b?R) ? a?R* ? b?R*。显然，p?R\({0}?R*)为一素元?R/(p)为一个整环；如果R是主理想的，则p?R\({0}?R*)为一不可约元?R/(p)为一个域（对于a?(p)，即p?a，gcd(a, p)作为a的一个因子必不与p相伴；由它也作为不可约元p的一个因子即知，gcd(a, p)=1）。 含幺交换环?欧氏整环 进一步假定R无零因子，即R是一个整环， 1.? R中每个素元一定