第四章整环里的因子分解.doc

第四章 整环里的因子分解§4.1 不可约、素元、最大公因子1. 证明:0不是任何元的真因子.注 这里的0是指整环I 的零元,“任何元”是指整环I 中的任何元. 证明 由于0不能整除整环I 中的非零元,因此0不是整环I 中的非零元的真因子.虽然0整除0,但0与0相伴,因此0不是0的真因子.所以0不是整环I 中任何元的真因子.2.找出Gauss 整数环},|{][Z Z ∈+==n m ni m i I 的所有单位.解 假设Z ∈b a ,,使得bi a +是I 中的单位,则存在Z ∈d c ,,使得1))((=++di c bi a ,从而,1))((2222=++d c b a .由此可见,i bi a ±±=+,1.所以i ±±,1就是I 中的所有单位.3.证明:在Gauss 整数环][i I Z =中,3是不可约元,5是可约元.证明 显然,3和5既不是零元,也不是单位.设Z ∈d c b a ,,,,使得3))((=++di c bi a .于是9))((2222=++d c b a .显然322≠+b a .因此122=+b a 或122=+d c ,从而,bi a +是单位或di c +是单位.所以3是不可约元.由5)2)(2(=-+i i 可知,i +2和i -2都是5的真因子.所以5是可约元.4.设I 是整环,I b a ∈,,直接证明:a b a ⇔=)()(～b .证明 由于I 是有单位元的交换环,根据定理3.16的推论1(3),aI a =)(,bI b =)(. 因此⇔=)()(b a 存在R s r ∈,,使得rb a =,sa b =a ⇔～b .5.设p 是整环I 的素元,m a a a p 21|(2≥m ),证明:至少存在一个i a (m i ≤≤1),使i a p |.证明 我们用数学归纳法来证明.当2=m 时,根据素元的定义,我们的断言成立.假设当n m =(2≥n )时,结论成立.当1+=n m 时,根据素元的定义,n a a a p 21|或1|+n a p .若p 不整除1+n a ,则n a a a p 21|.于是,根据归纳假设,至少存在一个i a (n i ≤≤1),使i a p |.所以当1+=n m 时,我们的断言成立.6.设整环I 中任意两个元的最大公因子都存在,m a a a ,,,21 是I 中m 个不全为零的元,若m m db a db a db a ===,,,2211 ,证明:d 是m a a a ,,,21 的最大公因子m b b b ,,,21 ⇔互素.证明 假定m m db a db a db a ===,,,2211 .m b b b ,,,21 不互素⇔I 中存在元素',,','21m b b b 和非零、非单位的元素c ,使得',,','2211m m cb b cb b cb b ===⇔I 中存在元素',,','21m b b b 和非零、非单位的元素c ,使得',,','2211m m dcb a dcb a dcb a ===d ⇔不是m a a a ,,,21 的最大公因子.所以d 是m a a a ,,,21 的最大公因子m b b b ,,,21 ⇔互素.§4.2 惟一分解环1.证明:整环},|10{]10[Z Z ∈+==n m n m I 不是惟一分解环.证明 显然,I ∈10,10,5,2,10,5,2都不是单位,也都不是零元,2和5都不是10的相伴元,但是10105210⋅=⋅=.所以I 不是惟一分解环.2.证明:Gauss 整数环][i I Z =中,5是唯一分解元.证明 首先,由§1习题第2题知,在I 中只有1±和i ±是单位.其次,显然i ±2都不是零元和单位元.事实上,i ±2是I 中的不可约元.为了阐明这一事实,考察任意的Z ∈d c b a ,,,.若i di c bi a ±=++2))((,则5))((2222=++d c b a ,由此可见,122=+b a 或122=+d c ,从而,bi a +是单位或di c +是单位.因此i ±2没有非平凡的因子.所以i ±2是I 中的不可约元.当然,它们的相伴元)2(i ±-,)2(i i ±,)2(i i ±-也都是不可约元.现在设Z ∈d c b a ,,,,使得5))((=++di c bi a . (*) 于是,25))((2222=++d c b a .由此可见,122=+b a 或522=+b a .当122=+b a ,i bi a ±±=+,1是I 中的单位,从而,di c +是5的相伴元.这时(*)式不是5的不可约元分解式.当522=+b a 时,bi a +的值只能是如下八个数之一:i ±2,)2(i ±-,)2(i i ±,)2(i i ±-.显然,这八个数都是5的真因子.这样一来,根据(*)式可以断言,)2)(2(5i i -+=是5的不可约元分解式,并且:对于5的任意一个不可约元分解式n p p p 215=,必有2=n ;必要时,交换1p 和2p 的下标和次序后,1p 与i +2相伴且2p 与i -2相伴.所以5是唯一分解元.2.按惟一分解环定义直接证明定理4.11.注 定理4.11的内容如下:在一个惟一分解环I 中,每一个不可约元都是素元.证明 设I p ∈是一个不可约元.任意给定I b a ∈,,并假设ab p |.于是,存在I c ∈,使得pc ab =.当0=a 或0=b 时,显然a p |或b p |.当a 为单位时,有pc a b 1-=,从而,b p |.同理,当b 为单位时,有a p |.现在假定a 和b 都不是零元和单位.显然,c 不是零元,也不是单位.由于I 是惟一分解环,不妨设m p p p a 21=,n q q q b 21=,u r r r c 21=.其中,j p (m j ≤≤1),k q (n k ≤≤1)和l r (u l ≤≤1)都是不可约元.于是, n m u q q q p p p r r pr 212121=. (*) 由于I 是惟一分解环,可以断言:或者存在j (m j ≤≤1),使得p 与j p 相伴,从而,a p |; 或者存在k (n k ≤≤1),使得p 与k q 相伴,从而,b p |.总而言之,a p |或b p |.这样一来,由于I b a ∈,的任意性,我们断言p 是素元.4.设I 是惟一分解环,m a a a ,,,21 是I 中m (2≥m )个元,证明:在I 中m a a a ,,,21 的最大公因子存在,且任意两个最大公因子互为相伴元.证明 首先,我们用数学归纳法来证明m a a a ,,,21 有最大公因子.事实上,定理4.10告诉我们,当2=m 时,结论成立.假设当n m =2(≥n )时结论成立.现在考察1+=n m 的情形:根据归纳假设,不妨设a 是n a a a ,,,21 的一个最大公因子.根据定理4.10,可设d 是a 与1+n a 的最大公因子.显然,d 是121,,,,+n n a a a a 的一个公因子.假设'd 是121,,,,+n n a a a a 的一个公因子.则'd 是n a a a ,,,21 一个公因子.由于a 是n a a a ,,,21 的一个最大公因子,因此a d |'.由于1|'+n a d ,因此'd 是a 与1+n a 的公因子.这样一来,由于d 是a 与1+n a 的最大公因子,因此d d |'.所以d 是121,,,,+n n a a a a 的一个最大公因子.所以当1+=n m 时m a a a ,,,21 有最大公因子.§4.3 主 理 想 环1.设I 是主理想环,d 是I b a ∈,的一个最大公因子,证明:I t s ∈∃,,使bt as d +=. 证明 根据定理3.16的推论2,),()()(b a b a =+,其中),(b a 表示},{b a 生成的理想.根据定理 4.15,),()(b a d =.因此)()()(d b a =+.由)()(b a d +∈可知,存在I t s ∈,,使bt as d +=.2.设I 是主理想环,I b a ∈,,证明:b a ,互素I t s ∈∃⇔,,使1=+bt as .证明 根据定义4.8、第1题、定理3.16的推论2以及定理4.15,我们有b a ,互素⇔1是a 与b 的一个最大公因子⇒存在I t s ∈,,使1=+bt as)()(1b a +∈⇒),()()()1(b a b a =+=⇒⇒1是a 与b 的一个最大公因子.所以b a ,互素I t s ∈∃⇔,,使1=+bt as .3.设I 是主理想环,I b a ∈,,证明:(1)若b a ,互素,且bc a |,则c a |;(2)若b a ,互素,且c a |,c b |,则c ab |.证明 (1) 当0=a 时,由bc a |可知,0=bc ;由a 与b 互素可知,b 是单位.因此0=c .所以c a |.当a 是单位时,显然c a |.假设a 既不是0,也不是单位.由于bc a |,因此bc 既不是0,也不是单位;从而,b 和c 都不是0.若b 是单位,则由bc a |可知c a |.现在假定b 不是单位.由于I 是主理想环,根据定理4.14,I 是惟一分解整环.不妨设m p p p a 21=,n q q q b 21=,其中m p p p ,,,21 和n q q q ,,,21 都是R 中的既约元.于是存在I k ∈,使得c q q q p p kp n m 2121=.由于a 与b 互素,因此i p (),,2,1m i =与j q (),,2,1n j =不相伴.这样一来,由上式可知,c 可以表示成如下形式:m p p p k c 21'=.所以c a |.(2)显然,当0=a 或0=b 时,0=c ,从而,c ab |;当a 是单位或b 是单位时,c ab |.现在假设a 和b 既不是0,也不是单位.由于I 是主理想环,根据定理4.14,I 是惟一分解整环.不妨设m p p p a 21=,n q q q b 21=,其中m p p p ,,,21 和n q q q ,,,21 都是I 中的既约元.于是,n m q q q p p p ab 2121=,n m q q q k p p kp c 2121'==.如果a 与b 互素,那么,i p (),,2,1m i =与j q (),,2,1n j =不相伴.这样一来,因为I 是唯一分解整环,c 可以表示成如下形式:ab k q q q p p p k c n m ''''2121== .所以c ab |.4.在整数环Z 中,求出包含)6(的所有极大理想.证明 我们知道,整数环Z 是主理想环.设)(a 是包含)6(的一个极大理想.根据定理4.4,a 是6的真因子.因此2±=a 或3±=a .所以)2()2(-=和)3()3(-=就是包含)6(的所有极大理想.5.在有理数域Q 上的一元多项式环][x Q 中,理想)23,1(23+++x x x 等于怎样一个主理想?解 显然,1+x 是13+x 与232++x x 的一个最大公因子.根据定理3.16的推论2和定理4.15, )1()23,1(23+=+++x x x x .6.证明:)3/(][2+x x Q 是一个域.证明 首先, 由于Q 是域,根据§3.7中的例1,][x Q 是主理想环.其次,显然32+x 是][x Q 中的不可约元.这样一来,根据定理4.16和定理3.23,)3/(][2+x x Q 是一个域.§4.4 欧 氏 环1.证明:域F 是欧氏环.证明 定义}0{\F 到到}0{ N 的映射φ如下:1)(=a φ,}0{\F a ∈∀.显然,对于任意的}0{\F a ∈和F b ∈,存在F q ∈,使得0+=aq b .所以F 是欧氏环.2.证明:整环},|2{]2[Z Z ∈-+=-n m n m 关于*-]2[Z 到}0{ N 的映射222)2(n m n m φ+=-+是一个欧氏环.证明 考察任意的*-∈]2[Z α和]2[-∈Z β:设2-+=b a α,,2-+=d c β其中Z ∈d c b a ,,,.于是,222222)(2(22222222-+-+++=+---+=-+-+=ba bc adb a bd ac b a b ad c b a d c αβ. 根据带余除法,存在Z ∈v u q q ,,,21,使得u q b a bd ac ++=+122)2(2,)2(21||022b a u +≤≤; v q b a bcd ad ++=-222)2(,)2(21||022b a v +≤≤. 令221-+=q q q .则222222222222b a v u q b a bc ad b a bd ac αβ+-++=-+-+++=, 从而222)2(ba αv u q αβ+-++=.注意到]2[,,-∈Z q βα,由上式可知,]2[2)2(22-∈+-+Z b a αv u .令222)2(ba αv u r +-+=,则]2[-∈Z r ,并且 r q αβ+=.当0≠r 时,222222||)2(|)2(|||)(αb a v u r r φ⋅+-+== )(2||22||222222αφb a v b a u ⋅⎪⎪⎭⎫ ⎝⎛⎪⎭⎫ ⎝⎛+⋅+⎪⎭⎫ ⎝⎛+= )()(2141αφαφ<⋅⎪⎭⎫ ⎝⎛+≤. 所以整环]2[-Z 关于*-]2[Z 到}0{ N 的映射φ是一个欧氏环.3．证明:整环},|2{]2[Z Z ∈+=n m n m 关于*]2[Z 到}0[ N 的映射|2|)2(22n m n m φ-=+是一个欧氏环.证明 令},|2{]2[Q Q ∈+=b a b a .定义*]2[Q 到Q 的映射ψ如下:|2|)2(22b a b a ψ-=+,*∈+∀]2[2Q b a ,其中Q ∈b a ,.于是,对于任意的*∈++]2[2,2Q d c b a (其中Q ∈d c b a ,,,),我们有)2()2(d c ψb a ψ+⋅+|)2)(2(|2222d c b a --=|)2)(2)(2)(2(|d c d c b a b a -+-+=|)2)(2)(2)(2(|d c b a d c b a --++=|)2)()2)((2)()2((|bc ad bd ac bc ad bd ac +-++++=|)(2)2(|22bc ad bd ac +-+=)2)()2(bc ad bd ac ψ+++=))2)(2((d c b a ψ++=.此外,显然]2[]2[Q Z ⊆,并且ψ在*]2[Z 上的限制就是φ. 任意给定]2[2,]2[2Z Z ∈+=∈+=*d c βb a α,其中Z ∈d c b a ,,,.为了证明]2[Z 是欧氏环,现在只需阐明存在]2[,Z ∈r q ,使得r q αβ+=,其中,0=r 或)()(αφr φ<.事实上,我们有222222)()2(2)2)(2(b a bc ad bd ac b a d c b a αβ--+-=-+-=.。