zu a) Seien (G, ◦G), (H, ◦H) und (L, ◦L) Gruppen und φ : G → H und ψ : H → L zwei Gruppenhomomorphismen.
Seien g1, g2 ∈ G.
Seien h1, h2 ∈ H mit φ(g1) = h1 und φ(g2) = h2.
Seien k1, k2 ∈ L mit ψ(h1) = k1 und ψ(h2) = k2.
Begründe, dass ψ(φ(g1 ◦G g2)) = ψ(φ(g1)) ◦L ψ(φ(g2)) ist.
zu b) Sei (G, ◦) eine Gruppe.
Sei id: G → G mit g ↦ g für alle g ∈ G.
Zeige, dass id(φ(g)) = φ(g) für jedes φ ∈ Aut(G) und jedes g ∈ G gilt. Dann wäre id neutral bezüglich der Komposition. Zeige auch, dass id ∈ Aut(G) ist.
Zeige, dass φ((ψ◦ξ)(g))) = (φ◦ψ)(ξ(g)) für alle φ, ψ, ξ ∈ Aut(G) und jedes g ∈ G ist. Dann wäre die Komposition assoziativ.
Sei φ ∈ Aut(G). Sei φ-1: G → G eine Abbildung, so dass φ-1(φ(g)) = g für jedes g ∈ G ist. Begründe, dass φ-1 existiert und dass φ-1 ∈ Aut(G) ist.