簡介
以（含么）交換環為主要研究對象的一門代數學科。它是以代數數論和代數幾何為背景而產生與發展的，並為這兩個古老的數學分支提供了新的統一的工具。
18世紀末到19世紀中期，C.F.高斯和E.E.庫默爾等人在研究關於有理整數性質和方程的有理整數解的時候，把這些初等數論問題放在二次域、分圓域以及它們的代數整數環中考慮，經過J.W.R.戴德金和D.希爾伯特等人的抽象化和系統化，形成了研究代數數域和它的代數整數環的一個新學科即代數數論。比數論稍晚些時候，幾何學也經歷了代數化過程，從19世紀末開始，由於希爾伯特等人的工作，特別是20世紀20～30年代德國女數學家（A.）E.諾特關於理想準素分解的理論和W.克魯爾建立的賦值論、局部環理論和維數理論,為古典幾何提供了全新的代數工具。從此，交換代數也成為一門獨立的學科。在20世紀50年代以後,交換代數得到很大發展,模論的研究、同調代數和各種上同調理論的建立，特別是法國數學家A.格羅騰迪克的概型理論，對於交換代數的發展起了巨大的推動作用。概型理論是算術幾何化的過程的理論，它將數論和射影代數幾何賦以新的高度統一的觀點。利用概型理論，P.德利涅於70年代初證明了A.韋伊關於有限域上射影代數簇
函式的一個著名猜想。現在，交換代數的運用已深入到微分與代數拓撲、多複變函數論、奇點理論、甚至偏微分方程等學科。
根和根式理想
以下的環均指含么交換環。環
中全部素理想構成的集合,稱為
的(素)譜,記作Spec(
)。設U是環
的真理想,(即U≠
)，則
中至少存在一個包含U的素理想，所有包含U的素理想的交稱為U的根，記作
交換代數。事實上，
交換代數存在正整數
，使得
∈U}。顯然，
交換代數。若
交換代數,則稱U為根式理想。特別當U=(0)（零理想）時，
交換代數就是
中全部冪零元構成的理想,稱為環
的根。設
是代數封閉域，在代數幾何中，
維仿射空間
中的代數簇和多項式環
交換代數中的根式理想是反序(對於包含序)一一對應的, 並且
中不可約代數簇和
的素理想也是反序一一對應的，這是代數幾何的基點。
分式環和局部化
環
的子集
稱為乘法集,是指①1∈
；②
、
∈
崊
∈
，在集合
×
上定義關係～：(
,
)～(
′,
′)匔存在
∈
使得
(
′-
′
)=0。～是等價關係。以
交換代數表示元素（
,
）的等價類，
表示全部等價類組成的集合。對於加法
交換代數和乘法
交換代數，
是含么交換環，稱為
對於乘法集
的分式環。映射
:
→
，
交換代數是環同態，其核為Ker
={
∈
|存在
∈
使得
=0}。若
中非零元素均不是
的零因子，則
為單射。從而
可看成
的子環。當
為整環而
=
-{0}時，
就是
的商域。設
為
模而
為
的乘法集，可以類似地定義
對於
的分式模
,這是
模。
最重要的分式環是取
=
-β，其中β為
的素理想，這時
記為
，稱為
在β處的局部化。
是局部環（即只有惟一極大理想的環）。類似地對
=
-β可定義
模
在β處的局部化
，這是
模，並記為
。
:
→
是從
模範疇到
模範疇的正合函子，它有許多好的性質。它與模的許多運算都是可交換的,並且保持模和（當
作用於環範疇時）環的許多性質，從而得到廣泛的套用，其中重要套用之一是所謂局部－整體原則。關於環（或者模）的某個性質
P
稱為局部性質，是指對於每個環
(或者
模
),
（或者
）有性質
P
匔對於
的每個素理想β),
β(或者
β)均有性質
P
。環和模有不少性質是局部性質。設
P
是局部性質。為了對某個環
(或者
模
)檢驗是否有性質
P
，只需對每個局部化
(或者
)來檢驗即可。由於
和
β比
和
結構簡單，因此由局部性質來掌握整體特性是研究環和模的重要手段，也是代數幾何和代數數論的重要研究工具。例如在代數幾何中採用局部化方法研究代數簇在一點附近的局部特性（如奇異性、相交重數等）。
諾特環
環
稱為諾特環,是指
的理想均是有限生成的。例如域和主理想整環都是諾特環。著名的希爾伯特基本定理是說,如果
為諾特環,則多項式環
【
,
,…，
】也是諾特環。特別當
是域時,
【
,
,…,
】是諾特環。
環
中的理想
稱為準素的，是指
、
∈
，若
∈
，必有x∈q或y∈q。諾特環的最重要性質是：每個理想均可表為有限個準素理想之交。由此推出,每個根式理想可以不計次序惟一地表成有限個彼此不包含的素理想之交。當
為代數封閉域時,由代數簇(不可約代數簇)和諾特環
【
,
,…,
】中根式理想(素理想)的反序對應即知，
中每個代數簇均可惟一地表成有限個彼此不包含的不可約代數簇之並，這就把
中代數幾何歸結為不可約代數簇的研究，或者說,歸結為諾特環
交換代數的素譜Spec(
)的研究。
戴德金整環
設
為環
的子環。
中元素
稱為在
上整的，是指存在首項係數是 1 的非零多項式
(
)∈
【
】，使得
(
)=0。
中在
上整的全部元素是
的子環，稱為
在
中的整閉包。若這個整閉包等於
,則稱
在
中整閉。整環
稱為整閉的，是指
在其商域中整閉。
整環
稱為戴德金整環,是指：①
是整閉的，②
是諾特環,③
中非零素理想都是極大理想。每個主理想整環都是戴德金整環。任意代數數域
的代數整數環
(它是有理整數環
在
中的整閉包)是戴德金整環。
戴德金整環
最值得注意的性質有兩個：①
中每個非零真理想均可不計次序惟一地表成有限個素理想之積，於是
的全體非零理想對於乘法是以全體非零素理想為基的自由交換么半群。它所擴張成的自由交換群稱為
的分式理想群
(
),
(
)中元素稱為
的分式理想,它是兩個理想之商。戴德金整環
中每個理想如何分解成素理想之積,是代數數論的一個重要研究課題。②
中全體主分式理想(
)（0≠
∈
，
為
的商域）形成
(
)的一個子群
P
(
)。商群
C
(
)=
(
)/
P
(
)稱為
的理想類群。
關於戴德金整環
的一個重要結果是：
為主理想整環匔
為惟一因子分解整環匔
C
(
)為一元群。對於任意代數數域
，理想類群
C
(
)是有限交換群,它的階稱為
的理想類數。研究代數數域的理想類群和類數,是代數數論的一個重要課題。
維數理論
設
交換代數是環R中素理想鏈，
稱為這個素理想鏈的長度。
中所有素理想鏈的長度的最大值（可能是無限的）稱為
的（克魯爾）維數,記作dim
。設
是諾特局部環,M是它的惟一極大理想,對於每個準素理想
,以
(
)表示生成理想
所需元素的最少個數,而
(
)表示所有
(
)（
過
的所有準素理想）的最小值,則dim
=
(
)。進而,若
的惟一極大理想M本身可以由
(
)個元素生成，則稱
為正則諾特局部環。
環的維數理論有直觀的代數幾何背景。域
上不可約代數簇
的維數dim
在代數幾何中定義為
的有理函式域
(
)在
上的超越次數。另一方面，對於
上每個點
P
，
(
)中在
P
正則的函式形成環，這是諾特局部環，稱為
在點
P
的局部環，它的維數稱為
在點
P
的局部維數,它等於
的維數，並且
P
是
的非奇異點匔
在點
P
的局部環是正則諾特局部環。
完備化
設U是環
的理想,取{U|
≥0}為
中零元素的基本鄰域系,則
由此成為拓撲環。
中這個拓撲稱為U-adic拓撲,並且,
是豪斯多夫拓撲空間
交換代數。類似地,設
為
模,取
交換代數為零元素的基本鄰域系，則
由此成為拓撲
模，並且
對於這種U-adic拓撲是豪斯多夫空間
交換代數。若
為諾特環而
是有限生成
模,則對於
的每個真理想U,條件
交換代數滿足，這時，U－adic豪斯多夫空間
和
可以拓撲完備化成環惵 和惵模
交換代數，理想U作為
模的完備化
交換代數是環惵 的理想，惵 和
交換代數由
(和
)中 U-adic拓撲誘導出的拓撲就是
交換代數-adic拓撲，並且
交換代數=惵
。完備化函子
→惵和
→
交換代數保持環和模的許多特性，而將
或
完備化成惵或
交換代數之後的好處,是可以採用極限和收斂等解析工具，從而，完備化也是代數幾何和代數數論以及許多其他學科的重要研究手段。
交換代數
作為代數幾何的代數工具，還需要比交換環更進一步的代數結構,這就是“環上的代數”。
A
稱為環
上的代數（或簡稱為
代數），是指：①(
A
,+ ,·)為環，②（
A
，+）為
模，③對於每個
∈
，
、
∈
A
，
(
)=(
)
=
(
)。若
A
又是交換環,則稱
A
為
上的交換代數。
上的交換代數
A
稱為有限生成的，是指存在有限個元素
交換代數，使得
交換代數。
設
為域,
交換代數為多項式環,
交換代數
交換代數是
的商域。著名的希爾伯特第14問題是對於
和
的每箇中間域
，
∩
作為
代數都是有限生成的。利用不變數理論，日本數學家中田於20世紀70年代舉出反例，否定了希爾伯特這個猜想,雖然這個猜想在
=1時是正確的。
設
是代數封閉域,
中代數簇
對應著
交換代數
交換代數的根式理想U,則
的仿射坐標環
交換代數
交換代數是
上有限生成的交換代數,並且沒有非零的冪零元素。反之，
上每個這種類型的交換代數均是
上某個代數簇的仿射坐標環，並且從代數簇
到代數簇
的多項式映射誘導出
【
】到
【
】的
代數同態。從而
和
同構(即存在互逆的兩個多項式映射)的充分必要條件是
【
】和
【
】作為
代數是同構的。於是，
上代數簇的同構分類相當於一種特殊類型的
上交換代數的同構分類。
分式環和局部化
交換代數環R的子集S稱為乘法集，是指①1∈S；②α丶b∈S崊αb∈S，在集合R×S上定義關係～：(α,s)～(α′,s′)若存在t∈S使得t(αs′- α′s)=0。～是等價關係。以
表示元素（α,s）的等價類，SR表示全部等價類組成的集合。對於加法
和乘法
，SR是含么交換環，稱為R對於乘法集S的分式環。映射ƒ:R→SR，
是環同態，其核為Kerƒ={α∈R|存在s∈S使得sα=0}。若S中非零元素均不是R的零因子，則ƒ為單射。從而R可看成SR的子環。當R為整環而S=R-{0}時，SR就是R 的商域。設M為R模而S為R的乘法集，可以類似地定義M對於S的分式模SM，這是SR模。
最重要的分式環是取S=R-β，其中β為R的素理想，這時SR記為R，稱為R在β處的局部化。R是局部環（即只有惟一極大理想的環）。類似地對S=R-β可定義R模M在β處的局部化SM，這是R模，並記為M。
S:M→SM是從R模範疇到SR模範疇的正合函子，它有許多好的性質。它與模的許多運算都是可交換的，並且保持模和（當S作用於環範疇時）環的許多性質，從而得到廣泛的套用，其中重要套用之一是所謂局部－整體原則。關於環（或者模）的某個性質P稱為局部性質，是指對於每個環R(或者R模M)，R（或者M）有性質P匔對於R的每個素理想β)，Rβ(或者Mβ)均有性質P。環和模有不少性質是局部性質。設P是局部性質。為了對某個環R(或者R模M)檢驗是否有性質P，只需對每個局部化R(或者M)來檢驗即可。由於R和Mβ比R和M結構簡單，因此由局部性質來掌握整體特性是研究環和模的重要手段，也是代數幾何和代數數論的重要研究工具。例如在代數幾何中採用局部化方法研究代數簇在一點附近的局部特性（如奇異性、相交重數等）。
