Епиморфизъм

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

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

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

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

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