Maximal ideal
Generalization

Unlike rings with unity, a nonzero module does not necessarily have maximal submodules. However, as noted above, finitely generated nonzero modules have maximal submodules, and also projective modules have maximal submodules.
oulipo:avoid_letter[e]