Krull dimension
If "R" is a commutative ring, and "M" is an "R"-module, we define the Krull dimension of "M" to be the Krull dimension of the quotient of "R" making "M" a faithful module. That is, we define it by the formula: