On theS-operation in polynomial rings
Miroslav Kureš · Journal of Discrete Mathematical Sciences and Cryptography · 2013
S-polynomials used in the Buchberger's algorithm for Gröbner basis, are introduced in a more general situation. For polynomials viewed as mappings from a monoid to a ring, we define the S-operation and derive its properties. We also demonstrate its application on polynomials on a ring which is not a field.