Remark

Tag 061J, permanent. Cite it as [Bourbaki, Tag 061J].

Suppose that $E$ is a graded $A$ -algebra of type $\mathbf{Z}$ , with graduation $(E_n)$ , and suppose also that

f(M) \subset E_1.

Then it follows from (2) that

g(T^p(M)) \subset E_p

for all

p \geq 0

and hence

g

is a graded algebra homomorphism.

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

Cited by

Nothing.

Nothing.