Dimension drop by a non-zero-divisor
ID: dimension-drop-by-a-non-zero-divisor
If is a non-zero-divisor in a finite-dimensional Noetherian ring , thenEvery prime chain above can be extended downward by a minimal prime of , because a non-zero-divisor belongs to no minimal prime.
New to topics? Read the docs here!