Fang an mit der Abgeschlossenheit.
Für je zwei Elemente g und h aus G x H muss du zeigen
g * h ist wieder in G x H.
Seien also g und h aus G x H
==> Es gibt g1 und h1 aus G und g2 und h2 aus H mit
g=(g1,h1) und h=(g2,h2) .
Nach Def. von * gilt also g*h= ( g1 *1 h1 , g2 *2 h2 ),
wobei *1 und *2 ja die Verknüpfungen in den Gruppen G und H
bezeichnen. Da G abgeschlossen ist ( ist ja ne Gruppe)
ist g1 *1 h1 ∈ G und entsprechend g2 *2 h2 ∈ H ,
also g*h ∈ G x H.
So ähnlich musst du für die anderen Gruppenaxiome auch
argumentieren.
Findest du in der Art auch da
https://www.mathelounge.de/542647/seien-gruppen-wir-definieren-menge-eine-verknupfung-durch