Frucht's theorem
English
Etymology
Proved by Robert Frucht in 1939.
Proper noun
- (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.