The set of non-negative integer numbers, integer numbers and rational numbers
are denoted respectively
,
and
, as usual.
For an integer
the set of the multiples of
(all of them:
positive, null or negative) is denoted by
.
For an integer
the residue class ring of the binary relation
is denoted by
, as usual.
For a ring
, we denote by
the ring of univariate polynomials
in
with coefficients in
.

*Marc Moreno Maza *

2008-01-31