Noncommutative Gebauer–Möller criteria
From MaRDI portal
Publication:5115842
DOI10.1515/9783110638387-015zbMATH Open1460.16029arXiv1302.3805OpenAlexW4212998835MaRDI QIDQ5115842FDOQ5115842
Authors: Martin Kreuzer, Xingqiang Xiu 
Publication date: 21 August 2020
Published in: Elementary Theory of Groups and Group Rings, and Related Topics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1302.3805
Recommendations
- scientific article; zbMATH DE number 427801
- Noncommutative localization
- Noncommutative rigidity
- Noncommutative rigidity
- Noncommutative gerbes and deformation quantization
- Noncommutative fermions and Morita equivalence
- scientific article; zbMATH DE number 2145210
- scientific article; zbMATH DE number 40573
- Non-commutatice renormalization
- scientific article; zbMATH DE number 1948535
Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05)
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)
