Tia bildigo inter du
samspecaj strukturoj, ke
ĝi iasence „respektas“ ilin. Pli
precize, se oni signas la strukturojn per
(E,∆1,∆2,
...,∆n) kaj
(F,∇1,∇2,
...,∇n),
la bildigo f estas tia, ke:
(1) por ĉiu duopo de
internaj operacioj∆i kaj
∇i veras, ke
f(x∆iy) =
f(x)∇if(y),
kiuj ajn estas x, y∈E;
(2) por ĉiu duopo de
eksteraj operacioj∆k kaj
∇k (de la sama aro
R super respektive E
kaj F) veras, ke
f(α∆kx) =
α∇kf(x),
kiuj ajn estas x∈E
kaj α∈R:
grupa, ringa, modula, vektor(spac)a homomorfio;
la bildo per grupa homomorfio de la neŭtra elemento de
la fonto-aro estas la neŭtra elemento de la celo-aro.
izomorfio,
endomorfio,
aŭtomorfio;
lineara;
Atributoj de homomorfio:
bildaro,
kerno;
atributoj de vektora homomorfio:
matrico,
rango.
homomorfia
1.
(p.p. du algebraj
strukturoj)
Tiaj, ke ekzistas homomorfio de unu al la
alia:
pruvu la homomorfiecon de la grupo de ebenaj
rotacioj kun la grupo de
kompleksoj kun modulo unu.
Rim.:
Por ĉi tiu senco ekzistas kutima sinonimo „homomorfa“.