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.

Gröbner bases and final polynomials

A Gröbner Basis Approach to Combinatorial Nullstellensatz

A Gr\"{o}bner Basis Approach to Combinatorial Nullstellensatz

Gröbner bases, resolutions, and the Lefschetz properties for powers of a general linear form in the squarefree algebra

Equivariant ideals of polynomials

$p$-adic algorithm for bivariate Gröbner bases

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases

The Number of Gröbner Bases in Finite Fields

Constructing a Gröbner basis of Griffin's ideal

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Graver Bases and Universal Gröbner Bases for Linear Codes

Involutive Algorithms for Computing Groebner Bases

A universal tale of determinants and Gröbner bases

An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods

Existence and Construction of a Gröbner Basis for a Polynomial Ideal

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

On Computing the Elimination Ideal Using Resultants with Applications to Gröbner Bases

Gröbner basics for mixed Hodge modules

Gröbner bases of ideals cogenerated by Pfaffians

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

Note on (De)homogenized Gröbner Bases