Irreducible module

An irreducible, or simple, module is nonzero and has no submodules other than zero and itself.

Every simple module over a commutative ring $R$ is isomorphic to $R/\mathfrak{m}$ for a maximal ideal $\mathfrak{m}$; its annihilator is therefore maximal.