Essential submodule
= Essential submodule
A <submodule> $N\subseteq M$ is an <essential submodule> if it intersects every nonzero <submodule> of $M$ nontrivially. A nonzero <module> is a <uniform module> precisely when every nonzero <submodule> is an <essential submodule>.