Loading AI tools
Van Wikipedia, de vrije encyclopedie
In het algemeen verstaat men onder een homomorfisme een afbeelding van een verzameling met een algebraïsche structuur in een andere verzameling met een algebraïsche structuur van dezelfde soort (bijvoorbeeld twee groepen, twee ringen, of twee vectorruimten met hetzelfde scalairenlichaam), waarbij die afbeelding compatibel is met de structuren, dus de structuur van het domein overvoert in de structuur van het codomein.
Bewerkingen in de ene verzameling hebben dus een overeenkomende bewerking in de andere verzameling, waarbij het geen verschil maakt of als eerste de bewerking wordt uitgevoerd, dan wel als eerste de overstap naar de andere verzameling gemaakt wordt.
Bijvoorbeeld bij structuren met één binaire operatie komt dat neer op het volgende.
Als een homomorfisme is van verzameling met structuur (de binaire operatie in ) in verzameling met structuur (de binaire operatie in ) geldt voor alle :
De logaritme () is een homomorfisme van de positieve reële getallen met als structuur de vermenigvuldiging (), in de reële getallen met als structuur de optelling (). Er geldt immers:
Dit is de basis voor de decibelschalen en het rekenen met rekenliniaal of logaritmetafel: vermenigvuldigen kan omgezet worden in optellen.
Een afbeelding tussen twee groepen met groepsoperaties respectievelijk en is een homomorfisme als voor ieder tweetal elementen uit de groep geldt:
Omdat de abstracte algebra verzamelingen met operaties bestudeert, die interessante structuren of eigenschappen op deze verzameling genereren, zijn de interessantste functies diegene die operaties bewaren. Zulke functies staan bekend als homomorfismen.
Beschouw bijvoorbeeld de natuurlijke getallen met optellen als operatie. Een functie die een optelling bewaart moet de eigenschap hebben dat: :
De functie is bijvoorbeeld zo'n homomorfisme, aangezien
Merk op dat dit homomorfisme de natuurlijke getallen afbeeldt in zichzelf.
Homomorfismen hoeven niet noodzakelijk een afbeelding te zijn tussen verzamelingen die dezelfde operaties hebben. Er bestaan bijvoorbeeld operatie-bewarende functies tussen de verzameling van de reële getallen met de operatie optelling en de verzameling van de positieve reële getallen met de operatie vermenigvuldiging. Een functie die een operatie bewaart, vereist hier dan de eigenschap dat: , aangezien optelling de operatie in de eerste verzameling en vermenigvuldiging de operatie in de tweede verzameling is. Gegeven de wetten van het machtsverheffen, voldoet aan deze voorwaarde:
Een bijzonder belangrijke eigenschap van homomorfismen is dat wanneer een identiteitselement aanwezig is, dit altijd bewaard zal blijven. Dit neutrale element wordt namelijk op zichzelf afgebeeld. Merk op dat in het eerste voorbeeld en dat 0 dan de additieve identiteit is. In het tweede voorbeeld is , aangezien 0 hier de additieve identiteit, en 1 de multiplicatieve identiteit is.
Als we meerdere operaties op een verzameling in overweging nemen, moeten alle operaties bewaard blijven, wil een functie als homomorf worden gezien. Eenzelfde functie, kan bijvoorbeeld in de groepentheorie (verzamelingen met één enkele operatie) homomorf zijn, terwijl dezelfde functie in de ringtheorie (verzamelingen met twee gerelateerde operaties) niet homomorf is, bijvoorbeeld omdat deze functie de extra operatie, die in ringtheorie wordt bestudeerd, niet bewaart.
De bovenstaande termen worden op soortgelijke wijze in de categorietheorie gebruikt, in de categorietheorie zijn de definities echter meer subtiel, zie het artikel over morfisme voor meer details.
Merk op dat in de ruimere context van de structuur-bewarende afbeeldingen, het in het algemeen niet genoeg is om een isomorfisme als een bijectief morfisme te definiëren. Men dient ook te eisen dat de inverse een morfisme van hetzelfde type is. In een algebraïsche omgeving (tenminste binnen de context van de universele algebra) wordt automatisch aan deze extra voorwaarde voldaan.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.