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.

Converting subalgebra bases with the Sagbi walk

Subalgebra Analogue to standard basis for ideal

Subalgebra and Khovanskii bases equivalence

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

Groebner--Shirshov bases method for vertex algebras

SAGBI and Gröbner Bases Detection

Bases of q-Schur Module A(lambda)

Diagonal bases in Orlik-Solomon type algebras

The extra basis in noncommuting variables

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

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

Computing bases of modular forms using the graded algebra structure

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

Involutive Algorithms for Computing Groebner Bases

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

Splints of root systems for special Lie subalgebras

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

A conjectural basis for the $(1,2)$-bosonic-fermionic coinvariant ring

Tame quivers and affine bases II: nonsimply-laced cases

Polynomial bases: positivity and Schur multiplication

Binomial edge rings of complete bipartite graphs