g: U → V und f: V → W
, wenn f ein Homomorphismus, aber kein Monomorphismus ist,
dann gibt es u.v ∈ V mit u≠v aber f(u) = f(v) .
Da g surjektiv ist, gibt es x,y∈U mit g(x)=u und g(y)=v
und weil u≠v gilt auch x≠y .
Und es ist (fog)(x)= f(g(x)=f(u)
und (fog)(y)= f(g(y)=f(v) = f(u) .
Also gibt es zwei verschiedene Elemente x,y∈U
mit (fog)(x) = (fog)(y) , somit ist
fog kein Monomorphismus.