Finite Gröbner bases in non-Noetherian skew polynomial rings
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Multiplicative bases, Gröbner bases, and right Gröbner bases
Journal of Symbolic Computation - Special issue on symbolic computation in algebra, analysis and geometry
Groebner Bases for Non-Commutative Polynomial Rings
AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes
Elimination theory for differential difference polynomials
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Graphs, Dioids and Semirings: New Models and Algorithms (Operations Research/Computer Science Interfaces Series)
A Singular Introduction to Commutative Algebra
A Singular Introduction to Commutative Algebra
Letterplace ideals and non-commutative Gröbner bases
Journal of Symbolic Computation
Consistency analysis of finite difference approximations to PDE systems
MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hi-index | 0.00 |
In this paper we introduce an algebra embedding @i:K-S from the free associative algebra K generated by a finite or countable set X into the skew monoid ring S=P@?@S defined by the commutative polynomial ring P=K[XxN^@?] and by the monoid @S= generated by a suitable endomorphism @s:P-P. If P=K[X] is any ring of polynomials in a countable set of commuting variables, we present also a general Grobner bases theory for graded two-sided ideals of the graded algebra S=@?"iS"i with S"i=P@s^i and @s:P-P an abstract endomorphism satisfying compatibility conditions with ordering and divisibility of the monomials of P. Moreover, using a suitable grading for the algebra P compatible with the action of @S, we obtain a bijective correspondence, preserving Grobner bases, between graded @S-invariant ideals of P and a class of graded two-sided ideals of S. By means of the embedding @i this results in the unification, in the graded case, of the Grobner bases theories for commutative and non-commutative polynomial rings. Finally, since the ring of ordinary difference polynomials P=K[XxN] fits the proposed theory one obtains that, with respect to a suitable grading, the Grobner bases of finitely generated graded ordinary difference ideals can be computed also in the operators ring S and in a finite number of steps up to some fixed degree.