移入包絡
加群 M の移入包絡は、M 上恒等写像であるような同型を除いて一意的である。そのため、M の移入包絡を E(M) と表すことができる。
移入包絡 E(M) は M の極大な本質拡大である。
移入包絡 E(M) は M を含む極小な移入加群である。
N が M の本質部分加群であれば、 E(N) = E(M) である。
任意の加群は移入包絡をもつ。双対概念である射影被覆は必ずしも存在しないが、平坦被覆は常に存在する。