On infinite Gröbner bases in free algebras
It is found a Gröbner (in other terminology Gröbner-Shirshov) basis of any associative algebra over a field with 2 generators \(x,y\) and one defining quadratic relation \(ax^2+bxy+cyx+dy^2=0\), where \(a,b,c,d\) are not zero.
scientific article; zbMATH DE number 1251208