Equationally definable functors and polynomial mappings (Q1120003)

Given two modules M, N over a commutative ring R, there are many more mappings from M to N that satisfy algebraic equations than just the homomorphisms. In the author's terminology a map functor is a subfunctor of the functor Map: R-Mod\({}^ 0\times R\)-Mod\(\to R\)-Mod of all mappings. A map functor A is equationally definable if each \(f\in {\mathcal A}(M,N)\) satisfies a condition of the form \(\sum r_{ij} f(\sum s_{ijk} x_ k)=0\), for some fixed \(r_{ij}\), \(s_{ijk}\in R\). Equationally defined functors are characterized in various ways and they are used to the further study of the functor \({\tilde \Gamma}{}^ m\) already studied by the author in Fundam. Math. 98, 219-229 (1978; Zbl 0388.18003), Bull. Soc. Math. Fr., Suppl., Mém. 59, 125-129 (1979; Zbl 0443.18003) and Fundam. Math. 122, 219-235 (1984; Zbl 0572.18005)].