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.

Gruppehomomorfi

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

Ringhomomorfi

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

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

Se også

MatematikSpire
Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.

Medier brugt på denne side