Noetherian quotients of the algebra of partial difference polynomials and Grobner bases of symmetric ideals

2013/04/30 by Gerdt, Vladimir P., La Scala, Roberto · 1 citation
#Analysis of PDEs (math.AP) #Commutative Algebra (math.AC) #FOS: Mathematics

paper · doi:10.48550/arxiv.1304.7967

Abstract

In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal contains elements with suitable linear leading monomials. This can be explained in terms of Noetherianity of the corresponding quotient algebra. Among these Noetherian quotients we find finitely generated polynomial algebras where the action of suitable finite dimensional commutative algebras and in particular finite abelian groups is defined. We obtain therefore a consistent Grobner bases theory for ideals that possess such symmetries.

Cited by

• Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher

Related

• Groebner bases and gradings for partial difference ideals
• On the Construction of Gröbner Bases with Coefficients in Quotient Rings
• An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings
• Existence and Construction of a Gröbner Basis for a Polynomial Ideal
• One-sided Noncommutative Groebner Bases with Applications to Green's Relations