Епиморфизъм

Епиморфизъм в математиката е сюрективно изображение между алгебрични структури (групи, пръстени, алгебри и пр.)

Формално определение

Изображението $\phi :\Gamma \rightarrow \Gamma '$ ще наричаме епиморфизъм, ако

• $\phi (ab)=\phi (a)\phi (b),\forall a,b\in \Gamma$

• ${\mathfrak {Im}}\phi =\phi (\Gamma )=\Gamma '$

Определението на епиморфизъм, дадено в частния случай за групи, зависи от конкретната алгебрична структура, но като цяло епиморфизма трябва да запазва структурата и да бъде изображение върху (т.е. сюрекция). Ако наложим, допълнително, изображението да бъде инективно, то получаваме изоморфизъм.