The arithmetic ring and the Kummer ring of a commutative ring (Q1094473)

Soient X,Y,Z des foncteurs de la catégorie des anneaux commutatifs dans la catégorie des \({\mathbb{Z}}\)-modules. On suppose que pour tout anneau commutatif R il y a une application \({\mathbb{Z}}\)-bilinéaire \(\psi_ R: X(R)\times Y(R)\to Z(R)\) qui est fonctorielle dans R. Alors sur l'ensemble \({\mathbb{Z}}\times X(R)\times Y(R)\times Z(R)\) l'A. definit deux structures d'anneaux commutatifs en utilisant l'application \(\psi_ R\). Avec une de cette structures sont construits l'anneau de Kummer K(R) et l'anneau arithmetique A(R) de l'anneau R.