In this paper, we consider the stratification on the space of polynomials, with a fixed set of monomials, induced from the notion of G-types, which encodes the process of Buchberger algorithm for obtaining Gröbner bases. We show that this indeed gives a finite stratification by locally closed subspaces, from which we deduce several finiteness results on Gröbner bases.
各種検索
サポート
ヘルプ