Homomorfialause

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Homomorfialause eli homomorfismien peruslause on hyvin yleinen algebrallisten systeemien rakennelause. Se takaa, että homomorfismin ${\displaystyle f}$ kuva on isomorfinen ${\displaystyle f}$:n ytimen sivuluokkien muodostaman rakenteen kanssa.

Homomorfialauseesta on olemassa oma versionsa mm. ryhmille, renkaille ja hiloille. Kuntien tapauksessa homomorfialause on triviaali, sillä jokainen kuntahomomorfismi on injektio ja indusoi siten isomorfismin.

Ryhmien tapauksessa homomorfialause kuuluu seuraavasti: Olkoot ${\displaystyle G}$ ja ${\displaystyle G'}$ ryhmiä, ${\displaystyle f}$ homomorfismi näiden välillä ja ${\displaystyle K}$ ${\displaystyle f}$:n ydin. Tällöin tekijäryhmä ${\displaystyle G/K}$ on isomorfinen ${\displaystyle f}$:n kuvan kanssa. Tämä isomorfismi on kuvaus ${\displaystyle F:G/K\to {\textrm {Im}}(f)}$, ${\displaystyle F(a\cdot K)=f(a)}$.

Lauseen todistuksessa tutkitaan ensin, että ${\displaystyle F}$ on hyvinmääritelty ja osoitetaan se sitten isomorfismiksi toteamalla se homomorfismiksi, injektioksi ja surjektioksi. Osoitetaan nyt ${\displaystyle F}$ hyvinmääritellyksi. Jos ${\displaystyle a}$:n ja ${\displaystyle b}$:n määräämät sivuluokat ovat samat, niin ${\displaystyle a\in bK}$ eli ${\displaystyle a=bk}$, missä ${\displaystyle k}$ on ytimen alkio. Nyt ${\displaystyle F(aK)=f(a)=f(bk)=f(b)f(k)=f(b)\cdot 1=f(b)=F(bK)}$, eli ${\displaystyle F}$ on hyvinmääritelty. Näytetään sitten, että ${\displaystyle F}$ on isomorfismi. ${\displaystyle F}$ on homomorfismi, sillä kun ${\displaystyle a}$:n ja ${\displaystyle b}$:n määräämät sivuluokat kuuluvat tekijäryhmään ${\displaystyle G/K}$, niin ${\displaystyle F(aK\cdot bK)=F(abK)=f(ab)=f(a)f(b)=F(aK)F(bK)}$. Homomorfismi ryhmien välillä on injektio silloin ja vain silloin, kun ${\displaystyle K=\{1\}}$. Jos ${\displaystyle F(aK)=1}$, niin ${\displaystyle f(a)=1}$ eli ${\displaystyle a\in K}$. Silloin ${\displaystyle aK=K=}$ ryhmän ykkösalkio eli ${\displaystyle F}$ on injektio. ${\displaystyle F}$ on surjektiivinen, sillä kun ${\displaystyle a}$ käy läpi koko ${\displaystyle G}$:n niin ${\displaystyle f(a)}$ käy läpi koko ${\displaystyle G}$:n kuvan. Siis ${\displaystyle F}$ on isomorfismi.

• Häsä, Jokke; Rämö, Johanna: Johdatus abstraktiin algebraan. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.