Projection on Cartesian Product of Modules

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $G$ be the cartesian product of a sequence $\sequence {G_n}$ of $R$-modules.


Then for each $j \in \closedint 1 n$, the projection $\pr_j$ on the $j$th co-ordinate is an epimorphism from $G$ onto $G_j$.


Proof


Sources