## 1 Introduction

The theory of Gröbner bases was introduced by Buchberger in 1965  and has since become a fundamental algorithmic tool in computer algebra. Over the past decades, many algorithms have been developed to compute Gröbner bases more and more efficiently. The latest iteration of such algorithms is the class of signature-based algorithms, which introduce the notion of signatures and use it to detect and prevent unnecessary or redundant reductions. Following early work in , the technique of signatures was first formally introduced for Algorithm F5 , allowing to compute a Gröbner basis for a regular sequence without any reduction to zero. Since then, there have been many research works in this direction [2, 7, 8, 13].

All these algorithms are for ideals in polynomial rings over fields. Gröbner bases can be defined and computed over commutative rings [1, Ch. 4]. This can be used in many applications, e.g. for polynomials over $$\mathbb {Z}$$ in lattice-based cryptography  or for polynomials over a polynomial ring as an elimination tool . Many other examples are described in .

If the coefficient ring is not a field, there are two ways to define Gröbner bases, namely weak and strong bases. Strong Gröbner bases ensure that normal forms can be computed as in the case of fields. But a strong Gröbner basis is in general larger than a weak one, and if the base ring is not a Principal Ideal Domain (PID), then some ideals exist which do not admit a strong Gröbner basis. On the other hand, weak Gröbner bases, or simply Gröbner bases, always exist for polynomial ideals over a Noetherian commutative ring. They do not necessarily define a unique normal form, but they can be used to decide ideal membership. If necessary, over a PID, a post-processing phase performing coefficient reductions can be used to obtain a strong Gröbner basis.

Recent works have focused on generalizing signature-based techniques to Gröbner basis algorithms over rings. First steps in this direction, adding signatures to a modified version of Buchberger’s algorithm for strong Gröbner bases over Euclidean rings , were presented in . That paper proves that a signature-based Buchberger’s algorithm for strong Gröbner bases cannot ensure correctness of the result after encountering a “signature-drop”, but can nonetheless be used as a prereduction step in order to significantly speed up the computations.

In this paper, we prove that it is possible to compute a weak signature-Gröbner bases of polynomial ideals over PIDs (including Euclidean rings) using signature-based techniques. The proof-of-concept algorithm that we present is adapted from the weak Gröbner basis algorithm due to Möller  [1, Sec. 4.2], which is designed to compute a basis for a polynomial ideal over any ring, and does so by considering combinations and reductions by multiple polynomials at once. The main difference with the results of  is that we use a stricter definition of regular reductions, effectively preventing more reductions from happening, and at the same time adding more polynomials to the basis.

This ensures that no reductions leading to signature-drops can happen in the algorithm, and as a consequence, we prove that the algorithm terminates and computes a signature Gröbner basis with elements ordered with non-decreasing signatures. This property allows us to examine classic signature-based criteria, such as the syzygy criterion, the F5 criterion and the singular criterion, and show how they can be adapted to the case of PIDs. In particular, when the input forms a regular sequence, the algorithm performs no reductions to zero. To the best of our knowledge, this is the first algorithm that, given a regular sequence of polynomials with coefficients in a PID, can compute a Gröbner basis of the corresponding ideal without any reduction to zero.

Möller also presented an efficient algorithm that computes (strong) Gröbner basis for polynomial ideals where the coefficients are from Principal Ideal Rings [19, Sec. 4]. That algorithm skips the combinatorial bottleneck of computing saturated sets. Instead, it uses two polynomials to build S-polynomials and makes use of Gebauer–Möller criteria , previously introduced for fields, to discard redundant S-polynomials.

Whenever necessary, for clarity, we shall refer to that algorithm as Möller’s strong algorithm. The algorithm at the center of our focus, computing weak Gröbner bases, will be referred to as Möller’s weak algorithm, or simply Möller’s algorithm.

We have written a toy implementation of the algorithms presented, with the F5 and the singular criteria, in the Magma Computational Algebra System , and compared its efficiency, in terms of number of excluded pairs, with Möller’s strong algorithm. Experimentally, on all considered examples, Möller’s (weak) algorithm with signatures does compute and reduce fewer S-polynomials than Möller’s strong algorithm.

Möller’s (weak) algorithm, without signatures, works for polynomial systems over any Noetherian commutative ring. The signature-based algorithm is only proved to be correct and to terminate for PIDs, but with very few changes, it can be made to accommodate inputs with coefficients in a more general ring. Interestingly, early experimental data with coefficients in a multivariate polynomial ring (a Unique Factorization Domain but not a PID) suggest that the signature-based algorithm might work over more general rings than just PIDs. For that reason, and because it does not over-complicate the exposition, we choose to present Möller’s algorithms, with and without signatures, in their most general form, accepting input over any Noetherian commutative ring.

### 1.1 Previous Works

Signature-based Gröbner basis algorithms over fields have been extensively studied, and an excellent survey of those works can be found in . The technical details of most proofs can be found in [10, 22]. The theory of Gröbner bases for polynomials over Noetherian commutative rings dates back to the 1970s [19, 23] and a good exposition of these approaches can be found in . Algorithms exist for both flavors of Gröbner bases: Buchberger’s algorithm  computes weak Gröbner bases over a PID, and Möller’s weak algorithm  extends this approach to Noetherian commutative rings. As for strong Gröbner bases, they can be computed using an adapted version of Buchberger’s algorithm  or Möller’s strong algorithm . Algorithms for computing signature Gröbner bases over Euclidean rings have been investigated in .

## 2 Notations

Let $$R$$ be a Noetherian integral domain, which is assumed to have a unit and be commutative. Let $$A= R[x_{1}, \ldots ,x_{n}]$$ be the polynomial ring in n indeterminates $$x_1,\ldots ,x_n$$ over $$R$$. A monomial in $$A$$ is $$x^{a} = x_{1}^{a_{1}}\dots x_{n}^{a_{n}}$$ where $$a=(a_{1}, \ldots ,a_{n})\in \mathbb {N}^{n}$$. A term is $$kx^{a}$$, where $$k \in R$$ and $$k \ne 0$$. We will denote all the terms in $$A$$ by $$\mathrm {Ter}(A)$$ and all the monomials in $$A$$ by $$\mathrm {Mon}(A)$$. We use the notation $$\mathfrak {a}$$ for polynomial ideals in $$A= R[x_1,\ldots ,x_n]$$ and I for ideals in the coefficient ring $$R$$.

The notion of monomial order can be directly extended from $$\mathbb {K}[x_1, \ldots , x_n]$$ to $$A$$. In the rest of the paper, we assume that $$A$$ is endowed with an implicit monomial order $$\prec$$, and we define as usual the leading monomial $$\mathrm {LM}$$, the leading term $$\mathrm {LT}$$ and the leading coefficient $$\mathrm {LC}$$ of a given polynomial.

Given a tuple of polynomials $$(g_{1}, \ldots ,g_{s})$$ and $$i \in \{1, \ldots ,s\}$$, we will frequently denote, for brevity, $$M(i) = \mathrm {LM}(g_{i})$$, $$C(i) = \mathrm {LC}(g_{i})$$ and $$T(i) = \mathrm {LT}(g_{i}) = C(i) M(i)$$.

## 3 Gröbner Bases in Polynomial Rings over $$R$$

For more details about the contents of this section, one can refer to [1, Chapter 4].

### 3.1 Computations in $$R$$

We assume that our coefficient ring $$R$$ is effective in the following sense.

1. (1)

There are algorithms for arithmetic operations ($$+$$, $${*}$$, zero test) in $$R$$.

2. (2)

There is an algorithm LinDecomp:

• Input: $$\{k_{1}, \ldots ,k_{s}\} \subset R$$, $$k \in R$$

• Output: TRUE iff $$k \in \langle k_{1}, \ldots ,k_{s} \rangle$$ and if yes, $$l_1, \ldots , l_s \in R$$ such that $$k = k_1l_1+ \cdots + k_sl_s$$.

3. (3)

There is an algorithm SatIdeal:

• Input: $$\{k_{1}, \ldots ,k_{s}\} \subset R$$, $$k \in R$$

• Output: $$\{l_{1}, \ldots ,l_{r}\} \subset R$$ generators of the saturated ideal $$\langle k_{1}, \ldots ,k_{s} \rangle : \langle k \rangle$$.

The condition that an algorithm LinDecomp exists is called linear equations being solvable in$$R$$ in [1, Def. 4.1.5].

### Example

Euclidean rings are effective, because one can implement those algorithms using GCD computations and Euclidean reductions. For example over $$\mathbb {Z}$$, $$\textsf {LinDecomp} (\{ 4 \}, 12)$$ is $$(\textsf {TRUE},\{3\})$$, since 12 is in the ideal $$\langle 4 \rangle$$ and $$12 = 3 \cdot 4$$. The output of $$\textsf {SatIdeal} (\{ 4 \},6)$$ is $$\{2\}$$ since $$\langle 4 \rangle : \langle 6 \rangle = \frac{1}{6}(\langle 4 \rangle \cap \langle 6 \rangle ) = \frac{1}{6}\langle 12 \rangle = \langle 2 \rangle$$.

The ring of multivariate polynomials over a field is also effective, using Gröbner bases and normal forms to perform the same ideal computations.

### 3.2 Weak Gröbner Bases over Rings

For reduction in fields it is enough to check if the leading term of f is divisible by the leading monomial of g even though the actual reduction happens with the leading term of g. Clearly, in rings this is not a sufficient condition : $$\mathrm {LC}(g)$$ may not divide $$\mathrm {LC}(f)$$ even if $$\mathrm {LM}(g)$$ divides $$\mathrm {LM}(f)$$. Requiring that $$\mathrm {LT}(g)$$ divide $$\mathrm {LT}(f)$$ leads to the notion of strong Gröbner basis, more details can be found in [1, Sec. 4.5].

Here we are interested in computing weak Gröbner bases, and we recall the main definitions in this section. First, following [1, 19], we expand the definition of reduction to allow for a linear combination of reducers. We define saturated sets [1, Def.4.2.4] (called maximal sets in ).

### Definition 3.1

Given a tuple of monomials $$(x^{a_1}, \ldots , x^{a_s})$$, the saturated set for a monomial $$x^b$$ w.r.t. $$(x^{a_{1}}, \ldots ,x^{a_{s}})$$ is defined as

\begin{aligned} \mathrm {Sat}(x^b ; x^{a_{1}}, \ldots ,x^{a_{s}})= \{i \in \{1, \ldots , s\} : x^{a_i} \mid x^b\}. \end{aligned}

A set $$J \subseteq \{1, \ldots , s\}$$ is said to be saturated w.r.t. $$(x^{a_1}, \ldots , x^{a_s})$$ if $$J = \mathrm {Sat}(M(J) ; x^{a_{1}}, \ldots ,x^{a_{s}})$$ where $$M(J) = \mathrm {lcm}(x^{a_{i}} : i \in J)$$. When clear from the context, we shall omit the list of monomials and write $$J_{x^{b}} = \mathrm {Sat}(x^{b})$$.

Given a tuple of polynomials $$(f_{1}, \ldots ,f_{s})$$ and a set of indices $$J \subset \{1, \ldots ,s\}$$, we denote by $$I_{J}$$ the ideal of $$R$$ defined as $$I_{J} := \langle \mathrm {LC}(f_{i}) : i \in J \rangle$$ and we define $$M(J) = \mathrm {lcm}(\mathrm {LM}(f_{1}), \ldots ,\mathrm {LM}(f_{s}))$$.

### Definition 3.2

Let $$f \in A$$. Let $$f_{1}, \ldots ,f_{s} \in A$$ and $$x^{a_{1}}, \ldots ,x^{a_{s}} \in \mathrm {Mon}(A)$$ be such that $$x^{a_{i}}\mathrm {LM}(f_{i}) = \mathrm {LM}(f)$$ for all i. We say that we can weakly top reducef by $$f_1, \ldots , f_s \in A$$ if there exist $$l_{1}, \ldots ,l_{s}$$ in $$R$$ such that

\begin{aligned} \mathrm {LT}(f) = \sum _{i=1}^{s} l_i x^{a_i}\mathrm {LT}({f_i}). \end{aligned}

In our setting we will only perform top reductions, so we will simply call them weak reductions.

The outcome of the total reduction step is $$g = f - \sum _{i=1}^{s} l_{i}x^{a_{i}}f_{i}$$ and the $$f_{i}$$’s are called the weak reducers. A polynomial $$f \in A$$ is weakly reducible if it can be weakly reduced, otherwise it is weakly reduced.

If g is the outcome of reducing f, then $$\mathrm {LM}(g) \prec \mathrm {LM}(f)$$.

### Example

Consider the polynomial ring $$\mathbb {Z}[x,y]$$ with the lex ordering $$y \prec x$$, and consider the set $$F=\{f_1,f_2,f_3,f_4,f_5\}$$ in $$\mathbb {Z}[x,y]$$, with $$f_1 = 4xy +x, f_2 = 3x^2+y,f_3=5x,f_4=4y^2+y,f_5=5y$$. Let $$f = 2xy + 13y -5$$. We have $$\mathrm {LT}(f) = 2xy = (2y) \mathrm {LT}(f_3) - (2) \mathrm {LT}(f_1)$$. This implies we can weakly reduce f with $$f_1, f_3$$ to get $$g = f - (2y f_3 - 2 f_1) = 2x+13y-5$$.

We are now prepared to give the definition of (weak) Gröbner bases for an ideal in $$A$$.

### Definition 3.3

Let $$\mathfrak {a}$$ be an ideal in $$A$$ and $$G=\{g_1,\ldots , g_t\}$$ be a finite set of nonzero polynomials in $$\mathfrak {a}$$. The set G is called a weak Gröbner basis of $$\mathfrak {a}$$ in $$A$$ if it satisfies the following equivalent properties.

1. 1.

$$\langle \mathrm {LT}(G) \rangle = \langle \mathrm {LT}(\mathfrak {a}) \rangle$$;

2. 2.

for any $$f \in \mathfrak {a}$$, f is weakly reducible modulo G;

3. 3.

for any $$f \in A$$, $$f \in \mathfrak {a}$$ if and only if f weakly reduces to 0 modulo G.

### Remark 3.4

Even though the notion of weak Gröbner bases is a weaker notion than that of strong Gröbner bases, one can use weak polynomial reductions to test for ideal membership. One can also define normal forms modulo a polynomial ideal. However, for those normal forms to be unique, one needs to perform further reductions on the coefficients, to “coset representative form”, and one needs to perform reductions on non-leading coefficients as well [1, Th. 4.3.3]. Finally, note that, over a PID, one can easily recover a strong basis from a weak one [19, Th. 4].

### 3.3 Möller’s Algorithm for General Rings

In this section, we present Möller’s (weak) algorithm  for computing Gröbner bases over rings satisfying the conditions of Sect. 3.1. This algorithm is analogous to Buchberger’s algorithm for rings, where the polynomial reduction is as defined above and S-polynomials are replaced with linear combinations of several (possibly more than 2) polynomials, defined in the following sense.

Consider a set $$\{g_{1}, \ldots ,g_{t}\}$$ of polynomials. For $$i \in \{1, \ldots ,t\}$$, let $$M(i) = \mathrm {LM}(g_{i})$$, $$C(i) = \mathrm {LC}(g_{i})$$ and $$T(i) = \mathrm {LT}(g_{i})$$. Let J be a saturated subset of $$\{1, \ldots ,t\}$$ w.r.t. $$\{M(1), \ldots ,M(t)\}$$. Recall that $$M(J) = \mathrm {lcm}(M(j) : j \in J)$$. By definition, for all $$j \in J$$, M(j) divides M(J) and J is maximal with this property.

Let $$s \in J$$ and $$J^{*} = J {\setminus } \{s\}$$. Similar to the idea behind S-polynomials, we want to eliminate the leading term C(s)M(J) of $$\frac{M(J)}{M(s)}g_{s}$$. This can only be done if we multiply $$\frac{M(J)}{M(s)}g_{s}$$ by an element of the saturated ideal $$\langle C(i) : i \in J, i \ne s \rangle : \langle C(s) \rangle$$. We want to consider all such multipliers, so we need to consider generators of this saturated ideal.

Let c be such a generator, by definition $$cC(s) \in \langle C(i) : i \in J, i \ne s \rangle$$ so there exists $$(b_{i})_{i \in J^{*}} \in R$$ such that $$c C(s) = \sum _{i \in J^{*}} b_{i} C(i)$$. The (weak) S-polynomial associated with J, s and c, for some suitable $$(b_{i})$$, is defined as

\begin{aligned} \text{ S-Pol }((g_{i})_{i \in J^{*}};g_{s};c ) = c \frac{M(J)}{M(s)}g_{s} - \sum _{i \in J^{*}} b_{i} \frac{M(J)}{M(i)}g_{i}. \end{aligned}

If the ring $$R$$ is a PID, the saturated ideal $$\langle C(i) : i \in J, i \ne s \rangle : \langle C(s) \rangle$$ admits a unique generator c and we define

\begin{aligned} C(J;s)&= \mathrm {LC}(c g_{s}) = c C(s) = \mathrm {lcm}(\gcd (\{C(j) : j \in J^{*}\}),C(s))\\ T(J;s)&= \mathrm {LT}(c g_{s}) = C(J;s) M(J). \end{aligned}

Then the S-polynomial associated with J, s, c, for some suitable $$(b_{i})$$, can be written in the following form

\begin{aligned} \text{ S-Pol }((g_{i})_{i \in J^{*}};g_{s}) = \frac{T(J;s)}{T(s)} g_{s} - \sum _{i \in J^{*}} b_{i} \frac{M(J)}{M(i)} g_{i}. \end{aligned}

Using this definition of S-polynomials, we recall Möller’s algorithm (Algorithm 1) for computing a Gröbner basis of an ideal given by a set of generators over $$R$$. The correctness and termination of this algorithm are shown in [1, Th. 4.2.8 and Th. 4.2.9].

## 4 Signatures in $$A^m$$

We consider the free $$A$$-module $$A^{m}$$ with basis $$\mathbf {e}_1, \ldots , \mathbf {e}_m$$. A term (resp. monomial) in $$A^{m}$$ is $$kx^{a}\mathbf {e}_{i}$$ (resp. $$x^{a}\mathbf {e}_{i}$$) for some $$k \in R{\setminus } \{0\}$$, $$x^{a} \in \mathrm {Mon}(A)$$, $$i \in \{1, \ldots ,m\}$$. In this paper, terms in $$A^{m}$$ are ordered using the Position Over Term (POT) order, defined by

\begin{aligned} k x^a\mathbf {e}_i \prec lx^b\mathbf {e}_j \iff i \lneq j (\text { or } i = j \text { and } x^a \prec x^b). \end{aligned}

Given two terms $$kx^{a}\mathbf {e}_{i}$$ and $$lx^{b}\mathbf {e}_{j}$$ in $$A^{m}$$, we write $$kx^{a}\mathbf {e}_{i} \simeq lx^{b}\mathbf {e}_{j}$$ if they are incomparable, i.e. if $$a=b$$ and $$i=j$$.

Given a set of polynomials $$f_{1}, \ldots ,f_{m} \in A$$, elements of $$A^{m}$$ encode elements of the ideal $$\langle f_{1}, \ldots ,f_{m} \rangle$$ through the $$A$$-module homomorphism $${\bar{\cdot }} : A^{m} \rightarrow A$$, defined by setting $$\overline{\mathbf {e}}_{i} = f_{i}$$ and extending linearly to $$A^{m}$$. In particular, $$\overline{\sum _{i=1}^{m} p_{i}\mathbf {e}_{i}} = \sum _{i=1}^{m} p_{i}f_{i}$$.

We recall the concept of signatures in $$A^m$$. Let $$\mathbf {p}= \sum _{i=1}^{m} p_{i} \mathbf {e}_{i}$$ be a module element. Under the POT ordering, the signature of $$\mathbf {p}$$ is $$\mathfrak {s}(\mathbf {p}) = \mathrm {LT}(p_{i})\mathbf {e}_{i}$$ where i is such that $$p_{i+1}{=}\dots {=}p_{m}=0$$ and $$p_{i}\ne 0$$. Signatures are of the form $$kx^a\mathbf {e}_i$$, where $$k \in R, x^a \in \mathrm {Mon}(A)$$ and $$\mathbf {e}_i$$ is a standard basis vector.

Note that we have two ways of comparing two similar signatures $$\mathfrak {s}(\varvec{\alpha }) = kx^a\mathbf {e}_i$$ and $$\mathfrak {s}(\varvec{\beta }) = lx^b\mathbf {e}_j$$. We write $$\mathfrak {s}(\varvec{\alpha })=\mathfrak {s}(\varvec{\beta })$$ if $$k=l$$, $$a=b$$ and $$i=j$$, and we write $$\mathfrak {s}(\varvec{\alpha }) \simeq \mathfrak {s}(\varvec{\beta })$$ if $$a=b$$ and $$i=j$$, k and l being possibly different. If $$R$$ is a field, one can assume that the coefficient is 1, and so this distinction is not important.

Note also that when we order signatures, we only compare the corresponding module monomials, and disregard the coefficients. This is a different approach from the one used in , where both signatures and coefficients are ordered.

Given a tuple $$(\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{s})$$ of module elements in $$A^{m}$$ and $$i,j \in \{1, \ldots ,s\}$$, we shall frequently denote $$S(i) = \mathfrak {s}(\varvec{\alpha }_{i})$$ for brevity.

In order to keep track of signatures we modify Definition 3.2 to introduce the notion of $$\mathfrak {s}$$-reduction.

### Definition 4.1

Let $$\mathbf {p}\in A^{m}$$. We say that we can signature-reduce (or $$\mathfrak {s}$$-reduce) $$\mathbf {p}$$ by $$\varvec{\beta }_1, \ldots , \varvec{\beta }_s\in A^m$$ if we can reduce $$\overline{\mathbf {p}}$$ by $$\overline{\varvec{\beta }}_{1}, \ldots ,\overline{\varvec{\beta }}_{s}$$ (in the sense of Definition 3.2) and $$\mathfrak {s}(x^{a_i}\varvec{\beta }_i) \preceq \mathfrak {s}(\mathbf {p})$$ for all $$i = 1, \ldots , s$$, where $$x^{a_{i}}=\frac{\mathrm {LM}(\overline{\mathbf {p}})}{\mathrm {LM}(\overline{\varvec{\beta }}_{i})}$$. We can define similarly $$\mathfrak {s}$$-reduced module elements.

If $$\mathfrak {s}(x^{a_i}\varvec{\beta }_i) \simeq \mathfrak {s}(\mathbf {p})$$ for some i in the above $$\mathfrak {s}$$-reduction, then it is called a singular$$\mathfrak {s}$$-reduction step. Otherwise it is called a regular$$\mathfrak {s}$$-reduction step.

If $$\mathfrak {s}(x^{a_{i}}\varvec{\beta }_{i}) \simeq \mathfrak {s}(\mathbf {p})$$ for exactly one i and it is actually an equality $$\mathfrak {s}(l_{i}x^{a_{i}}\varvec{\beta }_{i}) = \mathfrak {s}(\mathbf {p})$$, it is called a 1-singular$$\mathfrak {s}$$-reduction step.

### Remark 4.2

For simplicity, we only carry out weak top reductions, and in particular all $$\mathfrak {s}$$-reductions are weak top $$\mathfrak {s}$$-reductions. But performing regular $$\mathfrak {s}$$-reduction to eliminate trailing terms does not affect the correctness of the algorithm.

Just like $$\mathfrak {s}$$-reduction over fields, one can interpret $$\mathfrak {s}$$-reduction as polynomial reduction with an extra condition on the signature of the reducers. The difference with fields is that in $$R[x_1, \ldots ,x_n]$$ polynomial reduction is defined differently from the classic polynomial reduction. Additionally, in the case of fields, all singular $$\mathfrak {s}$$-reductions are 1-singular.

The outcome $$\mathbf {q}$$ of $$\mathfrak {s}$$-reducing $$\mathbf {p}$$ is such that $$\mathrm {LT}(\overline{\mathbf {q}}) \prec \mathrm {LT}(\overline{\mathbf {p}})$$ and $$\mathfrak {s}(\mathbf {q}) \preceq \mathfrak {s}(\mathbf {p})$$. If $$\mathbf {q}$$ is the result of a regular $$\mathfrak {s}$$-reduction, then $$\mathfrak {s}(\mathbf {q}) = \mathfrak {s}(\mathbf {p})$$. In signature-based algorithms, in order to keep track of the signatures of the basis elements, we only allow regular $$\mathfrak {s}$$-reductions. Later, we will also prove that elements which are 1-singular $$\mathfrak {s}$$-reducible can be discarded.

### Remark 4.3

In [9, Ex. 2], a signature drop appears when $$\mathfrak {s}$$-reducing an element of signature $$6y\mathbf {e}_2$$ with an element of signature $$y\mathbf {e}_2$$ causing the signature to “drop” to $$5y\mathbf {e}_2$$. With our definition, since we only compare the module monomial part of the signatures, this is a (forbidden) singular $$\mathfrak {s}$$-reduction.

### Definition 4.4

Let $$\mathfrak {a} = \langle f_1, \ldots , f_m\rangle$$ be an ideal in $$A$$. A finite subset $$\mathcal {G}$$ of $$A^m$$ is a (weak) signature Gröbner basis (or $$\mathfrak {s}$$-GB for short) of $$\mathfrak {a}$$ if all $$\mathbf {u}\in A^m$$$$\mathfrak {s}$$-reduce to zero mod $$\mathcal {G}$$.

Given a signature $$\mathbf {T}$$, we say that $$\mathcal {G}$$ is a (partial) signature Gröbner basis up to $$\mathbf T$$ if all $$\mathbf {u}\in A^{m}$$ with signature $$\prec \mathbf {T}$$$$\mathfrak {s}$$-reduce to 0 mod $$\mathcal {G}$$.

Using this definition, we can give the following characterization of 1-singular reducibility, which allows for an easy algorithmic test.

### Lemma 4.5

(Characterization of 1-singular $$\mathfrak {s}$$-reducibility) Let $$\mathcal {G}=\{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{s}\} \subset A^{m}$$ and $$\mathbf {p}\in A^{m}$$ such that $$\mathcal {G}$$ is a signature Gröbner basis up to signature $$\mathfrak {s}(\mathbf {p})$$. Then $$\mathbf {p}$$ is 1-singular $$\mathfrak {s}$$-reducible if and only if there exist $$j \in \{1, \ldots ,s\}$$ and $$k \in R$$ and a monomial $$x^{a}$$ in $$A$$ such that $$\mathrm {LM}(x^{a}\overline{\varvec{\alpha }}_{j}) = \mathrm {LM}(\overline{\mathbf {p}})$$ and $$kx^{a}\mathfrak {s}(\varvec{\alpha }_{j})=\mathfrak {s}(\mathbf {p})$$.

### Proof

If $$\mathbf {p}$$ is 1-singular $$\mathfrak {s}$$-reducible, then such j, k and $$x^{a}$$ exist by definition. Conversely, given such j, k and $$x^{a}$$, if $$kx^{a}\mathrm {LT}(\overline{\varvec{\alpha }}_{j}) = \mathrm {LT}(\overline{\mathbf {p}})$$, then $$\mathbf {p}$$ is 1-singular $$\mathfrak {s}$$-reducible. If not, then $$\mathrm {LM}(\overline{\mathbf {p}}-kx^{a}\overline{\varvec{\alpha }}_{j}) = \mathrm {LM}(\overline{\mathbf {p}})$$. Furthermore, $$\mathfrak {s}(\mathbf {p}- kx^{a}\varvec{\alpha }_{j}) \prec \mathfrak {s}(\mathbf {p})$$, so $$\mathbf {p}- kx^{a}\varvec{\alpha }_{j}$$$$\mathfrak {s}$$-reduces to 0. In particular, there exist $$(\mu _{i})_{i \in \{1, \ldots ,s\}}$$ terms in $$A$$ such that for all i with $$\mu _{i} \ne 0$$, $$\mathrm {LM}(\mu _{i}\overline{\varvec{\alpha }}_{i})=\mathrm {LM}(\overline{\mathbf {p}}-kx^{a}\overline{\varvec{\alpha }}_{j})$$, $$\mathrm {LT}(\overline{\mathbf {p}}- kx^{a}\overline{\varvec{\alpha }}_{j}) = \sum _{i=1}^{s} \mu _{i}\mathrm {LT}(\overline{\varvec{\alpha }}_{i})$$ and $$\mu _{i}\mathfrak {s}(\varvec{\alpha }_{i}) \preceq \mathfrak {s}(\mathbf {p}- kx^{a}\varvec{\alpha }_{j}) \prec \mathfrak {s}(\mathbf {p})$$. So putting together the two $$\mathfrak {s}$$-reductions, we obtain that

\begin{aligned} \mathrm {LT}(\overline{\mathbf {p}}) = kx^{a}\mathrm {LT}(\overline{\varvec{\alpha }}_{j}) + \sum _{i=1}^{s} \mu _{i}\mathrm {LT}(\overline{\varvec{\alpha }}_{i}) \end{aligned}

and this is a 1-singular $$\mathfrak {s}$$-reduction of $$\mathbf {p}$$. $$\square$$

We now define (weak) semi-strong signature Gröbner bases, which form a subclass of weak $$\mathfrak {s}$$-Gröbner bases. In the case of rings, it is easier to compute them than to directly compute weak $$\mathfrak {s}$$-Gröbner bases.

### Definition 4.6

Let $$\mathfrak {a} = \langle f_1, \ldots , f_m\rangle$$ be an ideal in $$A$$. A finite subset $$\mathcal {G}$$ of $$A^m$$ is a semi-strong signature Gröbner basis (or s-s $$\mathfrak {s}$$-GB for short) of $$\mathfrak {a}$$ if, for all $$\mathbf {u}\in A^m$$,

• either $$\mathbf {u}$$ is (weakly) regular $$\mathfrak {s}$$-reducible modulo $$\mathcal {G}$$;

• or $$\mathbf {u}$$ is 1-singular $$\mathfrak {s}$$-reducible modulo $$\mathcal {G}$$;

• or $$\overline{\mathbf {u}}= 0$$.

Given a signature $$\mathbf {T}$$, semi-strong signature Gröbner bases up to$$\mathbf {T}$$ are defined similarly by only considering module elements with signature $$\prec \mathbf {T}$$.

### Lemma 4.7

([6, Lem. 4.6]) Let $$\mathfrak {a} = \langle f_{1}, \ldots ,f_{m} \rangle$$ be an ideal in $$A$$ and let $$\mathcal {G} \subset A^{m}$$. Then

1. 1.

If $$\mathcal {G}$$ is a s-s $$\mathfrak {s}$$-GB of $$\mathfrak {a}$$, then $$\mathcal {G}$$ is a $$\mathfrak {s}$$-GB of $$\mathfrak {a}$$.

2. 2.

If $$\mathcal {G}$$ is a $$\mathfrak {s}$$-GB of $$\mathfrak {a}$$, then $$\{\overline{\varvec{\alpha }}: \varvec{\alpha }\in \mathcal {G}\}$$ is a Gröbner basis of $$\mathfrak {a}$$.

### Proof

The definition of a semi-strong Gröbner basis implies that all $$\mathbf {u}\in A^{m}$$ with $$\overline{\mathbf {u}}\ne 0$$ are $$\mathfrak {s}$$-reducible modulo $$\mathcal {G}$$, and so such $$\mathfrak {s}$$-reductions form a chain which can only terminate at 0.

The proof that a signature Gröbner basis is a Gröbner basis is classical [6, Lem. 4.1]. $$\square$$

In order to compute signature Gröbner bases, similar to the case of fields, we will restrict the computations to regular S-polynomials. For this purpose, we first introduce the signature of a set of indices, and regular sets.

### Definition 4.8

Let $$\mathcal {G} = (\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t})$$ be a tuple of module elements in $$A^{m}$$ and a set $$J \subseteq \{1, \ldots , t\}$$. For $$i\in \{1, \ldots ,t\}$$, let $$M(i) = \mathrm {LM}(\overline{\varvec{\alpha }}_i)$$, and $$S(i) = \mathfrak {s}(\varvec{\alpha }_i)$$. The presignature of J is defined as

\begin{aligned} S_{J} = \max _{s \in J} \left\{ \frac{M(J)}{ M(s)} S(s) \right\} . \end{aligned}

We say that J is a regular set if there exists exactly one $$s \in J$$ such that $$S_{J} \simeq \frac{M(J)}{M(s)} \mathfrak {s}(\varvec{\alpha }_{s})$$. The index s is called the signature index of J. We say that J is a regular saturated set if $$J {\setminus } \{s\}$$ contains all j such that $$M(j) \mid M(J)$$ and $$\frac{M(J)}{M(j)}S(j) \prec S_{J}$$.

Note that given a regular set J, one can always compute a regular saturated set $$J'$$ containing J, by adding those indices j such that $$M(j) \mid M(J)$$ and $$\frac{M(J)}{ M(j)}S(j) \prec S_{J}$$.

### Definition 4.9

Let $$(\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t})$$ be a tuple of module elements in $$A^{m}$$. For $$i \in \{1, \ldots ,t\}$$, let $$M(i) = \mathrm {LM}(\overline{\varvec{\alpha }}_{i})$$, $$C(i) = \mathrm {LC}(\overline{\varvec{\alpha }}_{i})$$ and $$S(i) = \mathfrak {s}(\varvec{\alpha }_{i})$$. Let $$J \subset \{1, \ldots ,t\}$$ be a regular saturated set with signature index s, and let $$J^{*} = J {\setminus } \{s\}$$. Let c be an element of a family of generators of $$\langle C(j) : j \in J^{*}\rangle : \langle C(s)\rangle$$.

Let $$(b_j)_{j \in J^{*}}$$ be a tuple of elements of $$R$$ such that $$cC(s) = \sum _{j \in J^{*}} b_jC(j).$$ Then the (weak) S-polynomial associated with J and c is defined as

\begin{aligned} \text{ S-Pol }((g_{j})_{j \in J};c) = c\frac{M(J)}{M(s)}\varvec{\alpha }_s - \sum _{j \in J^{*}} b_j\frac{M(J)}{M(j)}\varvec{\alpha }_j. \end{aligned}

Its signature is

\begin{aligned} S(J;c) = \mathfrak {s}(\text{ S-Pol }((g_{j})_{j \in J};c)) = c S_{J} = c \frac{M(J)}{M(s)} S(s). \end{aligned}

### Remark 4.10

When dealing with regular saturated sets, unlike in Sect. 3.2, we do not need to specify which $$s \in J$$ is singled out when computing the S-polynomial: the only possible s is the signature index of J.

### Remark 4.11

If the coefficient ring is a PID, the ideal $$\langle C(j) : j \in J^{*}\rangle : \langle C(s)\rangle$$ is principal, and c is uniquely determined up to an invertible factor. As such, it can be omitted, and in that case we shall simply write $$\text{ S-Pol }(J)$$ for the S-polynomial, and S(J) for its signature. The signature can then be written as $$S(J) = \frac{C(J)}{C(s)} S_{J} = \frac{C(J)}{C(s)} \frac{M(J)}{M(s)} S(s).$$

## 5 Adding Signatures to Möller’s Weak Algorithm

Recall that all $$\mathfrak {s}$$-reductions are weak top $$\mathfrak {s}$$-reductions. In this section, all S-polynomials are weak S-polynomials.

### 5.1 Algorithms

Algorithm SigMöller (Algorithm 3) is a signature-based version of Möller’s algorithm which, given an ideal $$\mathfrak {a}$$ in $$R[x_{1}, \ldots ,x_{n}]$$ where $$R$$ is a PID, computes a signature Gröbner basis of $$\mathfrak {a}$$.

The algorithm proceeds by maintaining a list of regular saturated sets $$\mathcal {P}$$ and computing weak S-polynomials obtained from these saturated sets. At each step, it selects the next regular saturated set $$J \in \mathcal {P}$$ such that J has minimal presignature amongst elements of $$\mathcal {P}$$. This ensures that the algorithm computes new elements for the signature Gröbner basis with nondecreasing signatures (Prop. 5.2).

The algorithm then regular $$\mathfrak {s}$$-reduces these S-polynomials w.r.t. the previous elements, and adds to the basis those which are not equal to 0 and are not 1-singular $$\mathfrak {s}$$-reducible. Signature-based Gröbner basis algorithms over fields typically discard all new elements which are singular $$\mathfrak {s}$$-reducible, but this may be too restrictive for rings. On the other hand, the proof of Lemma 5.4 justifies that 1-singular $$\mathfrak {s}$$-reducible module elements can be safely discarded in the computations. The correctness of the criterion for 1-singular $$\mathfrak {s}$$-reducibility (Algorithm 4) was justified in Lemma 4.5. The correctness and termination of Algorithm SigMöller are proved in Th. 5.5 and Th. 5.6 respectively.

Due to space constraints, the subroutine RegularReduce is not explicitly written. It implements regular $$\mathfrak {s}$$-reduction of a module element $$\mathbf {p}$$ w.r.t. a set of module elements $$\{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{s}\}$$. It is a straightforward transposition of Reduce (Algorithm 2), with the additional condition that we only consider as reducers of $$\mathbf {r}$$ those $$\varvec{\alpha }_{j}$$ with $$\mathrm {LM}(\overline{\varvec{\alpha }}_{j}) \mid \mathrm {LM}(\overline{\mathbf {r}}) \text { and } \frac{\mathrm {LM}(\overline{\mathbf {r}})}{\mathrm {LM}(\overline{\varvec{\alpha }}_{j})}\mathfrak {s}(\varvec{\alpha }_{j}) \prec \mathfrak {s}(\mathbf {r}).$$

### Remark 5.1

Note that the algorithms, as presented, perform computations on module elements. However, for practical implementations, this represents a significant overhead. On the other hand, for any module element $$\varvec{\alpha }$$, we only need its polynomial value $$\overline{\varvec{\alpha }}$$ and its signature $$\mathfrak {s}(\varvec{\alpha })$$. Hence the algorithm only needs to keep track of the signatures of elements, which is made possible by the restriction to regular S-polynomials and regular $$\mathfrak {s}$$-reductions.

### Example

An example run of Algorithm 3 is available online.Footnote 1

### 5.2 Proof of Correctness

In this section we prove the correctness of the algorithms presented in Sect. 5.1. The first result states that Algorithm SigMöller computes elements of the signature Gröbner basis in nondecreasing order on their signatures.

### Proposition 5.2

Let $$(\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t})$$ be the value of $$\mathcal {G}$$ at any point in the course of Algorithm SigMöller. Then $$\mathfrak {s}(\varvec{\alpha }_{1}) \preceq \mathfrak {s}(\varvec{\alpha }_{2}) \preceq \dots \preceq \mathfrak {s}(\varvec{\alpha }_{t})$$.

### Proof

Assume that this is not the case, and let i be the smallest index such that $$\mathfrak {s}(\varvec{\alpha }_{i}) \succ \mathfrak {s}(\varvec{\alpha }_{i+1})$$. Let $$J_{i}$$ (resp. $$J_{i+1}$$) be the saturated set used to compute $$\varvec{\alpha }_{i}$$ (resp. $$\varvec{\alpha }_{i+1}$$). Note that $$\mathfrak {s}(\varvec{\alpha }_{i}) \simeq S(J_{i})$$ and $$\mathfrak {s}(\varvec{\alpha }_{i+1}) \simeq S(J_{i+1})$$.

If $$i \notin J_{i+1}$$, then $$J_{i+1}$$ was already in the queue $$\mathcal {P}$$ when $$J_{i}$$ was selected, and so, by the selection criterion in the algorithm, $$S(J_{i}) \preceq S(J_{i+1})$$.

If $$i \in J_{i+1}$$, then $$S(J_{i+1}) \succeq \frac{x^{J_{i+1}}}{\mathrm {LM}(\overline{\varvec{\alpha }}_{i})}\mathfrak {s}(\varvec{\alpha }_{i}) \succeq \mathfrak {s}(\varvec{\alpha }_{i})$$. $$\square$$

The following useful lemma gives consequences of the fact that two regular $$\mathfrak {s}$$-reduced elements share the same signature.

### Lemma 5.3

Let $$\mathcal {G}= (\varvec{\alpha }_{1}, \ldots , \varvec{\alpha }_{s})$$ be a signature Gröbner basis up to signature $$\mathbf {L}$$.

Let $$\mathbf {p}, \mathbf {q}\in A^{m}$$ such that $$\mathfrak {s}(\mathbf {p}) = \mathfrak {s}(\mathbf {q}) = \mathbf {L}$$, and $$\mathbf {p}$$ and $$\mathbf {q}$$ are regular $$\mathfrak {s}$$-reduced. Then $$\mathrm {LM}(\overline{\mathbf {p}}) = \mathrm {LM}(\overline{\mathbf {q}})$$ and either $$\mathrm {LT}(\overline{\mathbf {p}}) = \mathrm {LT}(\overline{\mathbf {q}})$$, or $$\mathrm {LC}(\overline{\mathbf {p}}- \overline{\mathbf {q}})$$ lies in the ideal

\begin{aligned} C := \Big \langle \mathrm {LC}(\overline{\varvec{\alpha }_{j}}) : \mathrm {LM}(\overline{\varvec{\alpha }_{j}}) \mid m \text { and } \frac{m}{\mathrm {LM}(\overline{\varvec{\alpha }_{j}})}\mathfrak {s}(\varvec{\alpha }_{j}) \not \simeq \mathfrak {s}(\mathbf {p}) \Big \rangle . \end{aligned}

### Proof

Let $$\mathbf {r}= \mathbf {p}- \mathbf {q}$$. Since $$\mathfrak {s}(\mathbf {p}) = \mathfrak {s}(\mathbf {q})$$, we have $$\mathfrak {s}(\mathbf {r}) \prec \mathfrak {s}(\mathbf {p}) = \mathbf {L}$$, and so $$\mathbf {r}$$$$\mathfrak {s}$$-reduces to 0 modulo $$\mathcal {G}$$. Assume first that $$\mathrm {LM}(\overline{\mathbf {p}}) \ne \mathrm {LM}(\overline{\mathbf {q}})$$, then w.l.o.g. we may assume that $$\mathrm {LM}(\overline{\mathbf {p}}) \succ \mathrm {LM}(\overline{\mathbf {q}})$$, so $$\mathrm {LM}(\overline{\mathbf {r}}) = \mathrm {LM}(\overline{\mathbf {p}})$$. Since $$\mathbf {r}$$ is regular $$\mathfrak {s}$$-reducible, $$\mathbf {p}$$ is $$\mathfrak {s}$$-reducible. This is a contradiction with the assumption that $$\mathbf {p}$$ is $$\mathfrak {s}$$-reduced.

So $$\mathrm {LM}(\overline{\mathbf {p}}) = \mathrm {LM}(\overline{\mathbf {q}}) =: m$$. If $$\mathrm {LT}(\overline{\mathbf {p}}) \ne \mathrm {LT}(\overline{\mathbf {q}})$$, C is the ideal of leading coefficients of polynomials which can eliminate m, and since $$\mathbf {r}$$ is $$\mathfrak {s}$$-reducible, $$\mathrm {LC}(\overline{\mathbf {p}}) - \mathrm {LC}(\overline{\mathbf {q}}) \in C$$. $$\square$$

We now prove the correctness of Algorithm SigMöller. The proof follows the structure of the proof in the case of fields , and adapts it to Möller’s algorithm over PIDs. In particular, it takes into account weak $$\mathfrak {s}$$-reductions instead of classical $$\mathfrak {s}$$-reductions. The algorithm ensures that all regular S-polynomials up to a given signature $$\mathbf {T}$$$$\mathfrak {s}$$-reduce to 0, and proving the correctness of the algorithm requires proving that this implies that all module elements with signature $$\prec \mathbf {T}$$$$\mathfrak {s}$$-reduce to 0.

The key lemma of the proof is the following.

### Lemma 5.4

Let $$\mathcal {G}= (\varvec{\alpha }_{1}, \ldots , \varvec{\alpha }_{s}) \subseteq A^{m}$$. Let $$\mathbf {u}\in A^{m} {\setminus } \{0\}$$ be $$\mathfrak {s}$$-reduced such that $$\overline{\mathbf {u}}\ne 0$$. Assume that $$\mathcal {G}$$ is a s-s $$\mathfrak {s}$$-GB basis up to signature $$\mathfrak {s}(\mathbf {u})$$. Then there exists an S-polynomial $$\mathbf {p}$$ w.r.t. $$\mathcal {G}$$, such that:

1. 1.

the signature of $$\mathbf {p}$$ divides the signature of $$\mathbf {u}$$: $$kx^a\mathfrak {s}(\mathbf {p}) = \mathfrak {s}(\mathbf {u})$$ with $$k \in R$$ and $$x^{a} \in \mathrm {Mon}(A)$$;

2. 2.

if $$\mathbf {p}'$$ is the result of regular $$\mathfrak {s}$$-reducing $$\mathbf {p}$$ w.r.t. $$\mathcal {G}$$, then $$kx^{a}\mathbf {p}'$$ is regular $$\mathfrak {s}$$-reduced.

### Proof

The proof is in two steps: first, we construct a S-polynomial $$\mathbf {p}$$ whose signature divides $$\mathfrak {s}(\mathbf {u})$$, and then, starting from $$\mathbf {p}$$, we show that there exists an S-polynomial satisfying the conditions of the lemma.

In the remainder of the proof, for $$i \in \{1, \ldots ,s\}$$, let $$M(i) = \mathrm {LM}(\overline{\varvec{\alpha }}_{i})$$, $$C(i) = \mathrm {LC}(\overline{\varvec{\alpha }}_{i})$$, $$T(i) = \mathrm {LT}(\overline{\varvec{\alpha }}_{i})$$ and $$S(i) = \mathfrak {s}(\varvec{\alpha }_{i})$$.

Existence of a S-polynomial satisfying 1 For the first step, let $$\mathfrak {s}(\mathbf {u})$$ be $$lx^b\mathbf {e}_i$$ for some $$l \in R$$, $$x^b$$ a monomial and $$\mathbf {e}_i$$ a basis vector. Let $$\mathbf {e}'_{i}$$ be the result of regular $$\mathfrak {s}$$-reducing $$\mathbf {e}_{i}$$. If $$\overline{\mathbf {e}}'_{i}=0$$, then $$\mathbf {u}$$ regular $$\mathfrak {s}$$-reduces to 0, which is a contradiction since we assumed $$\mathbf {u}$$ to be $$\mathfrak {s}$$-reduced and $$\overline{\mathbf {u}}\ne 0$$. Let $$\mathbf {L}= lx^{b}\mathbf {e}'_{i}$$, it has signature $$lx^{b}\mathbf {e}_{i}$$. Then $$\mathbf {u}- \mathbf {L}$$ has a smaller signature than $$\mathbf {u}$$, so it $$\mathfrak {s}$$-reduces to zero and in particular it is $$\mathfrak {s}$$-reducible. Also, $$\mathbf {L}$$ is $$\mathfrak {s}$$-reducible by $$\mathbf {e}'_{i}$$. Consider the sum $$(\mathbf {u}-\mathbf {L}) + \mathbf {L}= \mathbf {u}$$. It is not $$\mathfrak {s}$$-reducible, which implies that $$\mathrm {LT}(\overline{\mathbf {u}-\mathbf {L}}) = -\mathrm {LT}(\overline{\mathbf {L}})$$.

Let $$J_{\mathrm {LM}(\overline{\mathbf {L}})}$$ be the maximal regular saturated set J with $$M(J) \mid \mathrm {LM}(\overline{\mathbf {L}})$$. Since $$\mathbf {u}- \mathbf {L}$$$$\mathfrak {s}$$-reduces to zero, there exists $$(m_{j})_{j \in J_{\mathrm {LM}(\overline{\mathbf {L}})}}$$ monomials in $$A$$, and $$(k_{j})_{j \in J_{\mathrm {LM}(\overline{\mathbf {L}})}}$$ coefficients in R such that

\begin{aligned} \mathrm {LT}(\overline{\mathbf {u}}- \overline{\mathbf {L}}) = \sum _{j \in J_{\mathrm {LM}(\overline{\mathbf {L}})}} k_{j}m_{j} T(j) \end{aligned}
(5.1)

with $$m_{j}M(j) = \mathrm {LM}(\overline{\mathbf {u}}-\overline{\mathbf {L}})$$ and $$\mathfrak {s}(k_{j}m_{j}\varvec{\alpha }_{j}) = k_{j}m_{j} S(j) \preceq \mathfrak {s}(\mathbf {u}- \mathbf {L}) \prec \mathfrak {s}(\mathbf {u})$$ for all i such that $$k_{j} \ne 0$$. Let $$\sigma$$ be the index of $$\mathbf {e}'_i$$ in $$\mathcal {G}$$, that is $$\varvec{\alpha }_{\sigma } = \mathbf {e}'_{i}$$. Consider the set $$J' = \{j : m_{j} \ne 0\} \cup \{\sigma \} \subseteq J_{\mathrm {LM}(\overline{\mathbf {L}})},$$ it is regular by construction.

Let J be a regular saturated set containing $$J'$$. Then, since for all $$j \in J'$$, $$M(j) \mid \mathrm {LM}(\overline{\mathbf {L}}) = x^{b}M(\sigma )$$, $$M(J) = \mathrm {lcm}\left\{ M(j) : j \in J'\right\} \mid x^{b}M(\sigma ).$$ Furthermore, looking at the leading coefficients in Eq. (5.1), we have

\begin{aligned} l \, C(\sigma ) = - \sum _{j \in J'} k_{j}C(j) \end{aligned}

and so $$l \in \langle C(j) : j \in J, j \ne \sigma \rangle : \langle C(\sigma ) \rangle$$. Since $$R$$ is a PID, this ideal is principal. Let $$b_{J}$$ be its generator, then $$b_{J} \mid l$$. Let $$\mathbf {p}$$ be the S-polynomial corresponding to J and $$b_{J}$$. It is regular by construction since J is a regular saturated set, and its signature is $$\mathfrak {s}(\mathbf {p}) = b_{J} \frac{M(J)}{M(\sigma )} S(\sigma ) = b_{J} \frac{M(J)}{\mathrm {LM}(\overline{\mathbf {e}}'_i)} \mathbf {e}_{i}$$. Since $$b_{J}$$ divides l and M(J) divides $$x^{b}M(\sigma )$$, $$\mathfrak {s}(\mathbf {p})$$ divides $$lx^{b}s \mathbf {e}'_{i} = \mathfrak {s}(\mathbf {L}) = \mathfrak {s}(\mathbf {u})$$.

Existence of a S-polynomial satisfying 1. and 2 Let $$\mathbf {p}$$ be an S-polynomial whose signature divides $$\mathfrak {s}(\mathbf {u})$$, and let $$\mathbf {p}'$$ be the regular $$\mathfrak {s}$$-reduced form of $$\mathbf {p}$$. Write $$\mathfrak {s}(\mathbf {u}) = \mathfrak {s}(kx^a\mathbf {p})$$, where $$k \in R$$ and $$x^a$$ is a monomial.

We can assume that $$kx^a\mathbf {p}'$$ is regular $$\mathfrak {s}$$-reducible or else we are done. We then construct an S-polynomial $$\mathbf {q}$$ such that $$\mathfrak {s}(lx^b\mathbf {q}) = \mathfrak {s}(\mathbf {u})$$ and $$\mathrm {LM}(\overline{kx^a\mathbf {p}}) \succ \mathrm {LM}(\overline{lx^b\mathbf {q}})$$. If $$lx^b\mathbf {q}'$$, where $$\mathbf {q}'$$ is obtained by regular $$\mathfrak {s}$$-reducing $$\mathbf {q}$$, is not regular $$\mathfrak {s}$$-reducible then we are done. Otherwise we can do the same process again and get a third S-polynomial with the same properties and keep repeating. Since the initial terms are strictly decreasing and we have a well order there are only finitely many such S-polynomials.

First, we show that we can assume that $$x^{a} \succ 1$$. Indeed, assume that $$a=0$$ and $$k\mathbf {p}'$$ is regular $$\mathfrak {s}$$-reducible. Since $$R$$ is an integral domain, $$\mathrm {LM}(k\overline{\mathbf {p}}') = \mathrm {LM}(\overline{\mathbf {p}}')$$. Let $$J_{\mathrm {LM}(\overline{\mathbf {p}}')}$$ be the maximal regular saturated set J with $$M(J) \mid \mathrm {LM}(\overline{\mathbf {p}}')$$. Then $$k\mathrm {LC}(\overline{\mathbf {p}}')$$ lies in the ideal $$\langle \mathrm {LC}(\alpha _{j}) : j \in J_{\mathrm {LM}(\overline{\mathbf {p}}')} \rangle$$. Since $$R$$ is a PID, this ideal is principal, let $$b_{J_{\mathrm {LM}(\overline{\mathbf {p}}')}}$$ be its generator, then $$b_{J_{\mathrm {LM}(\overline{\mathbf {p}}')}} \mid k$$. Let $$\overline{\mathbf {q}}$$ be the S-polynomial corresponding to the regular saturated set $$J_{\mathrm {LM}(\overline{\mathbf {p}}')}$$ and the generator $$b_{J_{\mathrm {LM}(\overline{\mathbf {p}}')}}$$, its signature divides $$\mathfrak {s}(\mathbf {u})$$ and is strictly divisible by $$\mathfrak {s}(\mathbf {p})$$. Repeating the process as needed, we obtain a strictly increasing sequence of elements dividing the coefficient of $$\mathfrak {s}(\mathbf {u})$$, and since $$R$$ is a PID and in particular a unique-factorization domain, this sequence has to be finite. So we can assume that $$x^{a} \succ 1$$.

We will construct two reductions of $$\mathrm {LT}(kx^{a}\overline{\mathbf {p}}')$$, which taken together will give the S-polynomial $$\mathbf {q}$$. For the first reduction, the module element $$\mathbf {p}' \in A^{m}$$ is regular $$\mathfrak {s}$$-reduced modulo the s-s $$\mathfrak {s}$$-GB $$\mathcal {G}$$, and its signature is smaller than $$\mathfrak {s}(\mathbf {u})$$. Furthermore, by assumption $$kx^{a}\mathbf {p}'$$ is not regular $$\mathfrak {s}$$-reduced, so $$\overline{\mathbf {p}}'$$ cannot be 0. So, by definition of a s-s $$\mathfrak {s}$$-GB , $$\mathbf {p}'$$ is 1-singular $$\mathfrak {s}$$-reducible. So there exists $$(t_{i}^{(1)})_{i \in J_{1}}$$ terms in $$A$$, with $$J_{1} \subset \{1, \ldots ,s\}$$ and for all $$i \in J_{1}$$, $$t_{i}^{(1)} \ne 0$$, and such that

\begin{aligned} \mathrm {LT}(\overline{\mathbf {p}}') = \sum _{i \in J_{1}} t^{(1)}_{i} \mathrm {LT}(\overline{\varvec{\alpha }}_{i}) = \sum _{i \in J_{1}} t^{(1)}_{i} T(i) \end{aligned}
(5.2)

with for all $$i \in J_{1}$$, $$\mathrm {LM}(t_{i}^{(1)}\overline{\varvec{\alpha }}_{i}) = \mathrm {LM}(t_{i}^{(1)}) M(i) = \mathrm {LM}(\overline{\mathbf {p}}')$$. Furthermore, there exists $$\tau$$ in $$J_{1}$$, $$t_{\tau }^{(1)} S(\tau ) = \mathfrak {s}(\overline{\mathbf {p}})$$ and for all $$i \in J_{1} {\setminus } \{\tau \}$$, $$t_{i}^{(1)} S(i) \prec \mathfrak {s}(\mathbf {p})$$.

We now build the second reduction. Since $$kx^a\mathbf {p}'$$ is regular $$\mathfrak {s}$$-reducible, there exists $$(t_{i}^{(2)})_{i \in J_2}$$ terms in $$A$$, with $$J_{2} \subset \{1, \ldots ,s\}$$ and for all $$i \in J_{2}$$, $$t_{i}^{(2)} \ne 0$$, such that

\begin{aligned} \mathrm {LT}(kx^{a}\overline{\mathbf {p}}') = \sum _{i \in J_{2}} t_{i}^{(2)} \mathrm {LT}(\overline{\varvec{\alpha }}_{i}) = \sum _{i \in J_{2}} t_{i}^{(2)} T(i), \end{aligned}
(5.3)

and for all $$j \in J_{2}$$, $$\mathrm {LM}(t_{j}^{(2)}) M(j) = \mathrm {LM}(kx^{a}\overline{\mathbf {p}}')$$ and $$t_{j}^{(2)}S(j) \prec \mathfrak {s}(kx^a\mathbf {p}')$$.

Now let $$J = J_{1} \cup J_{2}$$, and let $$t_{i}^{(1)}=0$$ if $$i \in J_{2} {\setminus } J_{1}$$, $$t_{j}^{(2)} = 0$$ if $$j \in J_{1} {\setminus } J_{2}$$. Note that $$\tau \notin J_{2}$$, so $$t_{\tau }^{(2)} = 0$$. Combining Eqs. (5.2) and (5.3), we obtain a decomposition of $$kx^{a}t_{\tau }T(\tau )$$ as

\begin{aligned} kx^{a}t_{\tau }T(\tau ) = - \sum _{i \in J {\setminus } \{\tau \}} t_{i}T(i). \end{aligned}
(5.4)

where for all $$i \in J$$, $$t_{i} = kx^{a}t_{i}^{(1)} - t_{i}^{(2)}$$. Furthermore, for all $$i \in J {\setminus } \{\tau \}$$, $$\mathrm {LM}(t_{i})M(i) = \mathrm {LM}(x^{a}\overline{\mathbf {p}}') = \mathrm {LM}(x^{a} t_{\tau }) M(\tau )$$ and $$t_{i}S(i) \prec \mathfrak {s}(\overline{\mathbf {p}}) = k x^{a} t_{\tau } S(\tau )$$.

The same argument as the one used, in the first part of the proof, to construct an S-polynomial based on Eq. (5.1) yields an S-polynomial $$\mathbf {q}$$ such that $$\mathfrak {s}(\mathbf {q})$$ divides $$\mathfrak {s}(\mathbf {u})$$, say $$lx^{b}\mathfrak {s}(\mathbf {q}) = \mathfrak {s}(\mathbf {u})$$. Furthermore, since the leading term is eliminated in the construction of an S-polynomial, $$\mathrm {LT}(lx^{b}\overline{\mathbf {q}}) \prec \mathrm {LT}(kx^{a}\overline{\mathbf {p}}')$$, which concludes the proof. $$\square$$

### Theorem 5.5

(Correctness of Algorithm SigMöller) Let $$\mathbf {T}$$ be a term of $$A^m$$ and let $$\mathcal {G}= (\varvec{\alpha }_{1}, \ldots , \varvec{\alpha }_{s}) \subseteq A^m$$ be a finite basis as computed by Algorithm 3. Assume that all regular S-polynomials $$\mathbf {p}$$ with $$\mathfrak {s}(\mathbf {p}) \prec \mathbf {T}$$$$\mathfrak {s}$$-reduce to 0 w.r.t. $$\mathcal {G}$$. Then $$\mathcal {G}$$ is a semi-strong signature-Gröbner basis up to signature $$\mathbf {T}$$.

### Proof

To get a contradiction assume there exists a $$\mathbf {u}\in A^{m}$$ with $$\mathfrak {s}(\mathbf {u}) \prec \mathbf {T}$$ such that $$\mathbf {u}$$ does not $$\mathfrak {s}$$-reduce to zero. Assume w.l.o.g. that $$\mathfrak {s}(\mathbf {u})$$ is $$\prec$$-minimal such that $$\mathbf {u}$$ does not $$\mathfrak {s}$$-reduce to zero and also that $$\mathbf {u}$$ is regular $$\mathfrak {s}$$-reduced.

By Lemma 5.4 there is an S-polynomial $$\mathbf {p}$$ with $$\mathfrak {s}(kx^{a}\mathbf {p}) = \mathfrak {s}(\mathbf {u})$$ with $$k \in R$$, $$x^{a} \in \mathrm {Mon}(A)$$. Also, $$kx^a\mathbf {p}'$$ is regular $$\mathfrak {s}$$-reduced where $$\mathbf {p}'$$ is the result of regular $$\mathfrak {s}$$-reducing $$\mathbf {p}$$.

Let $$J_{\mathrm {LM}(\overline{\mathbf {u}})}$$ be the maximal regular saturated set J with $$M(J) \mid \mathrm {LM}(\overline{\mathbf {u}})$$. Since $$\mathfrak {s}(kx^a\mathbf {p}) = \mathfrak {s}(\mathbf {u})$$ and both $$kx^a\mathbf {p}'$$ and $$\mathbf {u}$$ are regular $$\mathfrak {s}$$-reduced, we have by Lemma 5.3 that $$\mathrm {LM}(kx^a\overline{\mathbf {p}}') = \mathrm {LM}(\overline{\mathbf {u}} )$$, and either $$\mathrm {LT}(kx^{a}\overline{\mathbf {p}}') = \mathrm {LT}(\overline{\mathbf {u}})$$, or

\begin{aligned} \mathrm {LC}(\overline{\mathbf {u}}- kx^{a}\overline{\mathbf {p}}') \in \left\langle \mathrm {LC}(\overline{\varvec{\alpha }}_{j}) : j \in J_{\mathrm {LM}(\overline{\mathbf {u}})} \right\rangle . \end{aligned}

So in either case, there exists $$(t_{i})_{i \in J_{\mathrm {LM}(\overline{\mathbf {u}})}}$$ terms in $$A$$, possibly all zero, such that

\begin{aligned} \mathrm {LT}(\overline{\mathbf {u}}) - \mathrm {LT}(kx^{a}\overline{\mathbf {p}}') = \sum _{i \in J_{\mathrm {LM}(\overline{\mathbf {u}})}} t_{i} \mathrm {LT}(\overline{\varvec{\alpha }}_{i}) \end{aligned}

and $$t_{i}\mathrm {LM}(\overline{\varvec{\alpha }}_{i}) = \mathrm {LM}(\overline{\mathbf {r}}) = \mathrm {LM}(\overline{\mathbf {u}})$$ for all i such that $$t_{i} \ne 0$$.

Since $$\mathbf {p}'$$ is a regular S-polynomial with $$\mathfrak {s}(\mathbf {p}') \preceq \mathfrak {s}(\mathbf {u}) \prec \mathbf {T}$$, $$\mathbf {p}'$$ is $$\mathfrak {s}$$-reducible, and so $$k x^{a} \mathbf {p}'$$ is $$\mathfrak {s}$$-reducible. So there exists $$(\tau _{i})_{i \in J_{\mathrm {LM}(\overline{\mathbf {u}})}}$$ terms in $$A$$ such that

\begin{aligned} \mathrm {LT}(kx^{a}\overline{\mathbf {p}}') = \sum _{i \in J_{\mathrm {LM}(\overline{\mathbf {u}})}} \tau _{i} \mathrm {LT}(\overline{\varvec{\alpha }}_{i}), \end{aligned}

and $$\tau _{i}\mathrm {LM}(\overline{\varvec{\alpha }}_{i}) = \mathrm {LM}(kx^{a}\overline{\mathbf {p}}') = \mathrm {LM}(\overline{\mathbf {u}})$$ for all i such that $$\tau _{i} \ne 0$$. So

\begin{aligned} \mathrm {LT}(\overline{\mathbf {u}}) = \left( \mathrm {LT}(\overline{\mathbf {u}}) - \mathrm {LT}(kx^{a}\overline{\mathbf {p}}') \right) + \mathrm {LT}(kx^{a}\overline{\mathbf {p}}') = \sum _{i \in J_{\mathrm {LM}(\overline{\mathbf {u}})}} (t_{i}+\tau _{i}) \mathrm {LT}(\overline{\varvec{\alpha }}_{i}), \end{aligned}

and $$\mathbf {u}$$ is $$\mathfrak {s}$$-reducible which is a contradiction. $$\square$$

### 5.3 Proof of Termination

The usual proofs of termination of signature-based Gröbner basis algorithms (e.g. [22, Th. 11]) rely on the fact that all elements which are singular $$\mathfrak {s}$$-reducible are discarded in the computations. Algorithm SigMöller only discards those which are 1-singular $$\mathfrak {s}$$-reducible. For this reason, we adapt the proof of termination of Algorithm RB  [10, Th. 20], which handles singular $$\mathfrak {s}$$-reducible elements in a different way.

### Theorem 5.6

Algorithm SigMöller terminates.

### Proof

Let $$\mathcal {G} = (\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t}, \ldots )$$ be the sequence of basis elements computed by SigMöller. By construction, for all $$t \ge 1$$, $$\overline{\varvec{\alpha }_t}$$ is not $$\mathfrak {s}$$-reducible by $$\mathcal {G}_{t-1} := \{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t-1}\}$$, and all $$\mathbf {v}\in A^{m}$$ with $$\mathfrak {s}(\mathbf {v}) \prec \mathfrak {s}(\varvec{\alpha }_t)$$$$\mathfrak {s}$$-reduce to zero w.r.t. $$\mathcal {G}_{t-1}$$.

For $$i \ge 1$$, let $$M(i) = \mathrm {LM}(\overline{\varvec{\alpha }}_{i})$$, $$T(i) = \mathrm {LT}(\overline{\varvec{\alpha }}_{i})$$. We define the sig-lead ratio $$r(\varvec{\alpha }_{i})$$ of $$\varvec{\alpha }_{i}$$ as $$\frac{\mathfrak {s}(\varvec{\alpha }_{i})}{M(i)}$$. Those ratios are ordered naturally by $$\frac{s}{m} \prec \frac{s'}{m'} \iff sm' \prec s'm$$.

We partition $$\mathcal {G}$$ into subsets $$\mathcal {G}_{r} = \{\varvec{\alpha }_{i} \mid r(\varvec{\alpha }_{i}) \simeq r\}$$, where $$\simeq$$ denotes equality up to a coefficient in $$R$$. We prove that only finitely many $$\mathcal {G}_{r}$$ are non-empty, and that they are all finite, hence $$\mathcal {G}$$ is finite.

First, we prove that only finitely many $$\mathcal {G}_{r}$$ are non-empty. We do so by counting minimal basis elements, where $$\varvec{\alpha }_{i}$$ is minimal if and only if there is no $$\varvec{\alpha }_{j} \in \mathcal {G}$$ with $$\mathfrak {s}(\varvec{\alpha }_{j}) \mid \mathfrak {s}(\varvec{\alpha }_{i})$$ and $$T(j) \mid T(i)$$. A non-minimal module element $$\varvec{\alpha }_{i}$$ is $$\mathfrak {s}$$-reducible by $$\{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{i-1}\}$$ [22, Lem. 12], and since all basis elements are regular $$\mathfrak {s}$$-reduced by construction, $$\varvec{\alpha }_{i}$$ is singular $$\mathfrak {s}$$-reducible. In particular, there exists at least one $$\varvec{\alpha }_{j}$$, $$j < i$$ and a monomial m with $$\mathfrak {s}(m\varvec{\alpha }_{j}) \simeq \mathfrak {s}(\varvec{\alpha }_{i})$$ and $$m M(j) = M(i)$$, so $$\varvec{\alpha }_{i}$$ and $$\varvec{\alpha }_{j}$$ lie in the same subset $$\mathcal {G}_{r}$$. Hence there are at most as many non-empty $$\mathcal {G}_{r}$$’s as there are minimal basis elements. This is finitely many because $$A$$ and $$A^{m}$$ are Noetherian.

Then we prove by induction on the finitely many non-empty sets $$\mathcal {G}_{r}$$ that each $$\mathcal {G}_{r}$$ is finite. Let r be a sig-lead ratio, assume that for all $$r' < r$$, $$\mathcal {G}_{r'}$$ is finite. Let $$\varvec{\alpha }_{t} \in \mathcal {G}_{r}$$. If $$\varvec{\alpha }_{t}$$ is $$\mathbf {e}_{i}$$ for some i, then it only counts for one. Otherwise, let J be the regular saturated set, and $$\mathbf {p}$$ the corresponding S-polynomial, that SigMöller regular $$\mathfrak {s}$$-reduced to obtain $$\varvec{\alpha }_{t}$$. Then $$\mathbf {p}= \sum _{j \in J} b_{j}\frac{M(J)}{M(j)}\varvec{\alpha }_{j}$$ for $$b_{j} \in R$$, and there exists $$\tau \in J$$ such that for all $$j \in J {\setminus } \{\tau \}$$, $$\frac{M(J)}{M(j)}\mathfrak {s}(\varvec{\alpha }_{j}) \prec \frac{M(J)}{M(\tau )}\mathfrak {s}(\varvec{\alpha }_{\tau })$$. Also $$T(t) \prec \mathrm {LT}(\frac{M(J)}{M(\tau )}\overline{\varvec{\alpha }}_{\tau })$$ and $$\mathfrak {s}(\varvec{\alpha }_{t}) = \frac{M(J)}{M(\tau )}\mathfrak {s}(\varvec{\alpha }_{\tau })$$. So $$r = \frac{\mathfrak {s}(\varvec{\alpha }_{t})}{M(t)} \succ \frac{\mathfrak {s}(\varvec{\alpha }_{\tau })}{M(\tau )} \succ \frac{\mathfrak {s}(\varvec{\alpha }_{j})}{M(j)}$$ for $$j \in J {\setminus } \{\tau \}$$. Hence all $$\varvec{\alpha }_{j}$$, $$j \in J$$ are in some $$\mathcal {G}_{r_{j}}$$ with $$r_{j} < r$$, so for computing elements of $$\mathcal {G}_{r}$$, the algorithm will consider at most as many saturated subsets as there are subsets of $$\bigcup _{r' < r} \mathcal {G}_{r}$$, which is finite by induction. Furthermore, since $$R$$ is a PID and in particular Noetherian, with each saturated subset J, the algorithm only builds finitely many S-polynomials (actually, it only builds one). So overall, we find that $$\mathcal {G}_{r}$$ is finite, which concludes the proof by induction. $$\square$$

### 5.4 Eliminating S-Polynomials

It is well known in the case of fields that additional criteria can be implemented to detect that a regular S-pair will lead to an element which $$\mathfrak {s}$$-reduces to 0. In this section, we show how we can implement three such criteria, namely the syzygy criterion, the F5 criterion and the singular criterion.

#### 5.4.1 Syzygy Criterion

Syzygy criteria rely on the fact that, if the signature of an S-polynomial can be written as a linear combination of signatures of syzygies, then this S-polynomial would be a syzygy itself. Signatures of syzygies can be identified in two ways:

• the Koszul syzygy between basis elements $$\mathbf {p}$$ and $$\mathbf {q}$$ such that $$\mathfrak {s}(\mathbf {p})=m_{\mathbf {p}} \mathbf {e}_{i}$$, $$\mathfrak {s}(\mathbf {q}) = m_{\mathbf {q}} \mathbf {e}_{j}$$, $$i < j$$ is $$\overline{\mathbf {p}}\mathbf {q}- \overline{\mathbf {q}}\mathbf {p}$$, and it has signature $$\mathrm {LT}(\overline{\mathbf {p}})\mathfrak {s}(\mathbf {q})$$;

• if a regular S-polynomial $$\mathbf {p}$$$$\mathfrak {s}$$-reduces to 0, then $$\mathfrak {s}(\mathbf {p})$$ and its multiples are signatures of syzygies; thus, the algorithm may maintain a set of generators of signatures of syzygies by adding to this set $$\mathfrak {s}(\mathbf {p})$$ for each S-polynomial $$\mathbf {p}$$$$\mathfrak {s}$$-reducing to 0.

For regular sequences, all syzygies are Koszul syzygies.

### Proposition 5.7

(Syzygy criterion) Assume that $$\mathbf {T}$$ is a signature such that all module elements with signature less than $$\mathbf {T}$$$$\mathfrak {s}$$-reduce to 0. Let $$\mathbf {p}\in A^{m}$$ be such that there exist syzygies $$\mathbf {z}_{1}, \ldots ,\mathbf {z}_{k}$$ and terms $$m_{1}, \ldots ,m_{k}$$ in $$A$$ with $$\mathfrak {s}(\mathbf {p}) = \sum _{i=1}^{k} m_{i} \mathfrak {s}(\mathbf {z}_{i})$$, and $$\mathfrak {s}(\mathbf {p}) \preceq \mathbf {T}$$. Then $$\mathbf {p}$$ regular $$\mathfrak {s}$$-reduces to 0.

### Proof

Let $$\mathbf {r}= \mathbf {p}- \sum _{i=1}^{k} m_{i}\mathbf {z}_{i}$$, then $$\mathfrak {s}(\mathbf {r}) \prec \mathfrak {s}(\mathbf {p}) \preceq \mathbf {T}$$ so $$\mathbf {r}$$$$\mathfrak {s}$$-reduces to 0. But $$\overline{\mathbf {r}}= \overline{\mathbf {p}}- \sum _{i=1}^{k} m_{i}\overline{\mathbf {z}}_{i} = \overline{\mathbf {p}}$$, so $$\mathbf {p}$$ also $$\mathfrak {s}$$-reduces to 0 with reducers of signature at most $$\mathfrak {s}(\mathbf {r}) \prec \mathfrak {s}(\mathbf {p})$$. $$\square$$

Koszul syzygies can be eliminated with the same technique, but it is more efficient to use the F5 criterion [22, Sect. 3.3].

### Proposition 5.8

(F5 criterion, [3, 11]) Let $$\mathbf {p}\in A^{m}$$ with signature $$\mu \,\mathbf {e}_{i}$$, and let $$\{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t}\}$$ be a signature Gröbner basis of $$\langle f_{1}, \ldots ,f_{i-1} \rangle$$. Then $$\mathbf {p}$$ is a Koszul syzygy if and only if $$\mu$$ is $$\mathfrak {s}$$-reducible modulo $$\{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{t}\}$$.

### Proof

By definition, $$\mathbf {p}$$ is a Koszul syzygy if and only if $$m \in \mathrm {LT}(\langle f_{1}, \ldots ,f_{i-1} \rangle )$$, and the conclusion follows by definition of a weak Gröbner basis. $$\square$$

#### 5.4.2 Singular Criterion

The singular criterion states that the algorithm only needs to consider one S-polynomial with a given signature. So when computing a new S-polynomial, if there already exists a $$\mathfrak {s}$$-reduced module element with the same signature, we may discard the current S-polynomial without performing any $$\mathfrak {s}$$-reduction.

### Proposition 5.9

(Singular criterion) Let $$\mathcal {G} = \{\varvec{\alpha }_{1}, \ldots ,\varvec{\alpha }_{s}\}$$ be a signature Gröbner basis up to signature $$\mathbf {T}$$. Let $$\mathbf {p}\in A^{m}$$ be such that there exists $$\varvec{\alpha }_{i} \in \mathcal {G}$$ with $$\mathfrak {s}(\varvec{\alpha }_{i}) = \mathfrak {s}(\mathbf {p})$$ and $$\mathfrak {s}(\mathbf {p}) = \mathfrak {s}(\mathbf {T})$$. Then $$\mathbf {p}$$$$\mathfrak {s}$$-reduces to 0.

### Proof

Let $$\mathbf {p}'$$ be the result of regular $$\mathfrak {s}$$-reducing $$\mathbf {p}$$ w.r.t. $$\mathcal {G}$$. By construction, the basis element $$\varvec{\alpha }_{i}$$ is regular $$\mathfrak {s}$$-reduced w.r.t. $$\mathcal {G}$$. So by Lemma 5.3, $$\mathrm {LM}(\overline{\mathbf {p}}') = \mathrm {LM}(\overline{\varvec{\alpha }}_{i})$$, and applying Lemma 4.5, with $$k=1$$ and $$x^{a}=1$$, shows that $$\mathbf {p}'$$ is 1-singular $$\mathfrak {s}$$-reducible. The result of that $$\mathfrak {s}$$-reduction has signature $$\prec \mathfrak {s}(\mathbf {p}) = \mathbf {T}$$, so it $$\mathfrak {s}$$-reduces to 0. $$\square$$

## 6 Experimental Results and Future Work

We have written a toy implementation of Algorithm SigMöller,Footnote 2 with the F5 and Singular criteria. We provide functions LinDecomp and SatIdeal for Euclidean rings, fields and multivariate polynomial rings.

Since our focus is on the feasibility of signature-compatible computations and not their efficiency, we give data about the number of considered S-polynomials, saturated sets and reductions to 0, when computing Gröbner bases over $$\mathbb {Z}$$ for the polynomial systems Katsura-2 (Table 1) and Katsura-3 (Table 2). The statistics are compared with a run of Möller’s strong algorithm . Even though the proposed algorithm, adapted from Möller’s weak algorithm, considers more saturated sets than Möller’s strong algorithm, thanks to the signatures, it ends up computing and reducing significantly less S-polynomials, and no reductions to zero appear.

Running Algorithm SigMöller on larger examples would require optimizations, but it appears that the most expensive step is the generation of the saturated sets, which takes time exponential in the size of the current basis. This step may be accelerated in different ways. First, it is known that in the case of PIDs, the reductions of Möller’s algorithm can be recovered from those of Möller’s strong algorithm [1, Sec. 4.4], which may allow to run the algorithms considering only pairs instead of arbitrary tuples of polynomials. Additionally, Gebauer and Möller’s criteria for fields can be used to make Möller’s strong algorithm over PIDs more efficient . We will investigate whether it is possible to prove that these algorithms are compatible with signatures in the future. Finally, future research will be focused on further signature-based criteria, such as the cover criterion described in  and the more general rewriting criteria.

The algorithm accepts as input polynomials over any ring, provided that the necessary routines are defined. In particular, our implementation can run the algorithms on polynomials on the base ring $$\mathbb {K}[y_{1}, \ldots ,y_{k}]$$. On small examples in this setting, it appears that the algorithm terminates and returns a correct output. Understanding the behavior of SigMöller over UFDs or even more general rings will also be the focus of future research.