Regular system of parameters

From Commalg
Revision as of 08:52, 9 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let be a regular local ring, viz a local ring in which the unique maximal ideal is generated by elements. Then, a regular system of parameters is a collection of exactly elements in the maximal ideal, that generate it.

This condition is equivalent to requiring that their images modulo the square of the maximal ideal, generate the maximal ideal modulo its square, as a vector space over the residue field.