移入包絡

代数学において、加群 の移入包絡 (いにゅうほうらく、) とは、 を含む最小の移入加群でありかつ の最大の本質拡大である。
定義.
環 上の加群 は、 は の本質拡大であり、かつ が移入加群であるとき、加群 の移入包絡という。ここで、環 は単位元をもち、可換とは限らないものとする。