Kamus

は単位元をもち、可換とは限らないものとする。 移入加群の移入包絡はそれ自身である 整域の移入包絡は、その商体である 加群 M の移入包絡は、M 上恒等写像であるような同型を除いて一意的である。そのため、M の移入包絡を E(M) と表すことができる。 移入包絡 E(M) は M の極大な本質拡大である。 移入包絡 E(M) は