環(英文:Ring)是一種帶有兩個二元運算(抽象化的「加法」和「乘法」)、並且符合特定運算規則的集合。它抽象化了諸如整數、有理數、實數、複數、多項式、矩陣、函數、算子等等的代數結構。它是環論的主要研究對象,並且是構成各種抽象代數理論的重要基本概念。
環的具體定義並沒有完全統一。不同研究方向的學者對於環是否要有乘法單位元有不同見解,在部份情況下甚至不要求乘法有結合律。然而除非明確聲明,否則本條目所稱的「環」是指有乘法單位元、乘法有結合律的環。
給定一個集合 以及兩個定義在 上的二元運算 和 [註 1]。如果 、 和 具有以下八個性質[註 2],則稱 [註 3]構成了一個環。
- 是一個交換群:
- 加法有結合律——對所有的 ,都有:
- 加法有交換律——對所有的 ,都有:
- 有加法單位元——存在某個[註 4] ,使得所有的 ,都有:
- 有加法反元素——對所有的 ,存在某個[註 4] ,使得:
- 是一個有單位元的半群:
- 乘法有結合律——對所有的 ,都有:
- 有乘法單位元——存在某個[註 4] ,使得所有的 ,都有:
- 乘法對於加法滿足分配律:
- (左)分配律——對所有的 ,都有:
- (右)分配律——對所有的 ,都有:
環的乘法經常依照慣例[註 5],不會寫出「 」這個符號。例如(左)分配律就可以寫成:
此外,加法單位元也經常稱為「零元素」或直接簡稱為「零」。
定義的分歧
编辑
環的定義的分歧通常在於是否要求乘法單位元的存在。在 1960 年代以前,多數抽象代數的教科書通常會採用埃米·諾特的定義,不要求乘法單位元存在。然而在 1960 年後,越來越多的著名教科書作者(例如:尼古拉·布爾巴基、大衛·艾森佈德、塞爾日·蘭)開始將乘法單位元的存在性納入定義中。不要求乘法單位元存在的作者,通常會將有乘法單位元的環稱為單位環( unital ring );反之,要求乘法單位元存在的作者,可能會將不含乘法單位元( identity )的環( ring )稱為 rng [註 6]或偽環( pseudo-ring ),或甚至乾脆不提及任何沒有單位元的環。
另外在交換代數的文獻中,通常還會額外約定環的乘法要滿足交換律。這類文獻的作者通常會事先聲明。
- 整數 、有理數 、實數 和複數 ,連同尋常的加法和乘法,構成了一個環。它們的加法單位元是 ,乘法單位元是 ,是最典型的實際例子。
- 整係數多項式環 、有理係數多項式環 ,實係數多項式環 、複係數多項式環 ,連同多項式加法和乘法,構成一個環。它們的加法單位元也是 ,乘法單位元也是 。更一般地,可以考慮任何環 的多項式環 。
- 整係數有理函數 、有理係數有理函數 ,實係數有理函數 、複係數有理函數 ,連同有理函數的加法和乘法,構成一個環。它們的加法單位元依然是 ,乘法單位元依然是 。更一般地,可以考慮任何環 的有理函數環 ;而「建構分式」的操作還是「分式體」以及更一般的「局部化」這些概念的起源。
- 大小為 的實係數矩陣 、實係數矩陣 、實係數矩陣 、或複係數矩陣 ,連同矩陣加法和矩陣乘法,構成一個環。它們的加法單位元是單位矩陣 :
乘法單位元則是零矩陣 : 同樣的,可以考慮任何環 的矩陣環 。矩陣環也是典型的非交換環。
- 如果集合 只有一個元素,那 只可能定義出唯一的一種環結構——零環[註 7]( Zero ring )。
基本性質
编辑
- 零元素是唯一的
- 零乘以[註 8]任何東西都是零
- 乘法單位元是唯一的
- 任何元素如果有乘法反元素,那是唯一的
- 多個環元素的分配律:
- 環元素的整數倍與整數次方——整數可以用來當作是任何環的係數,只要定義以下的係數運算規則:
這種係數運算規則和普通係數的概念有許多一致性,例如:
-
-
-
-
- 而類似地如果把多次相加改成多次相乘,那麼可以[註 9]定義冪運算:
- 二項式展開——如果 ,那麼它們總和的次方可以這樣計算:
這可以推廣到多個元素 總和的次方——如果任兩個元素的 和 的乘法都可以交換(即 ),那麼:
基本的相關概念
编辑
具有額外性質的環
编辑
交換環( commutative ring )
编辑
如果一個環 還額外滿足:
- 乘法的交換律:對於所有 :
則稱 是一個交換環。交換環是最被深入研究的一類環,其中包括以下幾類:
- 整環( Integral domain ):沒有零因子的交換環。
- 唯一分解整環( Unique factorization domain ):可以唯一分解任何元素的整環。
- 主理想整環( Principal ideal domain ):所有理想都是主理想的整環。
- 歐幾里得整環( Euclidean domain ):可以進行歐幾里得演算法(輾轉相除法)的整環。
- 體( Field ):非零元素都有乘法反元素的交換環。
- 代數閉體( Algebraically closed field ):所有多項式[註 14]都有根的體。
非交換環
编辑
所謂的非交換環實際上是指「不假設是交換環」的環,這樣子的環有:
- 除環( Division ring ):非零元素都有乘法反元素的環(可能不交換)。
- 單環( Simple ring ):沒有非平凡雙邊理想的環。
從已知的環建構出其他環的方式
编辑
給定數個環 ,可以考慮這些環作為集合的笛卡爾積:
可以在這個集合上用以下方式定義加法和乘法:
這使得 構成一個環。稱為 的直積( Direct product );它的法單位元是 乘法單位元是
這種概念可以推廣到無限多個環、甚至不可數多個環的直積。
多項式環
编辑
給定一個環 ,可以考慮以這個環作為係數的多項式:
可以仿照一般的實係數多項式運算規則,為這個集合定義加法和乘法: 在這樣的運算規則下, 被稱為是 的多項式環;它的加法單位元以及乘法單位元與 相同。
給定一個環 ,可以考慮以這個環作為係數、大小為 的矩陣:
同樣可以仿照一般的矩陣運算規則,為這個集合定義加法和乘法:
那麼 在這樣的運算規則下,構成一個環。它的加法單位元是單位矩陣 : 乘法單位元則是零矩陣 : 同樣的,可以考慮任何環 的矩陣環 。矩陣環也是典型的非交換環。
局部化與分式體
编辑
局部化的概念並不是對任何的環都有效,在大多數時候,只會考慮交換環的局部化。粗略地說,局部化是「加入某些元素的乘法反元素」;而分式體則是透過「加入所有非零元素的乘法反元素」來定義。分式體最著名的例子就是從整數構造有理數的過程。
更抽象地講,一個環對某些元素的局部化是「使得這些元素可逆的、最小的環」;在這種意義下,分式體就是「使得非零元素可逆的、最小的環」。而這個概念實際上就是——「包含這個環的最小的體」。
交換環與代數幾何的關係
编辑
交換環是乘法滿足交換律的環。這種環和代數幾何有著深遠的關聯性,體現在交換環範疇 和仿射概形範疇 有著如下對偶性:
這種對偶性使得交換環的代數性質可以轉換成仿射概形的幾何性質。
參考文獻
编辑
要求「環」要有乘法單位元的文獻
编辑
不要求「環」要有乘法單位元的文獻
编辑
- David S. Dummit; Richard M. Foote. Abstract Algebra 第三版. John Wiley & Sons. 2003. ISBN 9780471433347 (英语).
- I. N. Herstein. Topics in Algebra 第二版. John Wiley & Sons. 1991. ISBN 978-0471010906 (英语).
- John R. Durbin. Modern Algebra: An Introduction 第六版. Wiley. 2003. ISBN 978-0470384435 (英语).
- John B. Fraleigh. A First Course in Abstract Algebra 第七版. Pearson. 2014. ISBN 9781292024967 (英语).
- Joseph Gallian. Contemporary Abstract Algebra 第八版. Cengage Learning. 2012. ISBN 978-1133599708 (英语).
- Mahima Ranjan Adhikari; Avishek Adhikari. Basic Modern Algebra with Applications. Springer. 2014. ISBN 978-81-322-1599-8 (英语).
- Ramji Lal. Algebra 1: Groups, Rings, Fields and Arithmetic. Springer. 2017. ISBN 978-981-10-4253-9 (英语).
- Thomas W. Hungerford. Algebra 第三版. Springer. 1974. ISBN 978-1-4612-6101-8 (英语).
- 余文卿; 張守德. A Course on Abstract Algebra 第二版. World Scientific. 2018. ISBN 9780471433347 (英语).
外部連結
编辑