Hallo,

im Kern befinden sich alle Elemente, die durch eine Abbildung auf das neutrale Element abgebildet werden.

Nun haben wir einen Gruppenhomomorphismus \( \varphi : (G, \cdot) \to (H, * ) \), das bedeutet mit \(g \in G\)

\( \varphi(g_1 \cdot g_2) = \varphi(g_1) * \varphi(g_2) \)

Im Kern befinden alle Elemente für die gilt \( \varphi(g) = e_H \). 

Als letztes noch zu algebraischen Strukturen. Eine algebraische Struktur ist in erster Linie die Kombination einer Menge und einer Verknüpfung (bzw. einer Familie von Verknüpfungen) wie beispielsweise eine Gruppe. 

Jetzt überlege dir folgendes. Besitzt der Kern Elemente aus \( G \) oder aus \( H \)? Damit aus dem Kern eine algebraische Struktur wird, benötigen wir noch eine Verknüpfung. Welche wird übernommen vom Kern?
Ist der Kern mit dieser Verknüpfung noch eine Gruppe oder eine andere kennengelernte Struktur (Ring, Monoid, Halbgruppe, etc)?

Grüße Christian