
Gruppenhomomorphismus wurde schon nachgewiesen und die Bijektivität wurde so:

nachgewiesen, ich habe das mal als Latexform abgetippt.
Nun ist aber das Problem, mir hat eben einer gesagt, es genügt nicht eifnach die Umkehrfunktion zu nehmen und zu sagen, dass es Bijektiv ist und es reicht auch nicht, wenn ich zeige, wie hier, das f o f^-1 = id ist, aber genau das hat der Dozent gemacht, warum hat das hier gereicht, um die Bijektivität nachzuweisen?
Besser wäre es, wenn man zuerst $\phi^{-1}$ definiert und dann diese Eigenschaften nachweist. Wie der Dozent es gemacht hat ist der Weg, wie man darauf kommt, dass die Umkehrabbildung so aussieht (rumrechnen und dann aha, so klappt es). Aufschreiben tut man es dann nachher aber meist andersrum. ─ mikn 28.11.2022 um 12:58