Homomorfi

Fra Wikipedia, den frie encyklopædi

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.

[redigér] Gruppehomomorfi

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

Bemærk, at der for vilkårligt gælder φ(a) ^{- 1} = φ(a) ^{- 1}φ(aa ^{- 1}) = φ(a) ^{- 1}φ(a)φ(a ^{- 1}) = φ(a ^{- 1}), samt φ(1_G) = φ(aa ^{- 1}) = φ(a)φ(a) ^{- 1} = 1_H.

For en givet gruppe G udgør automorfierne på G sammen med funktionssammensætning en gruppe. Denne kaldes for Gs automorfigruppe, og benævnes i regelen Aut(G)

[redigér] Ringhomomorfi

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

1. φ(1_R) = 1_P
2. 
3. .

[redigér] Se også

• homeomorfi

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