Ciekawe dowody na to, że jądro jest podgrupą w G, a obraz jest podgrupą w G'

f: G -> G'

Funkcja musi być bijekcją (i nawet surjekcją), ale zawsze można ograniczyć się tylko do rozpatrzenia obrazu f zawierającego się w G', który jest podgrupą w G'.
Żeby to udowodnić korzystamy z tego, że każdy homomorfizm "przeprowadza" 1 na 1 i element odwrotny na element odwrotny

f(e) ʘ f(e) = f(e e)=
Meissner utrzymuje uparcie, po swoim kilkunastoletnim zajmowaniu się teorią strun, że matematyka jest 3 dekady opóźniona w stosunku do fizyki. Podejrzewam że rzeczowej polemiki wprost z tym stwierdzeniem nie znajdę, za to w ramach rozrywki polecam fajny beef między Meissnerem i Bajtlikiem (Demiański tylko otwiera)

https://www.youtube.com/watch?v=MC-NA3IrAVI

#matematyka #fizyka #kosmologia #filozofia