Quadratic maps between modules

الأصل · EN

We introduce a notion of R-quadratic maps between modules over a commutative ring R which generalizes several classical notions arising in linear algebra and group theory. On a given module M such maps are represented by R-linear maps on a certain module P²ᵣ(M). The structure of this module is described in term of the symmetric tensor square Sym²ᵣ(M), the degree 2 component Γ²ᵣ(M) of the divided power algebra over M, and the ideal I₂ of R generated by the elements r²-r, r∈ R. The latter is shown to represent quadratic derivations on R which arise in the theory of modules over square rings. This allows to extend the classical notion of nilpotent R-group of class 2 with coefficients in a 2-binomial ring R to any ring R. We provide a functorial presentation of I₂ and several exact sequences embedding the modules P²ᵣ(M) and Γ²ᵣ(M).