On the Relation between Pommaret and Janet Bases

In this paper the relation between Pommaret and Janet bases of polynomial ideals is studied. It is proved that if an ideal has a finite Pommaret basis then the latter is a minimal Janet basis. An improved version of the related algorithm for computation of Janet bases, initially designed by Zharkov, is described. For an ideal with a finite Pommaret basis, the algorithm computes this basis. Otherwise, the algorithm computes a Janet basis which need not be minimal. The obtained results are generalized to linear differential ideals.

[1]  Vladimir P. Gerdt,et al.  Minimal involutive bases , 1998 .

[2]  Joachim Apel,et al.  A Gröbner Approach to Involutive Bases , 1995, J. Symb. Comput..

[3]  Vladimir P. Gerdt.  Involutive Division Techniques: Some Generalizations and Optimizations , 1999 .

[4]  Vladimir P. Gerdt,et al.  Construction of Involutive Monomial Sets for Different Involutive Divisions , 1999, CASC.

[5]  Vladimir P.Gerdt.  Completion of Linear Differential Systems to Involution , 1999 .

[6]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[7]  Jean-François Pommaret.  Partial Differential Equations and Group Theory: New Perspectives for Applications , 2014 .

[8]  Joachim Apel,et al.  The Theory of Involutive Divisions and an Application to Hilbert Function Computations , 1998, J. Symb. Comput..

[9]  Yuri A. Blinkov,et al.  Involutive bases of polynomial ideals , 1998, math/9912027.

[10]  N. Bose.  Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory , 1995 .

[11]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[12]  A. Yu. Zharkov,et al.  Solving zero-dimensional involutive systems , 1996 .

[13]  Daniel Mall.  On the Relation Between Gröbner and Pommaret Bases , 1998, Applicable Algebra in Engineering, Communication and Computing.

[14]  Jean-François Pommaret,et al.  Partial differential equations and group theory , 1994 .

[15]  Fritz Schwarz,et al.  Janet bases of 2nd order ordinary differential equations , 1996, ISSAC '96.

[16]  Maurice Janet,et al.  Leçons sur les systèmes d'équations aux dérivées partielles , 1930, Nature.

[17]  A. Yu. Zharkov,et al.  Involution approach to investigating polynomial systems , 1996 .

[18]  J. Pommaret.  Systems of partial differential equations and Lie pseudogroups , 1978 .