Gruppenhomomorphismus/Kern ist Untergruppe/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wegen ist . Seien . Dann ist

und daher ist auch . Der Kern ist also ein Untermonoid. Sei nun und betrachte das inverse Element . Nach Fakt ist

also auch .

Zur bewiesenen Aussage