Homomorfism

**Homomorfism** on kujutus ühest algebralisest struktuurist teise sama tüüpi struktuuri, kus säilivad vaadeldavad tehted ja/või seosed.

## Definitsioon ja selgitus
Matemaatikas tähendab homomorfism sama tüüpi algebraliste struktuuride vahelist niisugust kujutust, mille puhul vaadeldavad operatsioonid säilivad.

Näiteks, kui on antud hulk *X* osalise järjestusega  *Y* hulgast *X* hulka *Y* on homomorfism kui
: kui&nbsp;&nbsp;&nbsp; *u*&nbsp; *Y* defineerib algebraliste struktuuride ekvivalentsiseose ehk kongruentsi ~ algebralisel struktuuril *X*: 
:*a*&nbsp;~ *b* parajasti siis, kui *f*(*a*)&nbsp;= *f*(*b*). 
Kongruentsi ~ nimetatakse homomorfismi *f* tuumaks. Vastaval faktorhulgal *X*/~, mida nimetatakse *X* faktoralgebraks kongruentsi ~ järgi, saab loomulikul viisil anda algebra struktuuri, näiteks [*x*]&nbsp;* [*y*]&nbsp;&nbsp;= [*x* * *y*]. Tänu viimasele on algebra *X* kujutis algebras *Y* isomorfne algebraga *X*/~. See tõik on üks isomorfismiteoreemidest.

Teatud juhtudel (näiteks rühmade ja ringide puhul) piisab faktoralgebra määramiseks ühestainsast ekvivalentsiklassist *K*. Sel juhul tähistatakse seda faktoralgebrat *X*/*K* ja homomorfismi tuumaks mitte kongruentsi ~, vaid ekvivalentsiklassi *K*.

## Universaalalgebrate homomorfismid
### Definitsioon
Olgu *A*= ja *B*= sama signatuuriga universaalalgebrad ning *h* : A → B funktsioon, mis kujutab hulga A hulka B. Olgu i=1,...,n korral a(i) tehete f(i) ja g(i) aarsus (need aarsused peavad olema võrdsed, sest algebratel *A* ja *B* on sama signatuur). Siis *h* on algebra *A* **homomorfism** algebrasse *B*, kui iga i=1,...,n korral ja hulga A elementide iga a(i)-korteeži (x(1),...,x(a(i))) korral kehtib võrdus (f(i)(x(1),...,x(a(i))))=g(i)(*h*(x(1)),...,h(x(a(i)))). See tähendab, et iga i=1,...,n korral kujutab kujutus *h* tehte f(i) tehteks g(i).

### Näited
#### Näide 1
Olgu *G*= ja *H*= Abeli rühmad ja *h* : G → H. Eeldame, et kõikide *a*, *b* korral rühmast G kehtib võrdus *h* (*a* + *b*) = *h*(*a*) +&prime; *h*(b). Siis *h* on rühma G homomorfism rühma H. Tõepoolest, eelduse põhjal võib öelda, et *h* kujutab rühmatehte + rühmatehteks +&prime;. Peale selle on kerge näidata, et *h* kujutab rühma G rühmatehte Ühikelemendi 0 rühma H rühmatehte ühikelemendiks 0&prime;, nii et kehtib võrdus *h*(0) = 0&prime;. Analoogiliselt on kerge näidata, et iga *a* ∈ G korral kehtib *h*(&ndash;*a*) = &ndash;&prime; *h*(*a*).

#### Näide 2
Vaatame funktsiooni *f*(*x*) = 2*x* reaalarvude hulgast, kus on defineeritud (ainult) liitmine, positiivsete reaalarvude hulka, kus on defineeritud (ainult) korrutamine. Antud tehete suhtes on funktsioon *f* rühmade, täpselmalt Abeli rühmade, homomorfism:
:*f* (*x* + *y*) = *f* (*x*) · *f* (*y*).

## Homomorfismide tüübid
* Homomorfismi, mis on ühtlasi bijektsioon, mille pöördkujutus on samuti homomorfism, nimetatakse isomorfismiks. Kaks isomorfset objekti on vaatlusaluse struktuuri poolest eristamatud. 
* Homomorfismi iseendasse nimetatakse endomorfismiks, ja kui see on ühtlasi isomorfism, siis nimetatakse seda automorfismiks.
* Homomorfismi, mis on sürjektiivne, nimetatakse epimorfismiks.
* Homomorfismi, mis on injektiivne, nimetatakse monomorfismiks.

## Viited

## Kirjandus
* Gräzin, Igor jt (toimetaja), 1985. Filosoofia leksikon. Tallinn.
* Schmidt, Heinrich, 1991. Philosophisches Wörerbuch. Stuttgart. (venekeelne tõlge, 2003, Moskva. ISBN 5-250-01794-0.)
* Novaja filosofskaja entsiklopedija. 2001, Moskva. ISBN 5-244-00961-3 (00962-1).
* Smirnov, D. M., 1979. Gomomorfizm. *Matematitšeskaja entsiklopedija, tom 1*, Moskva.
* McGraw-Hill dictionary of Mathematics, 1997. N. Y., ISBN 007524335.