Ядерная Пара
морфизма категории- категорное обобщение отношения эквивалентности, индуцированного отображением одного множества в другое. Пара морфизмов категории наз. Ядерной парой морфизма если и если для любой пары морфизмов для к-рой существует такой единственный морфизм что и Пусть - произвольная категория однотипных универсальных алгебр и всех гомоморфизмов между ними, замкнутая относительно конечных произведений, и пусть - Я. П. Гомоморфизма из Тогда образ гомоморфизма индуцированного парой является конгруэнцией на алгебре А. Обратно, если - произвольная конгруэнция на А, i - вложение Rв P1, Р2 -проекции на А , то пара гомоморфизмов является Я. П. Естественного гомоморфизма алгебры Ана факторалгебру A/R.
В произвольной категории с конечными произведениями и ядрами пар морфизмов Я. П. Морфизма строится следующим образом. Выбирают произведение с проекциями и и находят ядро пары морфизмов Тогда пара морфизмов является Я. П. Морфизма М. Ш. Цаленко.
Дополнительный поиск Ядерная Пара
На нашем сайте Вы найдете значение "Ядерная Пара" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Ядерная Пара, различные варианты толкований, скрытый смысл.
Первая буква "Я". Общая длина 12 символа