论文信息 - On the Relation Between Gröbner and Pommaret Bases

On the Relation Between Gröbner and Pommaret Bases

Abstract The reduced Pommaret basis and the reduced Gröbner basis of an ideal I with respect to a fixed admissible term order ≺ differ in general. A necessary and sufficient criterion for the coincidence of these bases is given.

Daniel Mall

[1] André Galligo,et al. Théorème de division et stabilité en géométrie analytique locale , 1979 .

[2] D. Eisenbud. Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[3] B. Buchberger,et al. Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

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

[5] Michel Kervaire,et al. Minimal resolutions of some monomial ideals , 1990 .

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

[7] Hans Grauert,et al. Über die deformation isolierter singularitäten analytischer mengen , 1971 .

[8] Volker Weispfenning,et al. Admissible orders and linear forms , 1987, SIGS.

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

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

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

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

[13] Lorenzo Robbiano,et al. Term Orderings on the Polynominal Ring , 1985, European Conference on Computer Algebra.