Sociedad Colombiana de Matemáticas:Publicaciones
Revista Colombiana de Matemáticas
Volumen 33 [1] (1999)Páginas 27-49

Non-commutative reduction rings

Klaus Madlener

Birgit Reinert
Universität Kaiserslautern, Germany

Abstract. 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 Gröbner 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.

Palabras claves. Reduction rings, Gröbner bases, non-commutative rings, standard ring constructions.

Codigo AMS. 1991 Primary 68Q40. Secondary 12Y05, 68Q42, 13P10.

Archivo completo : Formato [PDF] (314 K). Formato [DVI] (64 K).