最后更新: 2025-03-16 17:20 查看: 9 次反馈刷题

模

1．模的概念
模是对线性空间的一种推广，相当于要求进行数乘时所用的＂数＂不再是一个域的元素，而只要求是一个环。也就是说，线性空间是模的一种，但模不一定是线性空间。

模也是交换群的推广。一方面，模关于加法是构成交换群的；另一方面，任何交换群实际上都是整数环上的模。
最早给出模的严格定义的是德国数学家 Emmy Noether，她意识到了有限群的矩阵表示理论和代数结构理论可以藉由模来联系，自此模一直都和表示理论密不可分。

定义 1 左模
给定一个幺环 $(R, \times,+)$ 和一个阿贝尔群 $(M,+)$ ，将 $R$ 中的每个元素都定义为 $M$ 上的一个变换，其中对于 $r \in R, m \in M$ ，记 $r m \in M$ 为 $r$ 对 $m$ 进行变换的结果。

如果所定义的变换满足：
1．对于任意 $r_i \in R, m \in M$ ，有：$r_2\left(r_1 m\right)=\left(r_2 \times r_1\right) m$ ；
2．对于任意 $r_i \in R, m \in M$ ，有：$r_2 m+r_1 m=\left(r_2+r_1\right) m$ ；
3．对于任意 $r \in R, m_i \in M$ ，有：$r\left(m_1+m_2\right)=r m_1+r m_2$ ；
4．对于 $R$ 的乘法单位元 $1_R$ 和任意 $m \in M$ ，有： $1_R m=m$ 。
那么我们说环 $R$ 和群 $M$ 配合给定的变换定义，构成一个左 $R$－模（left $R$－modeule），记为 ${ }_R M$ 。

类似地，也可以定义 $r_i$ 从右边作用于 $m_i$ ，所得的结构就是右 $R$－模（right $R$－modeule），记为 $M_R$ 。

定义 2 子模
令 ${ }_R M$ 是 $R$ 上的一个左模，$N$ 是 $M$ 的一个子集，且对于任意 $r \in R$ 和 $n \in N$ 有 $r n \in N$ ，那么 $N$ 可以继承 ${ }_R M$ 上的作用，构成一个左 $R$－模，记为 ${ }_R N$ 。称 ${ }_R N$ 为 ${ }_R M$ 的子模（submodule）。

定义 3 模同态
设 ${ }_R M$ 和 ${ }_R N$ 都是左 $R$－模，且有群同态 $f: M \rightarrow N$ ，使得对于任何 $r, s \in R$ 和 $m \in M, n \in N$ ，有 $f(r m+s n)=r f(m)+s f(n)$ ，那么说 $f$ 是一个 $R$－模同态（module）${ }^1$ 。

线性空间的数乘并没有左右的区分，而模的＂数乘＂，即以上定义的变换，是有的。这是因为域的乘法必然是交换的，而环的则不一定，导致 $r_1 m r_2$ 的定义不明确。但是如果 $R$ 是交换环，那么我们就可以良好地定义 $r_1 m r_2=\left(r_1 \times r_2\right) m=\left(r_2 \times r_1\right) m=m\left(r_1 \times r_2\right)=m\left(r_2 \times r_1\right)$ 。交换环 $R$ 上的左模和右模可以一致地定义，统称为 $R$－模。

定义4 线性空间
域上的模，称为线性空间（linear space）。

我们从直观的几何向量出发，抽象出其最重要的性质，即线性性，得到了线性空间的概念。但推广并不止步于此，我们继续将系数域的概念推广到一般的环，得到了模。模通常有一些一般线性空间不具备的性质，比如不一定有＂基＂，即便有，也可能出现元素数量不同的极大线性无关组。但无论如何，在模论的大部分研究中，我们关心的都是那些尽可能保留线性空间中优良性质的结构。

2．模的例子
定义 5 有限生成模
令 ${ }_R M$ 是 $R$ 上的一个左模，如果存在 $M$ 的有限子集 $\left\{m_1, \cdots, m_n\right\}$ ，使得 $M=\left\{r_1 m_1+r_2 m_2+\cdots+r_n m_n \mid r_i \in R\right\}$ ，则称 ${ }_R M$ 是有限生成（finitely generated）的，子集 $\left\{m_1, \cdots, m_n\right\}$ 称为其一个生成组。

特别地，有限生成组只包含一个元素的模，称为一个循环模（cyclic module）。

定义 6 自由模
令 $R$ 为一个环，集合 $M=\left\{\left(r_1, r_2, \cdots, r_n\right) \mid r_i \in R\right\}$ 。在 $M$ 上定义加法运算为 $\left(r_1, \cdots, r_n\right)+\left(s_1, \cdots, s_n\right)=\left(r_1+s_1, \cdots, r_n+s_n\right)$ ，使 $M$ 构成一个阿贝尔群。如果再定义左数乘为 $r\left(r_1, \cdots, r_n\right)=\left(r \times r_1, \cdots, r \times r_n\right)$ ，那么称这样得到的模为一个自由 $R$－模（free $R$－module）。

例1
线性空间都是其基域上的模。

例 2
给定环 $R$ ，则其多项式环 $R[x]$ 构成一个 $R$－模。

打赏

打赏作者买杯奶茶

上一篇：环和域

下一篇：没有了

本文对您是否有用？有用 (0) 无用 (0)