Chain conditions in modules with krull dimension

Any ring with Krull dimension satisfies the ascending chain condition on semiprime ideals. This result does not hold more generally for modules. In particular if Ris the first Weyl algebra over a field of characteristic 0 then there are Artinian R-modules which do not satisfy the ascending chain condition on prime submodules. However, if Ris a ring which satisfies a polynomial identity then any R-module with Krull dimension satisfies the ascending chain condition on prime submodules, and, if Ris left Noethe-rian, also the ascending chain condition on semiprime submodules.