Codimension of an ideal
From Commalg
Definition
Let be a commutative unital ring and
an ideal in
. The codimension or height of
is defined as follows:
- If
is a prime ideal, it is defined as the Krull dimension of the localization
- Otherwise, it is defined to be the minimum of the Krull dimensions of prime ideals containing