Dimension theory, depth, related commutative rings Theory of modules and ideals mathematics