Non-commutative Gröbner bases under composition
Polynomial composition is the operation of replacing the variables in a polynomial with other polynomials. In this paper we give sufficient and necessary conditions on a set $Theta$ of noncommutative polynomials to assure that the set $G circ Theta$ of composed polynomials is a Gröbner basis in the free associative algebra whenever $G$ is. The subject was initiated by H. Hong, who treated the comm