Abstract:Signature-based algorithms have become a standard approach for computing Gröbner bases in commutative polynomial rings. However, so far, it was not clear how to extend this concept to the setting of noncommutative polynomials in the free algebra. In this paper, we present a signature-based algorithm for computing Gröbner bases in precisely this setting. The algorithm is an adaptation of Buchberger's algorithm including signatures. We prove that our algorithm correctly enumerates a signature Gröbner basis as well as a Gröbner basis of the module generated by the leading terms of the generators' syzygies, and that it terminates whenever the ideal admits a finite signature Gröbner basis. Additionally, we adapt well-known signature-based criteria eliminating redundant reductions, such as the syzygy criterion, the F5 criterion and the singular criterion, to the case of noncommutative polynomials. We also generalise reconstruction methods from the commutative setting that allow to recover, from partial information about signatures, the coordinates of elements of a Gröbner basis in terms of the input polynomials, as well as a basis of the syzygy module of the generators. We have written a toy implementation of all the algorithms in the Mathematica package OperatorGB and we compare our signature-based algorithm to the classical Buchberger algorithm for noncommutative polynomials.

Groebner--Shirshov bases method for vertex algebras

Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov

Gröbner--Shirshov bases for Vinberg--Koszul--Gerstenhaber right-symmetric algebras

Subalgebra and Khovanskii bases equivalence

Groebner---Shirshov bases for associative conformal algebras with arbitrary locality function

Homogeneous Khovanskii bases and MUVAK bases

Non-Archimedean Vertex Algebras

Algebraic systems of matrices and Grobner basis

On $\mathbb{N}$-graded vertex algebras associated with Gorenstein algebras

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Gröbner-Shirshov bases theory and extensions of Leibniz superalgebras

Certain Clifford-like algebra and quantum vertex algebras

Gr{ö}bner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems

Gröbner-Shirshov bases and linear bases for free differential type algebras over algebras

Algebras Defined by Monic Gröbner Bases over Rings

Subalgebra Analogue to standard basis for ideal

Gröbner bases for operads

Gröbner bases for bipartite determinantal ideals

Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra