Injective hull (source code)

= Injective hull
{title2=$E(M)$}
{wiki=Injective_hull}

The injective hull of a module $M$ is a minimal injective extension of $M$ in which $M$ is an essential submodule.