Projections

If you have $A\times B$ then there is always a homomorphism from $A\times B\to A$ and $A\times B\to B$

f((x,y)) = x