Category:Projection is Epimorphism

This category contains pages concerning Projection is Epimorphism:

Let $\struct {\SS, \circ}$ be the external direct product of the algebraic structures $\struct {S_1, \circ_1}$ and $\struct {S_2, \circ_2}$.

Then:

$\pr_1$ is an epimorphism from $\struct {\SS, \circ}$ to $\struct {S_1, \circ_1}$

$\pr_2$ is an epimorphism from $\struct {\SS, \circ}$ to $\struct {S_2, \circ_2}$

where $\pr_1$ and $\pr_2$ are the first and second projection respectively of $\struct {\SS, \circ}$.