Frucht's theorem en · PROPN
Etymology
Proved by Robert Frucht in 1939.
Meanings
- 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.