Homomorfizmus

A Wikipédiából, a szabad enciklopédiából

A matematikában, különösképpen az absztrakt algebrában, homomorfizmusnak nevezünk minden művelettartó leképezést két algebrai struktúra között.

Így egyebek mellett homomorfizmus egy rendezéstartó leképezés, egy lineáris transzformáció, vagy egy csoporthomomorfizmus. Két algebrai struktúrát homomorfnak, olykor hasonlónak nevezünk, ha létezik köztük homomorfizmus. Ezt gyakran a szimbólummal jelöljük.

A homomorfizmus valamilyen primitív struktúraosztály egy tagján (valamely konkrét struktúrán) alkalmazva, általában megőrzi a primitív osztályt (a struktúra képstruktúrája is ugyanazon primitív osztályba tartozik), vagyis pl. egységelemes csoport homomorf képe egységelemes csoport. A konkrét struktúra azonban megváltozhat (a kép nem feltétlenül izomorf az eredetivel).

Definíció[szerkesztés]

Legyen adott két struktúra és . Ekkor

homomorfizmus, ha valamely , akkor , azaz, ha az A struktúrában valamely elemek közt valamilyen reláció áll fenn, akkor ezen elemeik képei a B struktúrában is a megfelelő relációban állnak. Az alap és a képhalmaz viszonyát fejezik ki a következő elnevezések:

  • Ha bijekció, és inverze is homomorfizmus, izomorfizmus, és ekkor azt mondjuk A és B izomorfak, jelben: . Ez igen fontos algebrai reláció, ugyanis az izomorf struktúrák algebrai szemszögből nézve ugyanolyanok, per definitionem ugyanúgy kell bennük számolni.
  • Ha szürjektív, epimorfizmus, ekkor B homomorf képe A-nak.
  • Ha injektív, monomorfizmus, vagy beágyazás.
  • Ha , endomorfizmus.
  • Azokat az endomorfizmusokat, amik egyúttal izomorfizmusok is, automorfizmusoknak nevezzük.

Az egyes struktúrák közti homomorfizmusok elnevezései:

  • A rendezett és a részbenrendezett halmazok közötti homomorfizmusok a rendezéstartó relációk.
  • A csoportok közti homomorfizmusok a csoporthomomorfizmusok.
  • A gyűrűk közti homomorfizmusok a gyűrűhomomorfizmusok. Speciális gyűrűhomomorfizmusok a könnyen rendszerezhető testhomomorfizmusok, amelyek testek között hatnak.
  • A vektorterek közötti homomorfizmusok a lineáris leképezések.
  • A modulusok közti homomorfizmusok a modulushomomorfizmusok.
  • Az algebrák közti homomorfizmusok az algebrahomomorfizmusok.
  • És végül a kategóriák közti homomorfizmusok a funktorok.

Mag, faktorstruktúra[szerkesztés]

Egy A algebrai struktúrán értelmezett homomorfizmus ekvivalenciarelációt definiál a struktúra elemei között: , ha . Ezt az ekvivalenciarelációt a homomorfizmus magjának (kernelének) nevezzük, és -vel jelöljük. Minden homomorfizmust meghatároz a magja. Tekintsük azt a hozzárendelést, ami A minden elemeihez az őt tartalmazó ekvivalenciaosztályt rendeli, és az ekvivalenciaosztályokon úgy definiáljuk a relációkat, hogy ez a hozzárendelés homomorfizmus legyen, akkor az így definiált struktúrát a kernel által generált faktorstruktúrának nevezzük, amit szimbólummal jelölünk. Ekkor könnyen ellenőrizhetően izomorfizmus, tehát a homomorfizmus magja által generált faktorcsoport izomorf a homomorfizmus képével. Ez a homomorfizmustétel:

.

Csoportokban, gyűrűkben, vektorterekben hagyományosan az egységelem illetve nullelem ősképét nevezzük a homomorfizmus magjának. De ez egyértelműen meghatározza az absztraktabb értelemben vett kernelt, lévén az , ha létezik e eleme a magnak, hogy (csoportoknál) ekvivalenciareláció éppen a kernel. Ezek mindig részcsoportot illetve részgyűrűt alkotnak:

Példák[szerkesztés]

  • A szimmetrikus csoportban minden permutációhoz az előjelét rendelve homomorfizmust kapunk, aminek a magját a páros permutációk képzik, a faktorcsoportja pedig a kételemű ciklikus csoporttal izomorf.
  • Az egészek gyűrűjében minden számhoz az n szerinti maradékosztályát rendelve homomorfizmust kapunk, az általa képzett faktorgyűrű a mod n számok gyűrűje, aminek az additív csoportja az n-edrendű ciklikus csoport.

Források[szerkesztés]

  • Pelikán József: Algebra (PDF/Postscript). összeállította Gröller Ákos. ELTE TTK
  • Saunders Mac Lane: Categories for the Working Mathematician, Springer, 1971