Граф группы
Материал из WEGA
Граф группы (Group graph) - орграф, при помощи которого представляется конечная группа. Вершины графа соответствуют элементам группы, а дуги --- ее генераторам. Если дуга [math]\displaystyle{ e }[/math] (представляющая генератор [math]\displaystyle{ g }[/math]) соединяет вершины [math]\displaystyle{ v }[/math] и [math]\displaystyle{ v' }[/math], то
[math]\displaystyle{ v \circ g = v', }[/math]
где [math]\displaystyle{ \circ }[/math] --- групповая операция. Полустепень исхода каждой вершины графа группы равна числу генераторов группы.
Литература
[Алгоритмы],
[Словарь]