Теорема Фрухта
— утверждение об
изоморфизме
каждой конечной группы группе
автоморфизмов
конечного неориентированного
графа
. Была сформулирована в 1936 году Бабаи
и доказана в 1939 году Фрухтом
.
Содержание
Формулировка
Каждая конечная группа изоморфна группе автоморфизмов конечного неориентированного графа.
Пояснения
Автоморфизмом графа называется любая подстановка множества его вершин, являющаяся
изморфизмом
на себя.
Примечания
(1995), "Automorphism groups, isomorphism, reconstruction", in
; Grötschel, Martin;
Lovász, László
(eds.),
, vol. I, North-Holland, pp. 1447—1540,
из оригинала
11 июня 2010
от 11 июня 2010 на
Wayback Machine
Frucht, R. (1939),
,
Compositio Mathematica
(нем.)
,
6
: 239—250,
ISSN
,
Zbl
от 5 июня 2011 на
Wayback Machine
.
Литература
Белоусов А. И., Ткачев С. Б.
Дискретная математика. —
М.
: МГТУ, 2006. — С. 341-349. —
ISBN 5-7038-2886-4
.