Essential extension

Summary

An essential extension of an algebra $A$ is a larger algebra $B$ containing $A$ that cannot collapse anything without collapsing part of $A$. Every nontrivial congruence of $B$ already identifies two distinct elements of $A$. Essential extensions are the building blocks of injective hulls: in good cases, the injective hull of $A$ is a maximal essential extension of $A$.