Janet's approach to presentations and resolutions for polynomials and linear PDEs
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.
- A combinatorial approach to involution and -regularity. II: Structure analysis of polynomial modules with Pommaret bases
- Ext groups of Janet systems.
- Higher-order dispersive deformations of multidimensional Poisson brackets of hydrodynamic type
- Block Stanley decompositions. II: Greedy algorithms, applications, and open problems
- On computation of Boolean involutive bases
- Combinatorial decompositions for monomial ideals
- On deformations of multidimensional Poisson brackets of hydrodynamic type
- Representations, commutative algebra, and Hurwitz groups.
- How to compute the Stanley depth of a monomial ideal
- An introduction to Janet bases and Gröbner bases
- The computation of purity filtrations over commutative Noetherian rings of operators and their application to behaviors
- Algorithms for the theory of restrictions of scalar \(n\)-D systems to proper subspaces of \(\mathbb {R}^n\)
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- Loewy decomposition of linear differential equations
- Involutivity of field equations
- Linear differential elimination for analytic functions
- Ideal intersections in rings of partial differential operators
- Cellular structure of the Pommaret-Seiler resolution for quasi-stable ideals
- Computing minimal associated primes in polynomial rings over the integers
- An L₂-quotient algorithm for finitely presented groups.
- Noether normalization guided by monomial cone decompositions
This page was built for publication: Janet's approach to presentations and resolutions for polynomials and linear PDEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764941)
