„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
a →Definíció: apróság |
|||
10. sor:
Legyen adott két struktúra <math>(A,R_1,R_2,\ldots,R_n)</math> és <math>(A,R'_1,R'_2,\ldots,R'_n)</math>. Ekkor
:<math> \Phi:A\rightarrow B </math>
* Ha <math>\Phi</math> bijekció, és inverze is homomorfizmus, [[izomorfizmus]], és ekkor azt mondjuk ''A'' és ''B'' izomorfak, jelben: <math>A\cong B</math>. Ez igen fontos algebrai reláció, ugyanis az izomorf struktúrák algebrai szemszögből nézve ugyanolyanok, ''per definitionem'' úgyanúgy kell bennük számolni.
* Ha <math>\Phi</math> szürjektív, [[Epimorfizmus|epimorfizmus]], ekkor ''B'' homomorf képe ''A''-nak.
|