移入包絡
環 R 上の加群 E は、E は M の本質拡大であり、かつ E が移入加群であるとき、加群 M の移入包絡という。ここで、環 R は単位元をもち、可換とは限らないものとする。