Exercise 6, § 5

Tag 006D, permanent. Cite it as [Bourbaki, Tag 006D].

Algebra, VIII, p. 91

Let $(A_i)_{i\in I}$ be a family of rings and A be its product. Prove that the A-module $\bigoplus A_i$ is projective and faithful. Is it always generating?