Группа автоморфизмов графа

Группа автоморфизмов графа (Graph automorphism group) — множество всех автоморфизмов графа относительно операции умножения подстановок (обозначение Aut[math]\displaystyle{ (G) }[/math]). Связь группы автоморфизмов графа с конечными группами устанавливает

Теорема Фрухта (1938): каждая конечная группа изоморфна группе автоморфизмов некоторого графа.

Существуют примеры групп подстановок, которые, хотя и изоморфны группам автоморфизмов графов, но сами таковыми не являются.

Другие названия — Группа графа (дерева), Вершинная группа графа.

Литература

• Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990.