Show that fiber products exist in the category of abelian groups. In fact, If $X, Y$ are abelian groups with homomorphisms $f: X \to Z$ and $g: Y \to Z$ show that $X \times_z Y$ is the set of all pairs $(x, y)$ with $x \in X$ and $y \in Y$ such that $f(x) = g(y)$.
Show that fiber products exist in the category of abelian groups.
0
$\begingroup$
abstract-algebra
category-theory
abelian-groups
-
0What have you tried so far? Can you prove that $X \times_Z Y$ as defined in the last sentence has maps to $X$ and $Y$ so that the appropriate square from the definition commutes? That's the start to your problem; after that, you can deal with the universal property. – 2012-04-20
-
0Since you are *told* one group that will work as a fiber product, what you really need to do is show that the given set/group has the universal property property of the fiber product. – 2012-04-20
-
5This is exercise 50(a) in chapter 1 of Lang's *Algebra*, verbatim. – 2012-04-20