Факторгруппа
группы Gпо нормальномуделителю N - группа, образуемая смежными, классами, Ng, группы G и обозначаемая G/N (см. Нормальный делитель). Умножение смежных классов производится по формуле Единицей Ф. Является класс обратным к классу Ng - класс Ng-l. Отображение будет эпиморфизмом группы Gна Ф. G/N. Наз. Каноническим эпиморфизмом Gна G/N. Если - произвольный эпиморфизм группы Gна группу G',- то ядро Кэпиморфизма - нормальный делитель группы G, а факторгруппа G/К изоморфна группе G', точнее, существует изоморфизм группы G/K на группу G' такой, что диаграмма коммутативна, где к - канонич. Эпиморфизм Ф. Группы Gможно определять, исходя из нек-рой конгруэнции на G. Как множество классов конгруэнтных элементов относительно умножения классов.
Все возможные конгруэнции на группе находятся во взаимно однозначном соответствии с нормальными делителями группы, а Ф. По конгруэнциям совпадают с Ф. По нормальным делителям. Ф. Является нормальным факторобъектом в категории групп. Н. Н. Вильямс.
Дополнительный поиск Факторгруппа
На нашем сайте Вы найдете значение "Факторгруппа" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Факторгруппа, различные варианты толкований, скрытый смысл.
Первая буква "Ф". Общая длина 12 символа