Herstellung von Graphen mit vorgegebener abstrakter Gruppe. (Q2597265)

Die Frage, ob es zu jeder abstrakten endlichen Gruppe einen Graphen gibt, der diese Gruppe zur Automorphismengruppe hat, wird hier bejahend beantwortet durch Angabe eines Verfahrens, wie man einen solchen Graphen (und damit unendlich viele) herstellen kann. Daraus folgt dann auch, daß sich immer eine quadratische Form angeben läßt, bei der die Gruppe der diese Form invariant lassenden Permutationen der Veränderlichen einer vorgegebenen abstrakten endlichen Gruppe isomorph ist.