 However, as noted above, "finitely generated" nonzero modules have maximal submodules, and also projective modules have maximal submodules.As with rings, one can define the radical of a module using maximal submodules.Furthermore, maximal ideals can be generalized by defining a maximal sub-bimodule "M" of a bimodule "B" to be a proper sub-bimodule of "M" which is contained in no other proper sub-bimodule of "M".