Cotangent space of a local ring ($\mathfrak{m}/{\mathfrak{m}}^2$)

For a local ring $(R,\mathfrak{m})$ with residue field $\kappa =R/\mathfrak{m}$, its cotangent space is the $\kappa$-vector space $\mathfrak{m}/{\mathfrak{m}}^2$. In a Noetherian local ring, its dimension is the minimal number of generators of $\mathfrak{m}$, by the Nakayama lemma. Equality of this dimension with the Krull dimension defines a regular local ring.

The embedding dimension of a Noetherian local ring $(R,\mathfrak{m})$ is ${\dim }_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)$. It counts the smallest number of local generators needed for the maximal ideal. It is at least the Krull dimension; equality characterizes a regular local ring.