Ideal of definition

ID: ideal-of-definition

An ideal of a Noetherian local ring is an ideal of definition when has Krull dimension zero. Equivalently, is -primary, so and for some positive integer .

New to topics? Read the docs here!