Епиморфизъм

от Уикипедия, свободната енциклопедия

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

Формално определение[редактиране | редактиране на кода]

Изображението ще наричаме епиморфизъм, ако

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