Codimension of an ideal

From Commalg
Jump to: navigation, search

Definition

Let R be a commutative unital ring and I an ideal in R. The codimension or height of I is defined as follows: