Bonjour,
J'y vais aussi d'un exercice en lien avec ce que je fais.
Soit A un anneau intègre. On considère un morphisme
donné par où Q est une série formelle à deux variable sans termes de degrés 0 ou 1.
Montrer que tout morphisme A - linéaire (de module) vérifiant
et
où p est le morphisme A linéaire donné par et
est le morphisme A linéaire donné par
(donc montrer que f)
s'identifie à l'inclusion naturelle de A dans , i.e.