Aufgabe:
Es sei A eine abelsche Gruppe und B ≤ A. Weiters sei f:A -> A' ein Homomorphismus von abelschen Gruppen. Man bezeichnet Af bzw. Af den Kern und das Bild von f mit Bf und Bf den Kern und das Bild von f|B. Zeigen Sie, dass dann gilt:
[A:B] = [Af : Bf] [Af : Bf]
Problem/Ansatz:
Also für endliche Gruppen konnte ich das ganze über den Satz von Lagrance und einem Isomorphismus von G/ker(f) -> img(f) bereits zeigen (hoffe ich zumindest O.o). Nun funktioniert dieser Ansatz aber für unendliche Gruppen natürlich nicht da der Satz von Lagrance ja nur für endliche Gruppen gilt. Dann fehlt es mir aber im Moment leider an einem plausiblen Ansatz wie ich das ganze dann zeigen kann :/ Ein Tipp wäre toll!
