本質拡大
上で導入された表記の下で本質部分加群の基本的な性質をいくつか挙げる。
明らかに M は M の本質部分加群であり、0 でない加群 M の部分加群 0 は決して本質的でない。
K ⊆e M であることと K ⊆e N かつ N ⊆e M であることは同値。
K ∩ H ⊆e M であることと K ⊆e M かつ H ⊆e M であることは同値。
M ≠ 0 がアルティン加群ならば soc(M) ⊆e M。
ツォルンの補題を使って次の有益な事実を証明できる。 M の任意の部分加群 N に対してある部分加群 C が存在し
N ⊕ C ⊆e M.
さらに、真の本質拡大のない加群(つまり、加群が別の加群において本質的ならば後者は前者に等しい)は移入加群である。すべての加群 M は極大な本質拡大 E(M) をもつことが証明でき、M の移入包絡と呼ばれる。移入包絡は移入加群であり、同型を除いて一意的である。移入包絡は M を含む他のどんな移入加群も E(M) のコピーを含むという意味で極小でもある。