内射模的定义、等价条件与实例

一、内射模的定义

在环论中，内射模（injective module）是研究模的性质的重要对象。设$ R $为交换环，$ M $为$ R $-模。若存在一个$ R $-模的同态$ f: M \to N $，使得对于任意的$ R $-模$ N $，有$ \text{Im}(f) = R^m $（即$ f $的像为$ R $-模的生成模），则称$ M $为内射模。
内射模的定义本质上是模的“生成性”与“可约性”的结合。其核心特征在于：在任何$ R $-模$ N $中，内射模的同态映射都能“完全覆盖”其生成部分。这一性质在模论中具有重要意义，尤其在研究模的覆盖与生成结构时。

二、内射模的等价条件

内射模的等价条件是其在环论中的关键性质，通常与模的生成性质和环的结构密切相关。

1. 内射模与生成模的等价
   在交换环$ R $中，若$ M $为内射模，则$ M $必为生成模（即存在$ R $-模$ N $，使得$ M \cong N $）。反之，若$ M $为生成模，则其在交换环中若满足某些条件（如$ M $的生成元为$ R $-模的生成模）则可能为内射模。
2. 内射模与投射模的等价
   在交换环中，内射模与投射模的等价条件可通过“模的生成性”与“模的覆盖性”关联。例如，若$ R $为交换环，$ M $为内射模当且仅当$ M $为生成模且满足$ \text{Ext}^1_R(R, M) = 0 $。
3. 内射模的生成性质
   内射模的生成性质可进一步细化：若$ R $为交换环，$ M $为内射模当且仅当$ M $的生成元满足$ \text{Hom}_R(-, M) $为左正合函子。这一条件在交换环中等价于$ M $为生成模且满足$ \text{Ext}^1_R(R, M) = 0 $。

三、内射模的实例

1. 平凡模的内射性
   以平凡模$ R $为例子，其内射性显而易见。由于$ R $的任何同态映射都能覆盖其生成部分，因此$ R $为内射模。
2. 自由模的内射性
   若$ R $为交换环，自由模$ R^n $必为内射模。这是因为自由模的生成性确保其在任何$ R $-模$ N $中都能被完全覆盖。
3. 环的幂等模的内射性
   以环$ R $的幂等模$ R^m $为例，若$ R $为交换环，$ R^m $为内射模当且仅当$ m = 1 $。这与环的结构直接相关，例如在$ \mathbb{Z} $中，$ \mathbb{Z} $为内射模，而$ \mathbb{Z}/n\mathbb{Z} $（$ n > 1 $）则非内射模。
4. 内射模的构造
   通过构造$ R $-模的直和或直积，可生成内射模。例如，$ R $-模$ R $的直和$ \bigoplus_{i=1}^\infty R $为内射模，因其生成性确保其在任何$ R $-模$ N $中都能被完全覆盖。

四、总结

内射模作为环论中的核心概念，其定义与等价条件揭示了模的生成性与覆盖性的深刻联系。在实际应用中，内射模的构造与性质为研究模的结构提供了重要工具。例如，通过分析平凡模、自由模及