ПОИСК Статьи Чертежи Таблицы Подграфы и факторграфы из "Особенности процессов многократного рассеяния " Если с/ = /, то мы будем говорить, что последовательность G — G G является точной, или что G является факторграфом графа G по G G = G/G, или что G является ядром стягивания к G = кет к, или что G является расширением графа G с помощью G , или что G является расширением над G с ядром G все эти выражения заимствованы из теории групп. [c.35] Следствие. Для того чтобы = 7 , необходимо и достаточно, чтобы О был деревом (деревом называется граф без циклов) ). [c.36] У п р а ж н е н и е. Дерево А, являющееся подграфом в С, называется максимальным в С, если в О не существует никакого другого дерева, его содержащего. Проверьте, что если С — факторграф графа О по максимальному дереву, то все линии графа О являются петлями, так что Е = 2(Г). [c.36] Принимая во внимание следствие, мы получаем хорошо известное свойство множество I , дополнительное к максимальному дереву, определяет базис группы циклов графа О (рис. 8). [c.36] Вернуться к основной статье