 Equivalently, "M" is a maximal submodule if and only if the quotient module "A"/"M" is a simple module.The maximal right ideals of a ring "R" are exactly the maximal submodules of the module "R""R".Unlike rings with unity, a nonzero module does not necessarily have maximal submodules.