Dimension of an ideal
From Commalg
Definition
The dimension' of an ideal in a commutative unital ring is defined as the Krull dimension of the quotient ring by that ideal.
The dimension' of an ideal in a commutative unital ring is defined as the Krull dimension of the quotient ring by that ideal.