Homomorfisme
In het algemeen verstaat men onder een homomorfisme een afbeelding van een verzameling met structuur in een andere verzameling met structuur die compatibel is met de structuren, dus de structuur van het domein overvoert in de structuur van het codomein. Als f een homomorfisme is van V met structuur S in W met structuur T geldt voor alle 
.
[bewerk] Voorbeelden
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 
is een homomorfisme als voor ieder tweetal elementen a,b uit G geldt f(ab) = f(a)f(b)
Een bijectief homomorfisme heet een isomorfisme.
