内射模(injective module),在模论中,是具有与有理Z(视为Q 模)相似性质的模。内射模是投射模的对偶概念,由Reinhold Baer于1940年引进。定义一个环 R 上的左模 Q 若满足以下等价条件,则称之为内射模: 若 Q 是另一个左 R-模 M 的子模,则存在另一个子模 使得 。 若 是左 R-模的单射, 为同态,则存在同态 使得 。图示如下: 任何短正合序列 都分裂。 函子 HomR( − ,Q) 为正合函子。 右模的定义类此。抽象地说,内射模乃是模范畴中的内射对象。例子零模是内射模的平凡例子。 设 R 为域,则任何 R-模(即 R-向量空间)都是内射模,此点可由基的性质证明。 设 G 为紧群(例如有限群),k 为特征为零的域。根据紧群的表示理论,可知任何表示的子表示都是其直和项;若翻译为模的语言,即是:群代数 kG 上的所有模都是内射模。 设 A 为域 k 上含单位元的有限维结合代数。则逆变函子 Homk( − ,k) 给出有限生成左 A-模与有限生成右 k-模的对偶性。因此,有限生成的左 A-模在同