The concept of algebraic simpliication is of great importance for the eld of symbolic computation in computer algebra. In this paper we review some fundamental concepts concerning reduction rings in the spirit of Buchberger. The most important properties of reduction rings are presented. The techniques for presenting monoids or groups by string rewriting systems are used to deene several types ...

Combinatorial commutative algebra is a branch of combinatorics, discrete geometry, and commutative algebra. On the one hand, problems from combinatorics or discrete geometry are studied using techniques from commutative algebra; on the other hand, questions in combinatorics motivated various results in commutative algebra. Since the fundamental papers of Stanley (see [13] for the results) and H...

Are all finitely generated projective k[t1, . . . , td]-modules free for an arbitrary field k and arbitrary d ∈ N? This question, set in Serre’s famous paper FAC in 1955, inspired an enormous activity of algebraists worldwide. The activity culminated in two independent confirmations of the question in 1976 by Quillen and Suslin. In the meanwhile the algebraic K-theory was created, in which one ...

A graph monoid is a commutative monoid for which there is a particularly simple presentation, given in terms of a quiver. Such monoids are known to satisfy various nonstable K-theoretical representability properties for either von Neumann regular rings or C*-algebras. We give a characterization of graph monoids within finitely generated antisymmetric refinement monoids. This characterization is...

Let $R= \oplus_{ \alpha \in G} R_{\alpha}$ be a commutative ring with unity graded by an arbitrary grading monoid $G$. For each positive integer, the notions of graded-n-coherent module and are introduced. In this paper many results generalized from $n$-coherent rings to graded-$n$-coherent rings. last section, we provide necessary sufficient conditions for trivial extension graded-valuation ri...

A rst explicit connection between nitely presented commutative monoids and ideals in polynomial rings was used 1958 by Emelichev yielding a solution to the word problem in commutative monoids by deciding the ideal membership problem. The aim of this paper is to show in a similar fashion how congruences on monoids and groups can be characterized by ideals in respective monoid and group rings. Th...

An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.