模的分析与应用(代数).pdfVIP

§17模

目录

§17模

§17.1模

§17.2子模

§17.3模同态

§17.4直和与自由模

§17.5自由模的泛性质

§17.60个生成元的自由模

§17模

§17.1模

正如群作用在集合上一样，环作用在Abel群上。当一个环作用于一个Abel群时，该Abel群被称为该环上的

模。

当群作用于集合时，必须通过双射作用，因此必须尊重集合的势(cardinality)等性质。但环作用于Abel群

时，它尊重的是Abel群内部的加法结构，这便是下面定义中的条件(1)。

在此情境下，我们将像对待群一样，建立模代数的所有定义。

定义17.1设R为一个环，M为一个Abel群。R在M上的左作用(leftaction)是一个函数

R×M→M,

(r,m)↦rm

使得对于所有r,s∈R和m,m′∈M，满足：

(1)′′。

r(m+m)rm+rm

(2)(r+s)mrm