Symmetriegruppe für Graphen.

Sei G(E, K) ein einfacher Graph mit der Eckenmenge E = {1, …, n} und der Kantenmenge K, und E⁽²⁾ die Menge aller ungeordneten Paare aus E.

Ist \({S}_{n}^{(2)}\) die von der symmetrischen Gruppe vom Rang n auf E⁽²⁾ induzierte Permutationsgruppe, so nennt man \({S}_{n}^{(2)}\) auch die Paargruppe des Graphen G(E, K).