7.6.2 Groebner bases for two-sided ideals in free associative algebras
Hence the notions like a leading monomial and a leading coefficient transfer to this situation.
We say that a monomial
divides monomial
, if there exist monomials
In other words
is a proper subword of
.
|