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 seen as rings with reduction relations associated to subsets of the ring such that every finitely generated ideal has a finite Gröbner basis. This paper gives an axiomatic framework for studying reduction rings including non-commutative rings and explores when and how the property of being a reduction ring is preserved by standard ring constructions such as quotients and sums of reduction rings, as well as extensions to polynomial and monoid rings over reduction rings. Moreover, it is outlined when such reduction rings are effective

• Autores: Madlener, Klaus; Reinert, Birgit
• Tipo de recurso: Article of journal
• Fecha de publicación: 1999
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: spa
• OAI Identifier: oai:repositorio.unal.edu.co:unal/43726
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/43726; http://bdigital.unal.edu.co/33824/
• Palabra clave: Reduction rings; Gröbner bases; non-commutative rings; standard ring constructions
• Rights: openAccess
• License: Atribución-NoComercial 4.0 Internacional