Z Wikibooks, biblioteki wolnych podręczników.

[edytuj] Homomorfizmy grup

Niech (G,*) i (H,o) będą grupami. Odwzorowanie f: G → H nazywamy:

a) homomorfizmem, jeśli f zachowuje działanie grupowe, to znaczy f(a*b) = f(a) o f(b) dla dowolnych a,b?G,

b) monomorfizmem lub zanurzeniem, jeśli f jest homomorfizmem różnowartościowym,

c) epimorfizmem, jeśli f jest homomorfizmem i jest sueirkcją,

d) izomorfizmem, jeśli f jest homomorfizmem i jest bijekcją,

e) endomorfizmem, jeśli G = H,

f) automorfizmem, jeśli f jest izomorfizmem i endomorfizmem.