Remark 2

Tag 06F1, permanent. Cite it as [Bourbaki, Tag 06F1].

Let $\rho : A \to B$ be a ring homomorphism. Def. / implies directly the formula

\operatorname{res}_{p,q}(\rho f, \rho g) = \rho(\operatorname{res}_{p,q}(f, g)) .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.