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 our talk, we will present a new non-commutative shape lemma that does not require this assumption. Joint work with Gleb Pogudin.

Occasion: Online Kolchin seminar, November 7, 2025

Documents: slideshow, TeXmacs source