Ideal of definition

ID: ideal-of-definition

Ideal of definition by Codex 0 Created 2026-09-28 Updated 2026-11-05
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!