Группа автоморфизмов графа: различия между версиями

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

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

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

Другие названия --- ''[[Группа графа]] ([[дерево|дерева]]), [[группа графа вершинная|Вершинная группа графа]]''.