正文
設R為有正則元的交換環。如果S是R中一些正則元作成的乘法封閉集合(即S中任二元素之積仍在S中),那么R可擴張成一個有單位元素的交換環
局部化 設R是一個有單位元素e的交換環。它一定含有極大理想。所謂極大理想,是指R的一個理想N,滿足條件:N<R,且N與R之間不能再介入R的其他理想。R的一個理想N是極大理想,必要而且只要,剩餘類環R/N是域。當R只含一個極大理想時,就稱之為局部環;當R只含有限多個極大理想時,就稱之為半局部環。設P是R的一個質理想,S是P在R中的余集,在
![交換環](/img/7/1c1/ml2ZuM3X5QjMzIDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL5QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![交換環](/img/9/736/ml2ZuM3XwAzM0IDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwAzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![交換環](/img/0/40b/ml2ZuM3XwgTN2IDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwgzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![交換環](/img/d/52e/ml2ZuM3X5ITM4IDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL5IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![交換環](/img/7/4a5/ml2ZuM3XwIzMwMDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwIzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
高斯環 若R中有α=bс,則b稱為α的一個因子,自然,с也是α的一個因子。或者α稱為b的倍元,也稱為b整除α,記為b|α。顯然單位元素e是任意元素的因子,零元素θ是任意元素的倍元。R中一個有逆元素的元素,也稱為R中的一個單位。例如,單位元素e就是一個單位;在整數環中,1與-1是僅有的兩個單位;在多項式環F【x】中,一個元素為單位,必要而且只要,它是零次多項式(即域F中的非零元素)。環R中兩個非零元素α與b如果能互相整除,即α|b且b|α,那么就說α與b相通。兩個非零元素α與b是相通的,必要而且只要,有R中的單位δ使α=bδ。如果非零元素α=bс,且b與с均非單位,那么就說b是α的一個真因子(自然,с也是α的一個真因子)。如果非零元素α不是單位,且無真因子,那么就說α是一個不可約元素。如果非零元素p不是單位,且具有“當p|αb時,必有p|α或p|b”之性質,那么就說p是一個質元素。R中的質元素恆為不可約元素,但是反過來說就未必正確。例如在數環
![交換環](/img/9/cd0/ml2ZuM3X2cTMyMDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![交換環](/img/8/741/ml2ZuM3XzkDO0MDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLzkzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![交換環](/img/1/e54/ml2ZuM3X4EzM2MDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL4EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![交換環](/img/0/e00/ml2ZuM3X1UDO3MDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL1UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![交換環](/img/0/25e/ml2ZuM3X0QTM5MDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL0QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![交換環](/img/7/977/ml2ZuM3X2MjMwQDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL2MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
① R中真因子的降鏈α1,α2,…必止於有限處,即從任意非零非單位α1開始,若α1有真因子α2,α2又有真因子α3,如此下去,到某步必得出一個不可約元素,設其為αn,於是真因子的降鏈α1,α2,…即到αn為止。
② R中的不可約元素恆為質元素。
③ R中任意兩個不全為零的元素恆有最高公因子。
若R為高斯環,則R【x】亦然。於是域F上的多項式環F【x1,x2,…,xn】恆為高斯環。如果有e的整環R的理想恆為主理想(即由一個元素生成的理想),那么就說R是一個主理想環。有e的整環R是一個主理想環,必要而且只要滿足上述條件①與如下的條件④:R中任意不全為零的α、b恆有一個形式上為αs+bt的最高公因子。因此,主理想環恆為高斯環,但是反之則未必然。設R為有e的整環。如果對R中每個非零元α,恆有非負整數‖α‖與之相應,並對R中任意α,b(α≠θ),恆有q、r∈R使 b=qα+r,且r=θ或者‖r‖<‖α‖,那么就說R是一個歐氏環。歐氏環恆為主理想環,但是反之則未必然。整數環I為歐氏環,從而為主理想環,但是多項式環I【x】僅為高斯環,而非主理想環。
諾特環 一個交換環R的所有冪零元素構成R的一個理想K,稱為R的克德根或冪零根。如果一個交換環除冪零元素外,不再含其他的零因子,便稱為準整環。整環顯然為準整環。設R是一個交換環。R的一個理想P為素理想,必要而且只要R/P為整環;R的一個理想Q叫做準素理想,如果R/Q為準整環;R的一個理想A叫做可分解的,如果有R的理想B、C,使A<B,A<C,A=B∩C,否則便說A是不可分解的;R的素理想恆為不可分解的;當R為諾特環(即其理想滿足極大條件)時,R的不可分解的理想恆為準素理想,R的克德根必為冪零理想;當R為準整環時,R的克德根必為素理想。設Q為交換環R的任意一個準素理想,於是垪 =R/Q為準整環,其克德根噖為素理想,從而
![交換環](/img/9/8bd/ml2ZuM3X3YDNxETMxADNxgDM5ETMwADMwADMwADMwADMxAzL0EzL3YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![交換環](/img/8/102/ml2ZuM3XxIjNxQDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLxIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![交換環](/img/8/102/ml2ZuM3XxIjNxQDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLxIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![交換環](/img/8/102/ml2ZuM3XxIjNxQDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLxIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![交換環](/img/9/9f2/ml2ZuM3X3AzM1QDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL3AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![交換環](/img/1/55e/ml2ZuM3X0QDN0UDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL0QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
(A.)E.諾特於1921年引進一般的滿足極大條件的交換環而研究其理想論,這是由於代數幾何的發展而需要研究多項式環的理想理論,後者的主要問題是判斷一個多項式ƒ是否屬於一個給定的理想
![交換環](/img/b/423/ml2ZuM3X1MDN1UDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL1MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
維數 設
![交換環](/img/d/ede/ml2ZuM3XwEDN2UDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
戴德金環 設R為有e的整環,F為其分式域,而且R<F(即R非域)。F的一個子集X如果滿足:①X是F作為加法群的一個子群;②當α∈R,x∈X時,有αx∈X(即RX嶅X);③有β∈F,β≠θ使βX嶅R,則說X是R的一個分式理想。環R的理想顯然均為R的分式理想,也可叫做R的整理想。F中的一個元素δ如果是R上首項係數為e(一般不寫出來)的多項式
![交換環](/img/0/b92/ml2ZuM3X0ETN3UDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL0EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![交換環](/img/a/ed8/ml2ZuM3X3ITM5UDM4MTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL3IzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
戴德金環的主要定理有兩個。其一,有e的整環R為戴德金環,必要而且只要R滿足下列三組等價條件之一:①R容許理想理論。②對R的非零(整)理想A、B只要A嶅B就有(整)理想C使A=BC;每個非零真(整)理想恆可惟一地表為有限個極大(整)理想之積。③R為諾特環;R是整閉的;R 的非零素理想恆為極大理想。
其二,設R為有e的整環,F為其分式域,E為F的有限擴張(見域),Ω為E中所有在R上為整的元素作成的環。如果R為戴德金環,則Ω亦然。例如整數環R就是一個戴德金環。若E是有理數域F(即R的分式域)的一個有限擴張域,則E是一個代數數域,其中所有代數整數就組成一個環Ω,由於R是戴德金環,故Ω也是戴德金環。事實上。戴德金環的發生和發展就與代數數論有關,而且是從其中抽象出來的。
交換環是交換代數的主要研究對象。