The symmetric algebra for certain monomial curves (Q2901387)

Let \(p\geq 2\) be an integer and \(0<m_0<m_1<\dots<m_p\) be a sequence of positive integers which form a minimal arithmetic sequence. Let \(R=K[X_1,\dots,X_p,X_0]\) be the polynomial ring over a field \(K\) and \(\gamma\) the defining ideal of the monomial curve \(\mathcal{C}\) in \(\mathbb{A}_K^{p+1}\) given by the parametrization \(X_i=T^{m_i}\), for all \(i\), \(1\leq i\leq p\). The author defines a monomial order on \(R\), \(>_R\), and determines a minimal Gröbner basis of \(\gamma\) with respect to \(>_R\). Moreover, he computes a minimal Gröbner basis of the first syzygy module of \(\gamma\) with respect to a suitable monomial order. His result don't involve any computation of \(S\)-polynomials.