13C15 - Commutative rings and algebras :: Theory of modules and ideals :: Dimension theory, depth, related rings