Ryhmähomomorfismi

Wikipediasta
Siirry navigaatioon Siirry hakuun

Ryhmähomomorfismi on luotu matematiikassa ryhmien vertailun helpottamiseksi. Olkoot (G, *) ja (H, ·), ryhmiä ja f : GH jokin kuvaus. Kuvaus f on ryhmähomomorfismi, jos kaikilla x, y kuuluu G pätee.

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).

Jos f : (G, *) → (H, ·) on ryhmähomomorfismi, niin

i) f(eG) = eH

ii) f(a−1) = f(a)−1 kaikilla a ∈ G.

Lisäksi bijektiivistä ryhmähomomorfismia kutsutaan isomorfismiksi.

Jos kahden ryhmien G ja H välille voidaan määritellä isomorfismi, niin sanotaan, että ryhmät ovat isomorfiset ja merkitään G ≅ H.

Isomorfisilla ryhmillä on samanlaiset kertotaulut.

  • Matematiikan ja tilastotieteen laitos, Algebra I, Johanna Rämö
  • Metsänkylä ja Näätänen; Algebra; Limes ry

Kirjallisuutta

[muokkaa | muokkaa wikitekstiä]