Right Buchberger algorithm over bijective skew \textit{PBW} extensions

DOI10.3233/FI-2021-2093MaRDI QIDQ5862339zbMATH OpenOpenAlexWikidataFDO

Authors William Fajardo

Publication date 9 March 2022

Published in Fundamenta Informaticae (Search for Journal in Brave)

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

zbMATH Keywords

Buchberger algorithmGröbner basesnon-commutative computational algebraskew PBW extensionsSPBWE library

Mathematics Subject Classification ID

Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05)

Abstract: In this paper we present a right version of the algorithms developed for to compute Gr"obner bases over bijective skew PBW extensions in the left case given in [3]. In particular, we adapt the theory of reduction and we build a right division algorithm and generate a right version of Buchberger algorithm over bijective skew PBW extensions, finally we illustrate some examples using the SPBWE.lib library implemented in Maple (see [1], [4]). It is important to note that the development of this theory is fundamental to complete the SPBWE.lib library and to be able to develop many of the homological applications that arise as result of obtaining the right Gr"obner bases over skew PBW extensions.

Recommendations

• Skew PBW extensions. Ring and module-theoretic properties, matrix and Gröbner methods, and applications
• Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
• An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
• Gröbner bases in universal enveloping algebras of Leibniz algebras

Cites work

• A Computational Maple Library for Skew PBW Extensions
• Algorithmic computation of principal posets using Maple and Python
• An algorithmic solution of a Birkhoff type problem.
• Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions
• Gröbner bases for the modules over noetherian polynomial commutative rings
• scientific article; zbMATH DE number 6479204 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• Representation-finite Birkhoff type problems for nilpotent linear operators
• Skew PBW extensions. Ring and module-theoretic properties, matrix and Gröbner methods, and applications
• Tame-wild dichotomy of Birkhoff type problems for nilpotent linear operators.

Cited in

(1)

• An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras

Describes a project that uses

Uses Software

• Maple
• SPBWE.lib

This page was built for publication: Right Buchberger algorithm over bijective skew \textit{PBW} extensions

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