Homomorphismus
Homomorphismus in mathematica est tabulatio duarum structurarum quae structuram servat.  Sint A, B structurae eiusdem generis; tunc  est homomorphimus si , ubi  et  sunt elementa structurae A et  est operatio structurae.

Exempli gratia, si A et B sunt anelli,  erit homomorphismus si:
 
 et 

Tunc  et .  

Si homomorphismus est et iniectivus et superiectivus, isomorphismus nominatur.

Bibliographia 
 Davidson, Neil, et Frances Gulick. 1976. Abstract Algebra: An Active Learning Approach. Bostoniae: Houghton Mifflin.

Algebra
Algebra abstracta