定義 5.1 (模):
令
為一個環。左
-模 是一個阿貝爾群
以及一個函式

使得
,
,
以及
.
類似地,可以定義右
-模,帶有運算
;區別僅僅是形式上的,但這將有助於我們以後用更方便的方式定義雙模。
為了簡便起見,我們經常寫 模 來代替 左
-模。
- 練習 5.1.1:證明每個阿貝爾么半群
以及定義 5.1 中 1.) - 4.) 所指定的運算,本身就是一個模。
定義 5.2 (子模):
閉合於模函式下 (即上面定義的左乘運算) 的子群
被稱為子模。在這種情況下,我們寫作
。
以下引理給出了判斷模的子集是否為子模的判據。
引理 5.3:
子集
是一個子模,當且僅當
.
證明:
令
為子模。那麼由於
,因為我們有一個阿貝爾群,並且進一步
由於模運算下的封閉性,也有
。
如果
滿足
,那麼對於任何
也有
。
證明:
良定義:如果
,那麼
,因此
並且因此
.



- 類似於 3.(用
代替
)
我們現在要問這樣一個問題:給定一個模
和某些子模
,哪個模是最小的包含所有
的模?哪個模是最大的模,它本身包含在所有
中?以下定義和定理將回答這些問題。
證明:
1.
是一個子模
- 它是一個阿貝爾子群,因為如果
,那麼
.
.
2. 每個
都包含在
中。
這是因為對於每個
和每個
,都有
成立。
3.
是包含所有
的最小子模:如果
是另一個這樣的子模,則
必須包含所有元素

因為其在加法和子模運算下封閉。
證明:
1. 它是一個子模:事實上,如果
,則對於每個
,都有
,因此對於每個
,都有
,因此
。
2. 根據交集的定義,它包含在所有
中。
3. 任何包含每個
中所有元素的集合都包含在交集內。
我們有以下關於交集和求和運算的規則
證明:
: 令
. 由於
,
因此
. 由於根據假設
,
.
: 令
. 由於
,
並且由於進一步
,
. 因此,
.
更抽象地說,子模的和與交的性質可以在以下方式中理論上被捕獲。
定義 5.8:
一個格是一個集合
連同兩個運算
(稱為並或最小上界) 和
(稱為交或最大下界) 使得以下定律成立
- 交換律:
, 
- 冪等律:
, 
- 吸收律:
, 
- 結合律:
, 
格有幾種特殊型別
定義 5.9:
模格
是滿足以下恆等式的格

成立。
事實上,僅對集合
具有兩個元素要求條件 1 和 2 就足夠了。但是正如我們所展示的那樣,在
是給定模組的所有子模組的集合的情況下,我們有“原始”條件得到滿足。
證明:
首先,我們注意到最小上界和最大下界是唯一的,因為例如如果
是
的最小上界,那麼
並且
,因此
。因此,連線和交運算定義良好。
交換律來自
.
從
是集合
的最小上界和最大下界這一事實可以很清楚地看出冪等律。
第一個吸收律的證明如下:設
是
的最小上界。那麼,特別是,
。因此,
是
的一個下界,並且任何下界
都滿足
,這就是為什麼
是
的最大下界。第二個吸收律的證明類似。
第一個結合律成立,因為如果
是
的最小上界,而
是
的上界,那麼
(因為
是
的上界),如果
是
的最小上界,那麼
,因為
是一個上界,並且
以及
。同樣的論證(交換
和
)證明了
也是
和
的最小上界的最小上界。同樣,第二個結合律的證明也是類似的。
從定理 5.5-5.7 和 5.10 我們注意到模的子模構成一個模格,其中順序由集合包含給出。
- 練習 5.2.1: 令
是一個環。找到一個合適的模運算,使得
與其自身的加法和這個模運算一起構成一個
-模。確保你以最簡單的方式定義這個運算。進一步證明,在這個模運算下,
的子模恰好是
的理想。
現在我們將瞭解在固定環
上的模範疇中的態射。
由於我們很酷,我們經常會簡單地寫態射而不是同態,只要從上下文中可以清楚地看出這一點,以表明我們對範疇論有所瞭解。
我們有以下有用的引理
引理 5.12:
是
-線性當且僅當
.
證明:
首先假設
-線性。那麼我們有
.
現在假設另一種情況。然後我們有對於 

和

由於
由於
; 由於
是一個阿貝爾群,我們可以加上
的逆元到等式兩邊。 
引理 5.13:
如果
是
-線性,那麼
.
證明:
這來自群同態的相應定理,因為每個模對映也是阿貝爾群的對映。 
定義 5.8(同構):
一個同構
是一個雙射的同態。
引理 5.14:
令
為一個對映。以下等價
是一個同構

存在一個同構逆對映
證明:
引理 5.15:
對映的核和像都是子模。
證明:
1. 核

2. 影像


以下四個定理與群論完全類似。
證明:
我們定義
。 這是定義良好的,因為
。 此外,這個定義已經被
強制執行。 此外,
。
證明:
我們設定
並得到一個同態
, 其核為
, 由定理 5.11 可知。從引理 5.16 得出結論。
證明:
由於
且
, 因此
根據定義。我們定義函式
.
這是定義良好的,因為
.
此外,

因此
. 由此,根據定理 5.17,我們的論點得到證明。
定理 5.19(第二同構定理):
令
. 那麼
.
證明:
考慮同構
.
那麼
, 因此該同態的核由
給出。因此,該定理由第一同構定理得出。
現在來點完全不同的東西
證明:
令
. 那麼
, 因此
. 進一步令
. 那麼
.
類似地
證明: 令
。那麼
並且
。進一步令
。那麼
。
- 練習 5.3.1: 令
為環,視為它們自身的模,如練習 5.2.1 所示。證明環同態
正好是模同態
;也就是說,每個環同態都是模同態,反之亦然。
對於
和
這兩個基本方程將在後面的章節中變得至關重要,其中
,
.
證明:
首先令
。則
,因為
。因此,
。然後令
。則存在
使得
,即
。現在
意味著
。因此,
.
令第一個
,即
對於合適的
,
。 然後
,這就是為什麼根據定義
。 然後令
。 然後
,即
其中
,即
對於合適的
,即
。
以下來自基本集合論的引理與投影態射相關,我們將多次用到它。
引理 5.24:
設
是一個函式,其中
是完全任意的集合。那麼
透過
誘匯出一個函式
,
的像,其中
。這個函式保持包含關係。此外,函式
也保持包含關係。
證明:
如果
,令
。那麼
對於某個
成立。類似地,對於
也成立。