On the two definitions of degree of a function over an associative, commutative ring | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2017. № 37. DOI: 10.17223/20710410/37/1

Let R be an associative, commutative ring and let (: R^m ^ R, where m ^ 0. Denote by deg_n ( the smallest integer n ^ -1 such that ( can be represented by an m-variate polynomial of degree n over R. (By convention, the degree of the zero polynomial is -1.) Also, let deg_RM ( denote the smallest integer n ^ -1 such that d_v1 ... d_Vn+1 ( = = 0 for all v\,... ,v_n+\ £ R^m. Here (d_vф)(х) = ф(х + v) - ф(х) for any v,x £ R^m and any function ф: R^m ^ R. If no such integer n exists, then we put deg_n ( = то or deg_RM ( = то, respectively. In this paper, we study the problem of characterizing the class D of all associative, commutative rings R such that these degrees coincide for functions over R, i.e., deg_n ( = deg_RM ( for all m ^ 0 and all functions (: R^m ^ R. We solve this problem when the additive group R of the ring R belongs to some large classes of abelian groups. Namely, our main results are as follows: 1) if R is torsion or finitely generated, then R £ D if and only if R = Z/dZ for some square-free integer d ^ 1; 2) if R is not reduced, then R £ D if and only if R = (Z/dZ) ф Q for some square-free integer d ^ 1; 3) if R is a direct sum of rank 1 subgroups, then R £ D if and only if R = Z/dZ or R = (Z/dZ) ф Q for some square-free integer d ^ 1; 4) if R is reduced and cotorsion, then R £ D if and only if R = П (Z/pZ) for some set P of peP prime numbers. The proof of these results is based on the fact that any ring in D is an E-ring.