Corollary
Tag 061D, permanent. Cite it as [Bourbaki, Tag 061D].
Algebra, chapter III, § 4. Tensor products of algebras
Let E be an anticommutative (resp. alternating) *graded A-algebra of type . Then for every ring homomorphism , the graded B-algebra (no. 8, Remark 2) is anticommutative (resp. alternating).
The ring B with the trivial graduation can be considered as an alternating A-algebra and , hence Proposition 14 can be applied.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.