In a multiplication module, prime submodules have the property, if a prime submodule contains a finite intersection of submodules then one of the submodules is contained in the prime submodule. In this paper, we generalize this property to infinite intersection of submodules and call such prime submodules strongly prime submodule. A multiplication module in which every prime submodule is strongly prime will be called strongly 0-dimensional module. It is also an extension of strongly 0-dimensional rings. After this we investigate properties of strongly 0-dimensional modules and give relations of von Neumann regular modules, Q-modules and strongly 0-dimensional modules.

We introduce and investigate the notion of envelope dimension of commutative rings and modules over them. In particular, we show that the envelope dimension of a ring, $R$, is equal to that of the $R$-module $R^{(\mathbb{N})}$. Also we prove that the Krull dimension of a ring is no more than its envelope dimension and characterize Noetherian rings for which these two dimensions are equal. Moreover we generalize and study the concept of simplified radical formula for modules, which we defined in an earlier paper.