Граф группы

Граф группы (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] --- групповая операция. Полустепень исхода каждой вершины графа группы равна числу генераторов группы.

Литература

[Алгоритмы],

[Словарь]