Az „izomorfizmus” egy matematikai és általában az absztrakt algebra területén használt fogalom, amely két struktúra közötti olyan kapcsolatra utal, ahol egyértelműen megfeleltethetők egymásnak anélkül, hogy bármilyen lényegi tulajdonság elveszne. Ez a megfeleltetés kölcsönösen egyértelmű (bijektív) és struktúratartó, ami azt jelenti, hogy a két struktúra matematikailag „ugyanaz”, csak más formában jelenik meg. Az izomorfizmusok segítenek megérteni, hogy különböző formában megfogalmazott problémák mennyire hasonlóak lehetnek mélyebb szinten.
Példák
- Csoportizomorfizmus: Két csoport akkor izomorf, ha elemek közt létezik egy bijektív leképezés, amely megőrzi a csoportműveletet. Példa: Az egész számok halmaza az összeadás műveletével izomorf az egészek páratlan számaival a szorzást alkalmazva, mert mindkét struktúra lényegében ugyanaz.
- Grafok izomorfizmusa: Két gráf akkor izomorf, ha csúcsainak van egy olyan megfeleltetése, ami megőrzi az éleket.
- Gyűrűizomorfizmus: A gyűrűk között izomorfizmus létezik, ha van olyan bijekció, amely megőrzi az összeg- és szorzatműveleteket is. Például: a komplex számok mezője izomorf a két dimenziós valós vektortérrel.
