In this paper we present a right version of the Buchberger algorithm over skew Poincaré-Birkhoff-Witt extensions (skew PBW for short) defined by Gallego and Lezama [5]. This is an adaptation left case given in [3]. particular, developed division from built Grbner bases theory bijective extensions. The algorithms were implemented SPBWE library Maple, includes application these to membership prob...

In this paper, we discuss some open problems of non-commutative algebra and algebraic geometry from the approach skew PBW extensions semi-graded rings. More exactly, will analyze isomorphism arising in investigation Gelfand–Kirillov conjecture about commutation between center total ring fractions an Ore domain. The Serre’s be discussed for a particular class extensions. questions Noetherianity ...