Граф группы

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

Литература

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

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