Recently, Kauers, Koutschan, and Verron proved a non-commutative version of the classical shape lemma in the theory of Gröbner bases. Their result requires the ideal to be D-radical. In this note, we prove a new non-commutative shape lemma that does not require this assumption.

Authors: Joris van der Hoeven, Gleb Pogudin

View: Html, TeXmacs, Pdf, BibTeX