Few remarks on essential modules
In the present paper, modules over integral domains and principal ideal domains that are proper essential extensions of some submodules are classified. We introduce a new class of modules that we call $\mathrm{SM}$ modules and show that the class of Artinian modules, locally finite modules, and modules of finite lengths are all proper subclasses of SM modules. We also show that non-semisimple $\mathrm{SM}$ modules possess essential socles. Further, we show that non-semieimple modules over integral domains with nonempty torsion-free parts do not possess essential socles.