跳轉到內容

交換代數/模、子模和同態

華夏公益教科書

定義 5.1 (模):

為一個環。-模 是一個阿貝爾群 以及一個函式

使得

  1. ,
  2. ,
  3. 以及
  4. .

類似地,可以定義右 -模,帶有運算 ;區別僅僅是形式上的,但這將有助於我們以後用更方便的方式定義雙模。

為了簡便起見,我們經常寫 來代替 -模

  • 練習 5.1.1:證明每個阿貝爾么半群 以及定義 5.1 中 1.) - 4.) 所指定的運算,本身就是一個模。

定義 5.2 (子模):

閉合於模函式下 (即上面定義的左乘運算) 的子群 被稱為子模。在這種情況下,我們寫作

以下引理給出了判斷模的子集是否為子模的判據。

引理 5.3:

子集 是一個子模,當且僅當

.

證明:

為子模。那麼由於 ,因為我們有一個阿貝爾群,並且進一步 由於模運算下的封閉性,也有

如果 滿足 ,那麼對於任何 也有

定義和定理 5.4(商模):如果 的子模,那麼由 生成的商模定義為群 以及模運算

.

此運算定義良好,並滿足定義 5.1 中的 1. - 4.

證明:

良定義:如果 ,那麼 ,因此 並且因此 .

  1. 類似於 3.(用 代替

子模的和與交

[edit | edit source]

我們現在要問這樣一個問題:給定一個模 和某些子模 ,哪個模是最小的包含所有 的模?哪個模是最大的模,它本身包含在所有 中?以下定義和定理將回答這些問題。

定義和定理 5.5(子模的和):

是某個環 上的一個模,令 的子模。集合

的子模,它是中最小的包含所有的子模。它被稱為的 **和**。

證明:

1. 是一個子模

  • 它是一個阿貝爾子群,因為如果,那麼
.
  • 它在模運算下是封閉的,因為
.

2. 每個 都包含在 中。

這是因為對於每個 和每個 ,都有 成立。

3. 是包含所有 的最小子模:如果 是另一個這樣的子模,則 必須包含所有元素

因為其在加法和子模運算下封閉。

定義和定理 5.6(子模的交集):

是環 上的模,並令 的子模。則集合

的子模,它是中包含所有的最大子模。它被稱為交集

證明:

1. 它是一個子模:事實上,如果,則對於每個,都有,因此對於每個,都有,因此

2. 根據交集的定義,它包含在所有中。

3. 任何包含每個中所有元素的集合都包含在交集內。

我們有以下關於交集和求和運算的規則

定理 5.7 (模律;戴德金):

為模,且,使得。那麼

.

證明:

: 令 . 由於 , 因此 . 由於根據假設 , .

: 令 . 由於 , 並且由於進一步 , . 因此,.

更抽象地說,子模的和與交的性質可以在以下方式中理論上被捕獲。

定義 5.8:

一個是一個集合 連同兩個運算 (稱為最小上界) 和 (稱為最大下界) 使得以下定律成立

  1. 交換律:,
  2. 冪等律:,
  3. 吸收律:,
  4. 結合律:,

格有幾種特殊型別

定義 5.9:

模格 是滿足以下恆等式的格

成立。

定理 5.10(偏序集作為格):

是集合 上的偏序關係,使得

  1. 每個集合 都有一個最小上界(其中最小上界 of 滿足 對於所有 (即它是上界)並且 對於所有其他 的上界 )並且
  2. 每個集合 都有一個最大下界(定義類似於最小上界,不等式反轉)。

那麼 ,連同將 傳送到該集合的最小上界的連線運算以及類似地定義的交運算,是一個格。

事實上,僅對集合 具有兩個元素要求條件 1 和 2 就足夠了。但是正如我們所展示的那樣,在 是給定模組的所有子模組的集合的情況下,我們有“原始”條件得到滿足。

證明:

首先,我們注意到最小上界和最大下界是唯一的,因為例如如果 的最小上界,那麼 並且 ,因此 。因此,連線和交運算定義良好。

交換律來自 .

是集合 的最小上界和最大下界這一事實可以很清楚地看出冪等律。

第一個吸收律的證明如下:設 的最小上界。那麼,特別是,。因此, 的一個下界,並且任何下界 都滿足 ,這就是為什麼 的最大下界。第二個吸收律的證明類似。

第一個結合律成立,因為如果 的最小上界,而 的上界,那麼 (因為 的上界),如果 的最小上界,那麼 ,因為 是一個上界,並且 以及 。同樣的論證(交換 )證明了 也是 的最小上界的最小上界。同樣,第二個結合律的證明也是類似的。

從定理 5.5-5.7 和 5.10 我們注意到模的子模構成一個模格,其中順序由集合包含給出。

  • 練習 5.2.1: 令 是一個環。找到一個合適的模運算,使得 與其自身的加法和這個模運算一起構成一個 -模。確保你以最簡單的方式定義這個運算。進一步證明,在這個模運算下, 的子模恰好是 的理想。

現在我們將瞭解在固定環 上的模範疇中的態射。

定義 5.11 (同態):

是環 上的兩個模。從 同態,也稱為-線性函式,是一個函式

使得

  1. 並且
  2. .

模同態的核和像與群同態的定義類似。

由於我們很酷,我們經常會簡單地寫態射而不是同態,只要從上下文中可以清楚地看出這一點,以表明我們對範疇論有所瞭解。

我們有以下有用的引理

引理 5.12:

-線性當且僅當

.

證明:

首先假設 -線性。那麼我們有

.

現在假設另一種情況。然後我們有對於

由於 由於 ; 由於 是一個阿貝爾群,我們可以加上 的逆元到等式兩邊。

引理 5.13:

如果 -線性,那麼 .

證明:

這來自群同態的相應定理,因為每個模對映也是阿貝爾群的對映。

定義 5.8(同構):

一個同構 是一個雙射的同態。

引理 5.14:

為一個對映。以下等價

  1. 是一個同構
  2. 存在一個同構逆對映

證明:

引理 5.15:

對映的核和像都是子模。

證明:

1. 核

2. 影像

以下四個定理與群論完全類似。

定理 5.16(態射的因式分解):

為模,令 為態射,令 。 那麼存在唯一的態射 使得 ,其中 是典範投影。在這種情況下,

證明:

我們定義 。 這是定義良好的,因為 。 此外,這個定義已經被 強制執行。 此外,

推論 5.17(第一同構定理):

- 模, 並令 為一個態射。那麼 .

證明:

我們設定 並得到一個同態 , 其核為 , 由定理 5.11 可知。從引理 5.16 得出結論。

推論 5.18 (第三同構定理):

為一個 - 模, 令 , 並令 。那麼

.

證明:

由於 , 因此 根據定義。我們定義函式

.

這是定義良好的,因為

.

此外,

因此 . 由此,根據定理 5.17,我們的論點得到證明。

定理 5.19(第二同構定理):

. 那麼

.

證明:

考慮同構

.

那麼 , 因此該同態的核由 給出。因此,該定理由第一同構定理得出。

現在來點完全不同的東西

定理 5.20:

是關於 的模的同態,並令 . 那麼 的子模。

證明:

. 那麼 , 因此 . 進一步令 . 那麼 .

類似地

定理 5.21:

上的模同態,並且令 。那麼 的子模。

證明: 令 。那麼 並且 。進一步令 。那麼

  • 練習 5.3.1: 令 為環,視為它們自身的模,如練習 5.2.1 所示。證明環同態 正好是模同態 ;也就是說,每個環同態都是模同態,反之亦然。

投影態射

[編輯 | 編輯原始碼]

定義 5.22:

是一個模,並且 。透過對映 ,我們指的是將 對映到 的標準投影對映;也就是說,

.

對於 這兩個基本方程將在後面的章節中變得至關重要,其中 .

定理 5.23:

為一個模,而 。那麼對於每個集合 。此外,對於每個其他子模 .

證明:

首先令 。則 ,因為 。因此,。然後令 。則存在 使得 ,即 。現在 意味著 。因此,.

令第一個,即 對於合適的。 然後 ,這就是為什麼根據定義。 然後令。 然後 ,即 其中,即 對於合適的,即

以下來自基本集合論的引理與投影態射相關,我們將多次用到它。

引理 5.24:

是一個函式,其中 是完全任意的集合。那麼 透過 誘匯出一個函式 的像,其中 。這個函式保持包含關係。此外,函式 也保持包含關係。

證明:

如果 ,令 。那麼 對於某個 成立。類似地,對於 也成立。

華夏公益教科書