Математическая энциклопедия - факторгруппа
Связанные словари
Факторгруппа
группы 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. как множество классов конгруэнтных элементов относительно умножения классов. Все возможные конгруэнции на группе находятся во взаимно однозначном соответствии с нормальными делителями группы, а Ф. по конгруэнциям совпадают с Ф. по нормальным делителям. Ф. является нормальным факторобъектом в категории групп.
Н. Н. Вильямс.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 549 | |
2 | 476 | |
3 | 471 | |
4 | 465 | |
5 | 448 | |
6 | 432 | |
7 | 430 | |
8 | 426 | |
9 | 417 | |
10 | 417 | |
11 | 415 | |
12 | 406 | |
13 | 398 | |
14 | 372 | |
15 | 368 | |
16 | 364 | |
17 | 358 | |
18 | 357 | |
19 | 357 | |
20 | 356 |