A ring is a set R with two binary operations usually called addition, denoted as +, and multiplication, denoted as ·, such that (R, +) satisfies the five axioms of closure, associativity, commutativity, identity element (called zero, 0), and inverse element; and (R, ·) satisfies the three axioms of closure, associativity, and identity element (called one, 1). Furthermore, multiplication (·) dis...

The aim of the paper is to extend the class of generalized Weyl algebras to a larger class of rings (they are also called generalized Weyl algebras) that are determined by two ring endomorphisms rather than one as in the case of ‘old’ GWAs. A new class of rings, the diskew polynomial rings, is introduced that is closely related to GWAs (they are GWAs under a mild condition). The, so-called, amb...

We define reduced Gröbner bases in polynomial rings over a polynomial ring and introduce an algorithm for computing them. There exist some algorithms for computing Gröbner bases in polynomial rings over a polynomial ring. However, we cannot obtain the reduced Gröbner bases by these algorithms. In this paper we propose a new notion of reduced Gröbner bases in polynomial rings over a polynomial r...