Essential submodule 2026-10-05
A submodule is an essential submodule if it intersects every nonzero submodule of nontrivially. A nonzero module is a uniform module precisely when every nonzero submodule is an essential submodule.
Uniform module 2026-10-05
A nonzero module is uniform if every pair of nonzero submodules has nonzero intersection. Equivalently, every nonzero submodule is an essential submodule. A right Noetherian domain is uniform as a right module: if for nonzero , the right ideals , , form an infinite direct sum, contradicting the ascending chain condition.