Essential extension
= Essential extension
An extension $N\subseteq M$ is essential when $N$ is an <essential submodule> of $M$. Essentiality is transitive. It is an intersection condition, not a statement that the quotient is small in dimension or finitely generated.