Автоморфизм графа
Автоморфи́зм гра́фа, изоморфное отображение графа на себя (см. Изоморфизм графов). Множество всех автоморфизмов данного графа образует группу относительно операции композиции автоморфизмов. Автоморфизмы графа порождают группу подстановок вершин , называемую группой (или иногда вершинной группой) графа , и группу подстановок рёбер , называемую рёберной группой графа . Рёберная и вершинная группы графа без петель и кратных рёбер изоморфны тогда и только тогда, когда граф имеет не более одной изолированной вершины и никакая его компонента связности не является изолированным ребром. Для каждой конечной группы существует граф, группа автоморфизмов которого изоморфна . В то же время существуют группы подстановок на множестве из элементов, не являющиеся вершинной группой никакого графа с вершинами. С автоморфизмами графа можно связать различные типы и меры симметрии графа. Асимметричным называется граф, не имеющий автоморфизмов, отличных от тождественного. При почти все графы с вершинами являются асимметричными.