Regular system of parameters (source code)

= Regular system of parameters
{title2=$(t_1,\ldots,t_d)$}

= Regular systems of parameters
{synonym}

In a regular <local ring> of dimension $d$, a regular system of parameters is a list in the <maximal ideal> whose images form a residue-field basis of $\mathfrak m/\mathfrak m^2$. The <Nakayama lemma> shows that it generates the <maximal ideal>. At a smooth closed point over an algebraically closed field, these are the local parameters in all dimensions, extending the single <local parameter on a smooth algebraic curve>.