Noncommutative Gebauer–Möller criteria

DOI10.1515/9783110638387-015MaRDI QIDQ5115842zbMATHOpenAlexFDO

Publication date 21 August 2020

Published in Elementary Theory of Groups and Group Rings, and Related Topics (Search for Journal in Brave)

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

free associative algebras Buchberger's algorithm Gebauer-Möller criteria

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

Abstract: For an efficient implementation of Buchberger's Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moeller criteria. Here we present an adaptation of the Gebauer-Moeller criteria for non-commutative polynomial rings, i.e. for free associative algebras over fields. The essential idea is to detect unnecessary obstructions using other obstructions with or without overlap. Experiments show that the new criteria are able to detect almost all unnecessary obstructions during the execution of Buchberger's procedure.

Recommendations

Cited in

(3)

This page was built for publication: Noncommutative Gebauer–Möller criteria

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