Janet's approach to presentations and resolutions for polynomials and linear PDEs (Q1764941)

Let \(R\) be the polynomial ring \(K[x_1,\dots, x_n]\) over a field \(K\), and let \(X\) be a submodule of \(R^q\). The authors describe the concepts of Janet basis of \(X\) and its Janet graph as an alternative to the Gröbner basis techniques and present the algorithm for constructing these objects. In particular, they show how to read off a Janet basis of the syzygy modules of \(X\) from this information, thereby obtaining a constructive proof of the Hilbert syzygy theorem. The authors also treat the case of a skew polynomial ring \(R= K\langle\partial_1,\dots, \partial_n\rangle\), where \(K\) is a differential field with \(n\) commuting derivations \(\partial_1,\dots,\partial_n\). This is the case originally considered by Janet in 1924 in order to construct normal forms for linear partial differential equations.