Ich muss zeigen, dass für 2 abelsche Gruppen G1 und G2 gilt:
(G1xG2)/G1x{eG2 } isomorph zu G2 ist:
Ich habe mir nun eine coole Abbildung gebastelt:
φ: G1xG2 -> G2 (a,b) -> b
dass phi Grphomo ist ist offensichtlich, das war nicht mein problem^^
Der Kern(φ)=G1x{eG2 } dann passt das jetzt wudnerbar i ndas Kommutative diagramm, nur feht für den vollständigen beweis noch was oder?