Non-commutative reduction rings

Reduction relations are means to express congruences on rings. In the special case of congruences induced by ideals in commutative polynomial rings, the powerful tool of Grabner bases can be characterized by properties of reduction relations associated with ideal bases. Hence, reduction rings can be...