无零因子环的特征.doc

无零因子环的特征 设是一个无零因子环,那么关于的特征问题就有一种“新的感觉”. 定理1. 设是无零因子环,那么加群中每个非零元的阶都是一致的. 本定理已在§2中论证过. 上述定理告诉我们:非零的无零因子环中元素的阶只有二类:一类是零元0( 0的阶永远为1).而其余元素为另一类,它们或者都是无穷大,或都是同一个自然数. 定理2. 若非零无零因子环的特征 ,那么必是一个素数. 本定理在§2中也已证过. 由于整环,除环和域都是无零因子环,所以都满足上述 性质,综合而言: 推论:任一个整环,除环和域的特征或是无限大,或是一 个素数. 下面介绍几个练习,以此作为结束本讲的内容. 如果说本讲开始对环的特征的介绍,使人感到“高深莫测”的话,那下面的命题也许会让你踏实些. 练习1: 设.如果不是零因子 . 证明: 若 ,由本讲附注. 若 ( 未必是无零因子环 未必是素数) ,那么 而不是左零因子.由于.由特征的定义. 上练习提醒我们:非零环的特征就是任一个非零因子的阶.( 本讲结论是显而易见的) 练习2. 若域的阶为偶数,即 ,那么 证明: (反证法) 若.那么 则 . 显然中这样的阶循环子群只有有限个。没有个.那么这个子群所含的中元素共有个.即 =偶数.但不可能是偶数,矛盾. 无零因子环的一个重要特性 设是一个无零因子环,那么加群中每个非零元素的阶彼此必相同.并且,若有限时必是素数. 说明: (ⅰ)若每个非零元的阶都是无限它的阶都相同. (ⅱ)若 ,且中无零因子. 若则,重复上述的证明,同理 .即 . 由的任意性它们的阶都相同. (ⅲ)若中每个非零元的阶都是.如果是合数 其中. ,但由于 且 , 进而知是左零因子,而是右零因子. , 不是合数,又即为素数. 例4.作为整数环,易知是一个无零因子环.而加群中 每个非零元的阶都是无穷大. 例5.剩余类环是一个无零因子环,而加群是阶循环 (是素数),进而知,群中每个非零元的阶为. 有单位元的环(幺环) 设为环,就加法”+”而言.加法群中自然有单位元,习惯上换为群的零元,并记为. 对乘法”·”而言,中是会有单位元呢? 定义4.一个环中若有元素,使得.都有,那么称这个元素叫做环的单位元.习惯上,记单位为 注意:①环中的单位元显然不只代表整数. ②并不是每个环都不得有单位元?的.譬如偶数环. ③环中若有单位元,那么这个单位元必是唯一的. 并且我们规定: 和 ④有单位元的环有时候为了突出单位元,常记为 定义5.设是一个幺环,如果具有下列条件:使 那么称是中的可逆元.并称就是的逆元. 注意2:①只有在幺环中才能谈论逆元的问题. ②既使是幺环,也不能保证每个元素都可逆. ③在幺环中,若可逆,那么的逆元必是唯一的,习惯上记为,显然. 例6. ①因为偶数环中没有单位元,故中没有谈论逆元的“资格”. ②整数环中有单位元(整数).但除了外,,其余元都不可逆. ③在中.单位元是.而可逆. 思考题3.①“ 幺环中必有可逆元”对吗? ②在中,可逆的充要条件是什么? ③若—零环，中有单位元吗？ ④若幺环,那对吗? ⑤左(右)零因子会是可逆元吗? 会是可逆元吗? 明示:设是 幺环.那么 ①若可逆也可逆,且 ②若和都是中元素:那么:与都可逆可逆. ③ 结论2.设是个幺环,由中所有可逆元构成的集合为 .那么是一个乘法群. 证明:由于本身是可逆的..即 . (ⅰ) ∴ (ⅱ)因为是半群满足结合律. (ⅲ) (ⅳ),则的逆元恰是. 由(ⅰ)～(ⅳ)是乘法群. 域 我们知道,整环是可变换的,而除环未必能变换,将这两者统一在一起.则得到一种新的代数体系—域. 定义2:设除环是变换环,那么称为域,记为. 明示:域必是除环域具有除环所有的性质. 前面曾介绍的很多数环都是域(称为数域):有理数域,实数域,复数域.当为素数时,也是域,我们很容易发现:要找一个非域的除环是不容易的,下面“编造”出一个—四元数除环。 设是所有的复数对（事实上，）在中定义加法和乘法： 其中 和表示和的共轭复数. 可以证明: 是一个环.(略) 又易知 是的单位元是一个幺环. 任取的一个非零元 由于 不全为零 （不全为零） 于是有 ，使 （）==. 由 的任意性 中每个零元都可逆 是一个除环. 另外,显然 , 而 , 这说明 即 不是域. 所以是一个非域的除环。 我们将上述除环称为哈米尔顿（Hamiltom） 不妨称它们为“数”，显然. 可以验证（）: 都有 也就是说：中每一个元素可以由上述四个“数”表达，并且可验证：这种表达是唯一的。既然，是由这四个“数”控制着，所以称为四元数除环也就自然了。