De nugis Groebnerialium 6: Rump, Ufnarovski, Zacharias (Q2100111)

The motivating questions for this work are related to the so-called Rump ideal. Let \(\mathbb{Z}\langle q,q',p\rangle\) denote the ring with the generators \(p,q,q'\) subject to the relations \(qq'=q'q=1\) and \(pq-qp=p^2\). Wolfgang Rump asked the following questions: is \(q+p\) invertible in this ring, and does \(px=0\) imply \(x=0\)? They led the authors to study the Rump ideal \(I(p^2-pq+qp)\subset\mathbb{Z}\langle q,q^{-1},p\rangle\), which turns out to be an ``illuminating example of the potential power of Zacharias representation'', as the authors put it. More precisely, they provide a Gröbner basis for the Rump ideal and the related Zacharias representation of \(\mathbb{Z}\langle q,q^{-1},p\rangle/I(p^2-pq+qp)\). On the way, they encounter several Ufnarovski-like sequences, thereby justifying the choice of the title. The paper ends with a comparison of two algorithms for computing the Gröbner basis, namely Buchberger and Gebauer-Möller. A detailed analysis is presented how the different criteria influence the number of required S-pairs.