On chains of prime submodules

In this paper, we study the dimension of a module over a commutative ring, which is defined to be the length of a longest chain of prime submodules. This notion is analogous to the usual Krull dimension of a ring. We investigate how some bounds on the dimension of modules are related to the structure of the underlying ring. The dimension of finitely generated modules over a Dedekind domain is also studied. By examining the structure of prime submodules, a formula for the dimension of a free module of finite rank, over a Noetherian one-dimensional domain, is obtained.