This review paper is devoted to the Jacobi bound for systems of partial differential polynomials. We prove the conjecture for the system of n partial differential equations in n differential variables which are independent over a prime differential ideal p. On the one hand, this generalizes our result about the Jacobi bound for ordinary differential polynomials independent over a prime differential ideal p and, on the other hand, the result by Tomasovic, who proved the Jacobi bound for linear partial differential polynomials.
Recently, constructive methods became widely used in commutative algebra. These methods are mainly based on the theory of Gröbner bases and involutive bases. Due to various applications, the investigations of effectiveness of constructing of the Gröbner bases are very urgent. The algorithm of constructing of the Gröbner bases is bases on considering of S-polynomials and applying of a normal simplificator. Usually, in order to refine the algorithm of the Gröbner bases construction, one uses more elaborate choice of S-polynomials. The influence of the normal simplificator on the effectiveness of the Gröbner bases construction is studied insufficiently. In the paper we try to establish a relation between the theory of Gröbner bases and the theory of involutive bases. It is known that any involutive basis contains as a subset the Gröbner basis of the ideal. It is shown that the involutive basis corresponds to the Gröbner basis with a fixed normal simplificator. Thus, the dependence of the effectiveness of the Gröbner basis construction on the chosen normal simplificator is emphasized. An attempt to describe the normal simplificators corresponding to involutive bases is fulfilled.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.