Commutative Ring Theory
《Commutative Ring Theory》 · 第 105 页 · Section 14「Systems of parameters and multiplicity」
In general $\dim A\leq\operatorname{embdim}A$, and equality holds when $\mathfrak m$ can be generated by $r$ elements; in this case $A$ is said to be a regular local ring, and a system of parameters generating $\mathfrak m$ is called a regular system of parameters.