Frucht's theorem
Appearance
English
[edit]Etymology
[edit]Proved by Robert Frucht in 1939.
Proper noun
[edit]- (graph theory) The statement that every finite group is the group of symmetries of a finite undirected graph. More strongly, for any finite group G there exist infinitely many non-isomorphic simple connected graphs such that the automorphism group of each of them is isomorphic to G.