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

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

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

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