Граф группы

Граф группы (Group graph) — орграф, при помощи которого представляется конечная группа. Вершины графа соответствуют элементам группы, а дуги — ее генераторам. Если дуга $e$ (представляющая генератор $g$) соединяет вершины $v$ и $v'$, то

$v \circ g = v',$

где $\circ$ — групповая операция. Полустепень исхода каждой вершины графа группы равна числу генераторов группы.

Литература

• Алгоритмы и программы решения задач на графах и сетях /Нечепуренко М.И., Попков В.К., Майнагашев С.М. и др. — Новосибирск: Наука. Сиб. отд-ние, 1990.

• Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.