Bourbaki

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 Z\mathbf{Z}. Then for every ring homomorphism ρ:A→B\rho : A \to B, the graded B-algebra ρ∗(E)\rho^*(E) (no. 8, Remark 2) is anticommutative (resp. alternating).

The ring B with the trivial graduation can be considered as an alternating A-algebra and ρ∗(E)=Eg⊗AB\rho^*(E) = E^g \otimes_A B, 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.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.