# Аксиома обращения. Если выполняется аксиома 3, то для <tex> \forall \alpha \in A \ \exists \alpha^{-1} : \alpha\alpha^{-1} = \alpha^{-1}\alpha = i </tex>.
}}
{{Определение
{{Определение
|definition=
Автоморфизмы '''Автоморфизмом''' графа <tex>G</tex> называется изоморфизм графа <tex>G</tex> на себя}} {{Определение|definition=Каждый автоморфизм <tex>\alpha</tex> графа <tex>G</tex> есть подстановка множества вершин <tex>V</tex>, сохраняющая смежность. Конечно, подстановка <tex>\alpha</tex> переводит любую вершину графа в вершину той же степени. Очевидно, что последовательное выполнение двух автоморфизмов есть также автоморфизм; поэтому автоморфизмы графа <tex> G </tex> образуют группу подстановок <tex> \Gamma (G) </tex>, действующую на множестве вершин <tex>V(G)</tex>. Эту группу называют '''группой''' или иногда '''вершинной группой графа''' <tex>G</tex>.
}}
