Z Wikibooks, biblioteki wolnych podręczników.

[edytuj] Homomorfizmy

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 suriekcją,

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