Хомоморфизам — разлика између измена

У ширем контексту пресликавања која чувају структуру, начелно није довољно дефинисати изоморфизам као бијективни морфизам. Потребан услов је и да је инверзни морфизам истог типа. У алгебарским условима, овај додатни услов је аутоматски задовољен.

 

:''Односи између различитих врста хомоморфизама. <br />H = скуп '''х'''омоморфизама, -{M}- = скуп '''м'''ономорфизама, <br />P = скуп е'''п'''иморфизама, -{S}- = скуп и'''з'''оморфизама, <br />N = скуп е'''н'''доморфизама, -{A}- = скуп '''а'''утоморфизама.<br /> Приметити да: -{M ∩ P = S, S ∩ N = A}-, док класе <br />-{M ∩ N \ A}- и -{P ∩ N \ A}- могу бити непразне једино у случају бесконачних група.''