Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.

DOI10.1016/J.JSC.2012.05.003zbMATH Open1272.16026arXiv1009.4152OpenAlexW2024479048MaRDI QIDQ1760102FDOQ1760102

Authors: Roberto La Scala, V. Levandovskyy 

Publication date: 12 November 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: In this paper we introduce an algebra embedding $iota:K<X>oS$ from the free associative algebra $K<X>$ generated by a finite or countable set $X$ into the skew monoid ring $S=P*Sigma$ defined by the commutative polynomial ring $P=K[Ximes{N}^{*}]$ and by the monoid $Sigma=<sigma>$ generated by a suitable endomorphism $sigma:PoP$. If $P=K[X]$ is any ring of polynomials in a countable set of commuting variables, we present also a general Gr"obner bases theory for graded two-sided ideals of the graded algebra $$ with $S_i=Psigm{a}^i$ and $sigma:PoP$ 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 $Sigma$, we obtain a bijective correspondence, preserving Gr"obner bases, between graded $Sigma$-invariant ideals of $P$ and a class of graded two-sided ideals of $S$. By means of the embedding $iota$ this results in the unification, in the graded case, of the Gr"obner bases theories for commutative and non-commutative polynomial rings. Finally, since the ring of ordinary difference polynomials $P=K[XimesN]$ fits the proposed theory one obtains that, with respect to a suitable grading, the Gr"obner 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.

Full work available at URL: https://arxiv.org/abs/1009.4152

Recommendations

• Letterplace ideals and non-commutative Gröbner bases.
• Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms.
• Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
• scientific article; zbMATH DE number 2079561
• Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras.

zbMATH Keywords

graded algebrasfree algebrasskew polynomial ringsGröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Ideals in associative algebras (16D25) Ordinary and skew polynomial rings and semigroup rings (16S36) Graded rings and modules (associative rings and algebras) (16W50) Computational aspects of associative rings (general theory) (16Z05) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Cited In (12)

• Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
• Title not available (Why is that?)
• Multigraded Hilbert series of noncommutative modules
• Buchberger-Weispfenning theory for effective associative rings
• Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
• Weight ideals associated to regular and log-linear arrays.
• Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms
• Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
• Computing minimal free resolutions of right modules over noncommutative algebras
• Gröbner bases and gradings for partial difference ideals
• Buchberger-Zacharias theory of multivariate Ore extensions
• An extension of Gröbner basis theory to indexed polynomials without eliminations

Uses Software

• SINGULAR
• SymbolicData
• Letterplace

This page was built for publication: Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1760102)