Perfect ideal

From Commalg

This article defines a property of an ideal in a commutative unital ring |View other properties of ideals in commutative unital rings

Definition

Symbol-free definition

An ideal in a commutative unital ring is said to be perfect if the depth of in equals the projective dimension of as a -module.