离散数学 环与域..pptVIP

* 例１　设p是素数，则模p剩余类环Zp是一个域，Zp的特征为p． 证明　容易看出Zp中单位元［１］的加法周期为p，故知Zp的特征为p． 例２　有整数域Z的特征为０． 证明　因为对任意正整数n，n１＝n≠０．故１的加法周期为∞，故Z的特征为０． * 定理２　S是F的子域，则S与F具有相同的特征． 证明：S与F的运算相同，具有相同的０，1,…． * 定理３　n元有限域的特征必为素数p，且p｜n． 证明　若F是n元有限域，则〈F，＋〉是n阶群， 又因为0，1都在群〈F，＋〉中， 故１∈F在〈F，＋〉中的周期必为有限数p，且p｜n （元素的周期整除群的阶） 由定义（非零元的周期为域F的特征），所以F的特征为p. 且由定理1知p为素数. * 定义3 设〈R，＋，· 〉,〈S， ?，? 〉是两个环，f : R→S, 如果f 保持运算，即满足： f ( a + b ) = f ( a ) ? f ( b ) f ( a·b ) = f ( a ) ? f ( b ) , ? a, b ? R 则称f是环R到环S的同态. 定理４　若域F的特征为素数p，则F中必存在与Zp同构的子域 Zp． 证明　设e是F的单位元，令Zp＝｛ie｜i∈Z｝ 因为e的加法周期为p，故 Zp={0，e，2e，…，(p-1)e} 构造Zp到Zp的映射 ?：[i]|→ ie,[i]∈Zp 可以验证 ? 是Zp到Zp的双射.下证 ? 保持运算． 　　 ?（[i]＋p[j]）＝ ?（[i＋j]）＝（i＋j）e　　 ＝（ie）＋（je）＝?([i]）＋?（[j]） 　?（[i]×p[j]）＝ ?（[ij]）＝（ij）e ＝（ie）·（je）＝ ?（[i]）·?（[j]） 由此便知 ? 是Zp到Zp的同构，即 ?：Zp ? Zp. 由于Zp是域，与之同构的Z‘p必为域，从而是F的子域 * 设F是一个特征为素数p的域， F的任何子域S，必包含单位元e， 从而包含e的所有整数倍ie，故Zp ? S． 因此Zp是F的最小子域． 从同构观点来看，特征为素数p的域F含有Zp为其最小子域． 若域F的特征为０，则Z0 ＝｛ie｜i∈Z｝与 整 数环Z同构，不能构成F的子域 * 定理５　若域F的特征为０，则F中含有与有理数域Q同构的子域． 证明：用e表示F的单位元，令 Q ＝｛ ｜m，n∈Z，n≠０｝， 作有理数域Q到Q‘ 的映射 ?： |→　　, m，n∈Z，n≠０． * 以上定义是合理的，即有理数q的象由q唯一确定, 而与其表示方法无关： 设 ，则mn＝nm， 故 （mn）e＝（nm）e．由于 （mn）e＝m（ne）＝（me）（ne）， （nm）e＝n（m e）＝（ne）（me）， 故（me）（ne）＝（ne）（me）． 同乘 (ne)–1 (ne)–1 ，有 或说 * 不难看出 ? 是满射，且容易验证 ? 是单射、保持运算，因而?：Q ? Q. 由于Q是域，知Q 是域，从而是F的子域，这样就证明了F中存在与Q同构的子域 * 设F是一特征为０的域，则对F的任何子域S，S必包含F的单位元e，从而包含e的所有整数倍me，由域的定义， (me) –1 及形如(me) (ne) –1的元素均应包含在S中，故Q‘ ? S．因此Q’ 是F的最小子域． 从同构观点来看，特征为０的域F包含有理数域Q为其最小子域． * 如果将F中的单位元记为１，则F中的 元素me，可记作m， 可记作 特别地，对于素域Zp，其中的元素 ［i］＝ i [1] 常记为i，在这种记号下， Zp＝｛０，１，…，p－１｝. ② a * b-1 = a-1 * b = (a*b)-1 ；a(-b)=(-a)b=-(ab) * ③ a-1 * b-1 = a * b；（-a）（-b）=ab * ④ a*(b+c-1) = (a*b)+(a*c)-1 * 证明： （1）A1?A2,?,?构成环； （2）若 A1,A2 都是有单位元的环，则 A1?A2也是吗？ （3）若 A1,A2 都是无零因子的环，则 A1?A2也是吗？ * 设 A,?,* 是无零因子环，并且是可交换的含幺环，则称它为整环。 * * * * * * 若〈F，＋〉中非零元的周期为有限数p，则称域F的特征为p * * 例　对于剩余环〈Zm，＋m，×m 〉，证明 若m不是素数，则Zm中必存在零因子． 证明：Zm中的零元为［０］．因为m不是素数，故存在整数n1，n2，使 m＝n1n