Term-ordering free involutive bases (Q480676)

In this paper, the authors consider a monomial ideal \(J \triangleleft P\), the set of multivariate polynomials over a commutative ring \(A\) and they deal with the problem of characterizing the family \(\mathcal{M}f ( J)\) of all homogeneous ideals \(I \triangleleft P\) such that the \(A\)-module \(P/I\) is free with basis given by the set of terms in the Gröbner escalier \(N( J)\) of \(J\). They introduce and characterize for every monomial ideal \(J\) a particular complete set of generators \(F( J)\), called stably complete, that allows an explicit description of the family \(\mathcal{M}f ( J)\), obtaining stronger results if \(J\) is quasi-stable, proving that \(F( J)\) is a Pommaret basis and \(\mathcal{M}f ( J)\) has a natural structure of affine scheme. They exploit and enhance the concepts of multiplicative variables, complete sets and involutive bases introduced by Riquier and Janet in the beginning of the 20th century. The paper finishes with a detailed analysis of the origin and the historical evolution of the main notions we refer to.