Ich schreib mal + und * für die Verknüpfungen in den beiden Gruppen.
Wende ein Untergruppenkriterium auf φ(A) an:
1. Neutrales El. eB von B ist in φ(A)
Da φ ein Gruppenhomomorphismus ist, gilt φ(eA)=eB
==> φ(eA)=eB∈φ(A).
2. Abgeschlossenheit: Seien x,y∈φ(A). Dann muss man zeigen, dass x*y
auch in φ(A) ist.
Wegen x,y∈φ(A) gibt es u und v aus A mit
φ(u)=x und φ(v)=y
Wegen der Abgeschlossenheit von A ist auch u+v in A und es
gilt (wegen Hom.) φ(u+v)=φ(u)∗φ(u)=x∗y
Also gibt es ein Element in A (nämlich u+v) dessen Bild x*y ist,
also x∗y∈φ(A).
mit φ(x−1)=φ(x)−1 zeigst du auch, dass zu jedem
y∈φ(A) auch y−1∈φ(A).