Algebra abstrakcyjna/Homomorfizmy: Różnice pomiędzy wersjami

Niech <math>(G,*)</math> i <math>(H,o)</math> będą grupami. Odwzorowanie <math>f: G →\to H</math> nazywamy:

a) homomorfizmem, jeśli <math>f</math> zachowuje działanie grupowe, to znaczy <math>f(a*b) = f(a) o f(b)</math> dla dowolnych <math>a,b \inGin G</math>,

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

c) epimorfizmem, jeśli <math>f</math> jest homomorfizmem i jest suriekcją,

d) izomorfizmem, jeśli <math>f</math> jest homomorfizmem i jest bijekcją.