跳转到内容

交换代数/模、子模和同态

维基教科书,开放世界中的开放书籍

定义 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:

是一个函数,其中 是完全任意的集合。那么 通过 诱导出一个函数 的像,其中 。这个函数保持包含关系。此外,函数 也保持包含关系。

证明:

如果 ,令 。那么 对于某个 成立。类似地,对于 也成立。

华夏公益教科书