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

DOI10.1016/J.JSC.2012.05.003MaRDI QIDQ1760102zbMATH OpenOpenAlexFDO

Authors Roberto La Scala, V. Levandovskyy

Publication date 12 November 2012

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

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

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)

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\ast Sigma$ defined by the commutative polynomial ring $P=K[Ximes{N}^{\ast }]$ 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.

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.

Cited in

(13)

• Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
• Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms.
• Multigraded Hilbert series of noncommutative modules
• scientific article; zbMATH DE number 2079561 (Why is no real title available?)
• Skew polynomial rings: the Schreier technique
• 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.
• 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
• Buchberger-Zacharias theory of multivariate Ore extensions
• Gröbner bases and gradings for partial difference ideals
• An extension of Gröbner basis theory to indexed polynomials without eliminations

Describes a project that uses

Uses Software

• Letterplace
• SymbolicData
• SINGULAR

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)