移入包絡

代数学において、加群 M の移入包絡 (いにゅうほうらく、英: injective hull、injective envelope) あるいは入射包絡（にゅうしゃほうらく）とは、 M を含む最小の移入加群でありかつ M の最大の本質拡大である。 == 定義 == 環 R 上の加群 E は、E は M の本質拡大であり、かつ E が移入加群であるとき、加群 M の移入包絡という。