Abstract
Moved by a question posed us by Wolfgang Rump, we investigate the Rump ideal \({\mathbb {I}}(p^2-pq+qp)\subset {\mathbb {Z}}\langle q,q^{-1}, p\rangle \) and we show, this way, the power of Zacharias representation.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Notes
and it is computable via Buchberger reduction.
\(p\in \mathsf{N}_{00}\) for \(n=1\) and, for each \(i\in {\mathbb {Z}}\setminus \{0\}, q^i\in \mathsf{N}_{ii}\) for \(n=0\)
The value \(\xi _B\) is indeed the coefficient of B making it reducible by an \(f_i \in G\).
By symmetry, \(\mathfrak {S}\left( S(a,b;pq^{a-1},1;1,q^{b-1}p)\right) =0\) also if we choose \(\mathbf{T}(h)= q^ap q^{b-1}p\).
Note that \(h_{15,21}=12pq^{35}p-5pq^{14}pq^{21}-\mathbf{7q^{15}pq^{20}p}\) realted to the parameters \(a=15, b=21,\alpha =7, \beta =5, \mathrm{lcm}(a,b)=105, \gcd (a,b)=3\)
At the conference CoCoA I held in Genoa in May 1986, where also [7] was presented.
A strategy for choosing the next S-polynomial in a Gebauer–Möller set is said fair when each pair is chosen within a finite number of choices and thus cannot remain unprocessed forever.
References
Apel, J.: Computational ideal theory in finitely generated extension rings. Theor. Comput. Sci. 224, 1–33 (2000)
Buchberger, B.: A criterion for detecting unnecessary reduction in the construction of Gröbner bases. L. N. Comput. Sci. 72, 3–21 (1979)
Buchberger, B.: Introduction to Göbner Bases. In: Buchberger, B., Winkler, F. (eds.) Gröbner Bases and Application, pp. 3–31. Cambridge University Press, Cambridge (1998)
Ceria, M., Mora, T.: Buchberger-Weispfenning theory for effective associative rings. J. Symb. Comput. special issue for ISSAC, 83, 112–146 (2015)
Cioffi, F., Roggero, M.: Flat families by strongly stable ideals and a generalization of Gröbner bases. J. Symb. Comput. 49, 1070–1084 (2011)
Cojocaru, S., Ufnarovski, V.: Noncommuatative Gröbner basis, Hilbert series, Anick’s resolution and BERGMAN under MS-DOS. Comput. Sci. J. Moldova 3, 24–39 (1995)
Gebauer, R., Möller, H.M.: On an Installation of Buchbgerger’s Algorithm. J. Symb. Comput. 6, 275–286 (1988)
Gebauer R., Möller H.M.: A fast Variant of Buchbgerger’s Algorithm, Preprint (1985)
Green, E., Mora, T., Ufnarovski, V.: The non-commutative Gröbner freaks. In: Bronstein, M., Grabmeier, J., Weispfenning, V. (eds.) Symbolic Rewriting Techniques, pp. 93–104. Birkhäuser, Basel (1998)
Gröbner W.: Algebraische Geometrie I, Bibliographische Institut (1968)
Janet, M.: Sur les systèmes d’équations aux dérivées partielles. J. Math. Pure et Appl. 3, 65–151 (1920)
Levandovskyy V.G.,Studzinski G., Schnitzler, B.: Enhanced computations of Gröbner bases in free algebras as a new application of the Letterplace Paradigm. In: Proc. ISSAC’13 (2013), pp. 259–266, A.C.M
Månsson, J.: On the computation of Hilbert series and Poincare series for algebras with infinite Gröbner bases. Comput. Sci. J. Moldova 8(1), 42–63 (2000)
Månsson, J., Nordbeck, P.: A generalized Ufnarovski graph. Applicabel Algebra Eng. Commun. Comput. 16(5), 293–306 (2005)
Mårtensson, K.: An algorithm to detect regular behaviour of binomial Gröbner Basis rational language. Master’s Thesis, Lund University (2006)
Map W.: De nugis curialium; Courtiers’ Trifles, ed. and trans. M. R. James. Revised by C. N.’ L. Brooke and R. A. B. Mynors. (Oxford Medieval Texts.) New York: Clarendon Press, Oxford University Press (1983)
Möller, H.M.: On the construction of Gröbner bases using syzygies. J. Symb. Comput. 6, 345–359 (1988)
Mora, T.: An introduction to commutative and non-commutative Groebner bases. Theor. Comput. Sci. 134, 131–173 (1994)
Mora, F.: De Nugis Groebnerialium 1: Eagon, Northcott, Groebner. In: Buchberger, B., Winkler, F. (eds.) Gröbner Bases and Application, pp. 434–447. Cambridge University Press, Cambridge (1998)
Mora, F.: De Nugis Groebnerialium 2: Applying Macaulay’s trick in order to easily write a Groebner basis. Appl. Algebra Eng. Commun. Comput. 13(6), 437–446 (2003)
Mora, F.: De Nugis Groebnerialium 3: Solitaire, Reiß, Gröbner. Rendiconti Del Seminario Matematico 78(1), 43–56 (2021)
Mora F.: De Nugis Groebnerialium 4: Zacharias, Spears, Möller. In: Proc. ISSAC’15 (2015), pp. 191–198, ACM
Mora, F.: De Nugis Groebnerialium 5: Noether, Macaulay, Jordan. In: Proceedings of the 24\(^{th}\) Conference on Applications of Computer Algebra (ACA 2018 Santiago de Compostela) Rendiconti Del Seminario Matematico, vol. 78(1), pp. 43–56 (2018)
Mora, T.: Solving Polynomial Equation Systems. 4 Vols., Cambridge University Press, I (2003), II (2005), III (2015), IV (2016)
Mora, T.: Available at https://drive.google.com/file/d/1Y_o3xsnO1pnuGEJsBHawRQ_nY4G-drkY/view?usp=sharing (2010)
Mora, T.: Available at https://drive.google.com/file/d/1G212L_ElB9eW-OAnd_VctBYvIlPkeSQP/view?usp=sharing (2010)
Mora, T.: Zacharias representation of effective associative rings. J. Symb. Comput. 99, 147–188 (2020)
Ollivier, F.: Canonical bases: reletions with standard bases, finiteness conditions and application to tame automorphisms. Progress Math. 94, 379–400 (1990)
Pritchard F.L.: A syzygies approach to non-commutative Gröbner bases, Preprint (1994)
Pritchard, F.L.: The ideal membership problem in non-commutative polynomial rings. J. Symb. Comput. 22, 27–48 (1996)
Rump, W.: Degenerate involutive set-theoretic solutions to the Yang-Baxter equation. Prerint (2021)
Schreyer, F.O.: Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrass’schen Divisionsatz. Diplomarbait, Hamburg (1980)
Schreyer, F.O.: A standard basis approach to syzygies of canonical curves. J. Reine Angew. Math. 421, 83–123 (1991)
Zacharias G.: Generalized Gröbner bases in commutative polynomial rings, Bachelor’s thesis, M.I.T. (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Gebauer–Möller versus Buchberger criteria
A Gebauer–Möller versus Buchberger criteria
As the reader can notice, our paper deals with Gröbner bases but we never talk about Buchberger algorithm and criteria. This appendix is devoted to explain the reasons of this choice in details.
The Lifting Theorem (Theorems 3 and 4) was originally implemented in most available softwares by Gebauer and Möller in the late eighties and formally described in [7]. Their approach, applied to ideals of the polynomial ring \({\mathbf {k}}[X_1,\ldots ,X_n]\) over a field \({\mathbf {k}}\), was proposing more efficient criteria than those proposed by Buchberger [2].
The survey [18] presented Buchberger Algorithm for the commutative polynomial ring \({\mathbf {k}}[X_1,\ldots ,X_n]\) and extended it for the free algebra \({\mathbf {k}}\langle X_1,\ldots ,X_n\rangle \) substituting the obsolete Buchberger Criteria with the more efficient criteria which were granted by Gebauer and Möller.
A formal statement of the Lifting Theorem was given by MöllerFootnote 6 [17] for polynomial rings \(R[X_1,\ldots ,X_n]\) over a PIR R and extended by Pritchard [29, 30] to the free algebra \(R\langle X_1,\ldots ,X_n\rangle \) over a PIR R.
In order to describe both Buchberger’s and Gebauer–Möller’s criteria, we need to introduce a further notation. Let us assume to have a finite sequence \(G {:}{=} \{g_1,\ldots , g_s\}\subset {\mathbf {k}}[X_1,\ldots ,X_n]\) of polynomials; let us further assume, without loss of generality, that \(\mathrm{lc}(g_1)=1\) for each i and define for each set \(\{i_1,\ldots ,i_j\} \subset \{1,\cdots , s\}\)
in particular, for \(i,j,k, 1 \le i,j,k \le s:\)
For each pair \(\{i,j\}, 1\le i < j\le s\) the related S-polynomial is \(S(i,j) {:}{=} \frac{{\mathbf{T}(i,j)}}{{\mathbf{T}(j)}} g_j - \frac{{\mathbf{T}(i,j)}}{{\mathbf{T}(i)}} g_i.\)
For each polynomial \(f\in {\mathbf {k}}[X_1,\ldots ,X_n]\), NF(f, G) denotes some normal form of f w.r.t. G.
Lemma 17
(Buchberger’s First Criterion)
Lemma 18
(Buchberger’s Second Criterion) For \(i,j, 1 \le i < j \le s\), if there is \(k, 1 \le k \le s\): \(\mathbf{T}(k) \mid \mathbf{T}(i,j),\) and \(NF(S(i,k), G) = NF(S(k,j), G) =0\) then also \(NF(S(i,j), G) =0\).
Lemma 19
(Möller) For each \(i,j,k : 1 \le i , j , k \le s\) it holds
Proof
One has
\(\square \)
If, in this equation relating three S-polynomials, at least one of the coefficients, say \(\frac{\mathbf{T}(i,j,k)}{ \mathbf{T}(i,j)}\), is 1, then the corresponding S-polynomial S(i, j) is a combination of the other two S-polynomials; therefore it is sufficient to prove that \(NF(S(i,k), G) = NF(S(k,j), G) =0\) in order to deduce that also \(NF(S(i,j), G) =0\). However, very often, all the three coefficients are constant and in order to avoid aporetic loops one must consider which one of the possible S-polynomials is to be considered as ‘useless’.
To do so, it is sufficient to impose on the set
any ordering \(\prec \), which is compatible with the term-ordering < on \({\mathcal {T}}\), i.e.
and choose as ‘useless’ the biggest element among the possible choices. We will therefore impose on \(\mathfrak {S}(s)\) the ordering \(\prec \) defined by
Let us assume that
therefore we have
There are now three possible cases according to the position of k:
- B:
-
: \(i< j < k\),
- M:
-
: \(i< k < j\),
- F:
-
: \(k< i < j\);
which behave as follows:
- B:
-
: since \((i,k) \prec (i,j)\) and \(k > j\) then \(\mathbf{T}(i,k) \ne \mathbf{T}(i,j)\); similarly
$$\begin{aligned} (j,k) \prec (i,j), k > j \,\Longrightarrow \,\mathbf{T}(j,k) \ne \mathbf{T}(i,j); \end{aligned}$$ - M:
-
: \((k,j) \prec (i,j), i < k \,\Longrightarrow \,\mathbf{T}(k,j) \ne \mathbf{T}(i,j)\);
- F:
-
: \(k< i < j\) then \(\mathbf{T}(k,j) = \mathbf{T}(i,j)\);
This simple remark yields
Corollary 20
(Buchberger’s Second Criterion (strong)) For \(i,j, 1 \le i < j \le s\), if there is \(k, 1 \le k \le s\) such that
- B:
-
\(i< j < k\), \(\mathbf{T}(k) \mid \mathbf{T}(i,j)\), \(\mathbf{T}(i,k) \ne \mathbf{T}(i,j) \ne \mathbf{T}(j,k)\) or
- M:
-
\(k < j\), \(\mathbf{T}(k,j) \mid \mathbf{T}(i,j) \ne \mathbf{T}(k,j)\) or
- F:
-
\(k< i < j\), \(\mathbf{T}(k,j) = \mathbf{T}(i,j),\)
then
If, moreover, \(NF(S(i,k), G) = NF(S(k,j), G) =0\) then also \(NF(S(i,j), G) =0\).
Since from the first implementations, it became clear that the bottleneck of Buchberger Algorithm was the efficiency of the normal form computations. This lead to Buchberger’s introduction of his criteria, to the informal notion of useless pairs and to investigate efficient strategies to apply Buchberger Criteria in order to detect useless pairs. As suggested by Buchberger, the most efficent way to apply his criteria required a ”fair strategy“Footnote 7 [28] and he suggested (and Gebauer–Möller followed his suggestion) to select each time a minimal pair with respect to the used term-ordering; but this transferred the bottleneck of Buchberger Algorithm to the management of the set of the pairs. The results of Lemma 19 and Corollary 20 allowed Gebauer–Möller to devise the algorithm of Fig. 1 which guarantees the needed management of the set of the pairs in B, disposing of the corresponding bottleneck. The general algorithm is inductively performed for each element \(g_i\in G, 1\le i\le s\) and allows to produce a Gebauer–Möller set for the input basis \(G=\{g_1,\ldots , g_s\}\) and allows to modify it anytime a new element is added to the basis.
The correctness of the procedure can be argued as follows:
-
The removal of elements from \(\mathfrak {G}\mathfrak{M}_*\) is a direct consequence of Buchberger Second Criterion.
-
For the generic element \(S(i,s), i < s\), denote \(\tau {:}{=} \mathbf{T}(i,s)\) and note that:
-
if there exists \(\tau '\in \mathsf{T}\) such that \(\mathbf{T}(i_{\tau '},s) = \tau ' \mid \mathbf{T}(i,s) \ne \tau '\), then since \(i_{\tau '} < s\), then the correctness follows from case M of Corollary 20
-
if \(i = i_\tau \) and \(\mathbf{T}(i_\tau )\mathbf{T}(s) = \mathbf{T}(i_\tau ,s)\), the correctness follows from Buchberger’s First Criterion;
-
if \(i = i_\tau \) and \(\mathbf{T}(i_\tau )\mathbf{T}(s) \ne \mathbf{T}(i_\tau ,s)\) then \(\{i_\tau ,s\}\in \mathfrak {G} \mathfrak{M}\);
-
if \(i \ne i_\tau \) then
$$\begin{aligned} S(i,s) = \frac{\mathbf{T}(i,i_\tau ,s)}{\mathbf{T}(i,i_\tau )} S(i,i_\tau ) + S(i_\tau ,s) \end{aligned}$$where \(S(i,i_\tau )\) has the required term-bounded representation in terms of \(\mathfrak {G} \mathfrak{M}_*\).
-
As it is stated in [4] where the Lifting Theorem was extended to effective rings over a PIR: it is well known that Buchberger test/completion is definitely superseded in each honest survey of Buchberger Theory and (what is more important) in all available implementations, by the test/completion based on the lifting theorem [17]: a generating set F is a Gröbner basis if and only if each element in a minimal basis of the syzygies among the leading monomials \(\{\mathbf{M}(f_{\alpha }) : f_{\alpha }\in F\}\) lifts, via Buchberger reduction, to a syzygy among the elements of F.
The point is that the lifting theorem allowed Gebauer–Möller [7, 8] to give more efficient criteria. Thus they detect at least as many “useless” pairs as Buchberger’s two criteria [2], but they do not need to verify whether a pair satisfies the conditions required by the Second Criterion and thus they avoid the consequent bottleneck needed for listing and ordering the S-pairs (in the commutative case they are \((\#F)^2\) while a careful informal analysis in that setting suggests that the S-pairs needed by Gebauer–Möller Criterion are \(n\#F\)). Moreover, the flexibility of Möller lifting theorem approach - with respect to Buchberger S-pair test - allows the former to extend Buchberger theory verbatim at least to (non commutative) monoid rings over PIRs.
This drastic statement was supported by a careful analysis performed by the senior author and reported in a course given in Bangalore in 2010 [25, 26] (see also [24, II Ex.25.2.1]) of a non trivial case-study, where the computation of the Gröbner basis of the ideal of 3 binomials \(\{g_1,g_2,g_3\}\in {\mathbf {k}}[X,Y,Z,W,V]\) in 5 variables under the lexicographical ordering < induced by \(X<Y<Z<Y<U\) produce the following sequence of polynomials:
the required basis being thus \(\{g_1,g_2,g_3,g_4,g_9,g_{11},g_{12}\}.\)
The results of these analysis is reported in the following table
Buchberger | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | # |
---|---|---|---|---|---|---|---|---|---|---|---|---|
useful | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |||
First Criterion | 5 | 15 | 16 | 24 | ||||||||
Second Criterion | 2 | 3 | 4 | 5 | 6 | 11 | ||||||
useless | 1 | 2 | 6 | 9 | 11 | 17 | ||||||
old S-pairs | 2 | 1 | 4 | 6 | 11 | 15 | 12 | 7 | 12 | 0 | ||
actual S-pairs | 5 | 5 | 9 | 12 | 18 | 23 | 21 | 17 | 23 |
Gebauer–Möller | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | # |
---|---|---|---|---|---|---|---|---|---|---|---|---|
useful | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |||
redundant | 1 | 3 | ||||||||||
useless | 1 | 2 | 3 | 7 | 10 | 12 | 18 | |||||
old S-pairs | 0 | 1 | 1 | 3 | 4 | 5 | 4 | 3 | 0 | 2 | 0 | |
actual S-pairs | 0 | 2 | 3 | 4 | 6 | 6 | 7 | 8 | 6 | 5 | 6 |
where, at each \(s{th}\) iterative loop:
-
for both algorithms
-
useful records the number of pairs computed and producing a new element up to that loop; obviously in each loop the value increases by 1;
-
useless records the number of pairs computed and reduced to 0 up to that loop; we have decided to write a value only if at that loop a computation is performed;
-
old S-pairs records the number of pairs present in the list when the new element \(g_s\) is added to the basis;
-
actual S-pairs records the number of pairs present in the list after the inclusion of the necessary S-pairs (i, s); of course, for Buchberger Algorithm, the difference between actual S-pairs and old S-pairs is \(s-1\);
-
the last column, marked #, records all the data including the pairs dealt after the last basis element is computed and the final verification that the output basis is Gröbner.
-
-
For Buchberger Algorithm
-
First Criterion and Second Criterion record the number of pairs removed up to that loop by applyng the Criterion; we have decided to write a value only if at that loop a new application occurs.
-
-
For Gebauer–Möller
-
redundant records the number of pairs up to that loop removed from \(\mathfrak {G} \mathfrak{M}_*\) as a direct consequence of Buchberger Second Criterion.
-
What is relevant is that both algorithms compute in the same ordering the same “useful” S-pair producing the same polynomial; the difference is based on the pair storage: Buchberger criteria approach requires to store up to 23 elements, while the Gebauer–Möller set approach stores at most 8 elements while Buchberger criteria approach stores always at least 8 elements after the third loop introducting \(g_6\).
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ceria, M., Mora, F. De Nugis Groebnerialium 6: Rump, Ufnarovski, Zacharias. AAECC 33, 725–749 (2022). https://doi.org/10.1007/s00200-022-00583-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-022-00583-2