A system of parameters of a commutative Noetherian local ring of Krull dimension
is a sequence
in its maximal
ideal
such that the quotient ring
has Krull
dimension zero (Bruns and Herzog 1998). Equivalently, the ideal
radical of the generated ideal is
.
A system of parameters need not be a ring regular sequence. Every system of parameters of a Cohen-Macaulay
ring is a ring regular sequence. For
example,
is a system of parameters of the power series ring
over a field
; its quotient
ring is
.