„Homomorfizmus” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
8. sor:
==Definíció==
Legyen adott két struktúra <math>(A,R_1,R_2,\ldots,R_n)</math> és <math>(
:<math> \Phi:A\rightarrow B </math>
homomorfizmus, ha valamely <math>(a_1,\ldots,a_k)\in R_i</math>, akkor <math>(\Phi a_1,\ldots,\Phi a_k)\in R'_i</math>, azaz, ha az ''A'' struktúrában valamely elemek közt valamilyen [[reláció]] áll fenn, akkor ezen elemeik képei a ''B'' struktúrában is a megfelelő relációban állnak. Az alap és a képhalmaz viszonyát fejezik ki a következő elnevezések:
|