Adding Missing Relations

Abstract

We start with the commutative polynomial algebra

$$\begin{aligned} A=\mathbb {K}\langle \tilde{x}_1,\dots ,\tilde{x}_n\rangle /(\tilde{x}_i\tilde{x}_j - \tilde{x}_j\tilde{x}_i)\;. \end{aligned}$$