Dimension of an ideal

From Commalg
Jump to: navigation, search

Definition

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