可除群
上に述べたように、任意のアーベル群 A は可除群 D に本質的部分群(英語版)として一意的に埋め込むことができる。この可除群 D は A の最小の入射拡大 (injective envelope) であり、この概念はアーベル群の圏(Z-加群の圏)における移入包絡である。