Perfect ideal
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.