Homomorfi

Betegnelsen homomorfi benyttes om en afbildning som bevarer matematiske strukturer. Kriterierne for homomorfi afhænger altså af hvordan G og H betragtes som matematiske objekter (se eksempler nedenfor).

En bijektiv homomorfi hvis inverse også er en homomorfi, kaldes for en isomorfi. Undertiden bruges betegnelserne monomorfi og epimorfi for en injektiv henholdsvis surjektiv homomorfi.

Er G=H, taler man om en endomorfi. En isomorfi der også er en endomorfi , kaldes en automorfi.

I det følgende beskrives kort homomorfi for grupper, ringe og legemer.

GruppehomomorfiRediger

Lad der være givet grupper   og  . Da er   en gruppehomomorfi hvis der for hvert   gælder  .

Bemærk, at der for vilkårligt   gælder  , samt  .

For en givet gruppe   udgør automorfierne på   sammen med funktionssammensætning en gruppe. Denne kaldes for  s automorfigruppe, og benævnes i reglen  

RinghomomorfiRediger

Lad   være kommutative ringe. Da kaldes en afbildning   for en ringhomomorfi (eller, hvis det er underforstået, blot en homomorfi), hvis følgende er opfyldt:

  1.  
  2.  
  3.  .

Hvis man ikke kræver, at ringen har et multiplikativt neutralt element, bortfalder naturligvis det første krav.

Se ogsåRediger

 Stub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.