Definition talk:Direct Product of Group Homomorphisms

From ProofWiki
Jump to navigation Jump to search

Is this really how it is denoted in the source? More common is $\left\langle{f_1, f_2}\right\rangle$, while $f_1 \times f_2$ would be associated to $G \times G \to H_1 \times H_2$. See Definition:Product of Morphisms and Definition:Binary Product (Category Theory). --Lord_Farin (talk) 11:20, 8 February 2013 (UTC)

Yes, this is precisely as it is defined, although with different letters. I believe it's an extension of the Definition:Set Product concept. --prime mover (talk) 23:01, 8 February 2013 (UTC)