移入包絡
代数学において、加群 の移入包絡 (いにゅうほうらく、) とは、 を含む最小の移入加群でありかつ の最大の本質拡大である。