Combinatorics of involutive divisions
英文摘要：
The classical involutive division theory by Janet decomposes in the same way both the ideal and the escalier. The aim of this paper, following Janet's approach, is to discuss the combinatorial properties of involutive divisions, when defined on the set of all terms in a fixed degree D, postponing the discussion of ideal membership and related test. We adapt the theory by Gerdt and Blinkov, introducing relative involutive divisions and then, given a complete description of the combinatorial structure of a relative involutive division, we turn our attention to the problem of membership. In order to deal with this problem, we introduce two graphs as tools, one is strictly related to Seiler's L-graph, whereas the second generalizes it, to cover the case of "non-continuous" (in the sense of Gerdt-Blinkov) relative involutive divisions. Indeed, given an element in the ideal (resp. escalier), walking backwards (resp. forward) in the graph, we can identify all the other generators of the ideal (resp. elements of degree D in the escalier).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
