epimorfismo

sm. [epi-+-morfismo]. In algebra, omomorfismosuriettivo tra strutture algebriche (per esempio, gruppi, anelli, campi, spazi vettoriali). Date cioè due strutture algebriche G e G´, una legge φ che associa a ogni elemento a di G un elemento φ(a) di G´ si dice epimorfismo tra G e G´ se conserva le operazioni e se, per ogni elemento a´ di G´, esiste almeno un elemento a di G tale che si abbia φ(a)=a´. Se l'epimorfismo è anche iniettivo, cioè se da φ(a)=φ(b) segue a=b, allora φ si dice isomorfismo.