Homomorfismi
Wikipedia
Homomorfismi on yksi abstraktin algebran peruskäsitteitä. Koska abstakti algebra tutkii joukkoja ja niita operaatioita, jotka antavat joukolle mielenkiintoisia lisärakenteita, kiinnostavimmat algebrallisia struktuureita koskevat funktiot ovat ne, jotka säilyttävät laskutoimituksen.
Tarkastellaan esimerkiksi luonnollisia lukuja ja niiden yhteenlaskua. Funktiolla, joka säilyttää laskutoimituksen, tulee olla seuraava ominaisuus: f(a + b) = f(a) + f(b). Huomaa, että esimerkiksi f(x) = 3x on homomorfismi, sillä f(a + b) = 3(a + b) = 3a + 3b = f(a) + f(b).
Homomorfismin ei tarvitse kuvata joukkoa samankokoiselle joukolle. Otetaan esimerkiksi lähtöjoukosta reaaliluvut ja niiden yhteenlasku, sekä maalijoukosta positiiviset reaaliluvut kertolaskuineen. Funktiolla, joka säilyttää laskutoimitukset, tulee olla seuraava ominaisuus kaikilla reaaliluvuilla a, b: f(a + b) = f(a) * f(b). Differentiaalilaskennan perusteista huomataan, että esimerkiksi funktiolla f(x) = ex on tämä ominaisuus.
Tärkeä homomorfismeja koskeva tulos on, että laskutoimituksen neutraalialkiot kuvautuvat itselleen. Ensimmäisessa esimerkissä pätee f(0)=0 ja 0 on yhteenlaskun neutraalialkio. Toisessa esimerkissä f(0) = 1, koska 0 on yhteenlaskun neutraalialkio ja 1 on kertolaskun neutraalialkio.
Jos tarkastelemme monia annetun joukon operaatioita, niin tällöin kaikkien operaatioiden tulee säilyä jotta funktio olisi homomorfismi kategoriateorian mielessä. Vaikka joukot voivat olla samat, voi kuvaus olla esimerkiksi ryhmähomomorfismi, mutta ei rengashomomorfismi, koska se ei välttämättä säilytä renkaan additiivista rakennetta.
Jos kahden algebrallisen rakenteen välillä on homomorfismi, niiden rakenteissa on selvästi jotain samankaltaista - sanoohan laskutoimituksen säilymisen ehto juuri, että ei ole väliä, lasketaanko laskut ennen vai jälkeen homomorfisen kuvauksen. Tämän samankaltaisuuden muotoilee tarkasti homomorfialause.
[muokkaa] Ryhmähomomorfismi
Kuvaus 
ryhmältä G ryhmälle H on ryhmähomomorfismi, jos se toteuttaa seuraavan vaatimuksen ryhmien binäärioperaatioiden 
suhteen kaikilla ryhmien alkioilla:
.
Ryhmähomomorfismi säilyttää ykkösalkion, sillä kertomalla yhtälö 
puolittain f(1) − 1:llä saadaan f(1) = 1.
[muokkaa] Rengashomomorfismi
Kuvaus 
renkaalta 
renkaalle 
on rengashomomorfismi, jos seuraavat ehdot toteutuvat kaikilla renkaan R alkioilla:
- f(1R) = 1R'.
Toisin kuin ryhmien tapauksessa, viimeisin ehto on erikseen mainittava. Koska renkaan alkioilla ei aina ole käänteisalkioita, yllä esiintyvää, ryhmien tapauksessa toimivaa johtoa ei ainakaan voi käyttää. Itse asiassa kaikille ryhmille R ja R' on olemassa kaksi ensimmäistä ehtoa toteuttavia kuvauksia, jotka eivät toteuta viimeistä. Kolmas ehto ei näin ollen voi olla seurausta kahdesta ensimmäisestä. Yksinkertaisin esimerkki ensimmäiset ehdot toteuttavasta, mutta viimeistä rikkovasta kuvauksesta on nollakuvaus 
.
