Fruchtin lause

Fruchtin lause  on väite jokaisen äärellisen ryhmän isomorfismista äärellisen suuntaamattoman graafin automorfismiryhmään . Sen muotoili vuonna 1936 Babai [1] ja todisti vuonna 1939 Frucht [2] .

Sanamuoto

Jokainen äärellinen ryhmä on isomorfinen äärellisen suuntaamattoman graafin automorfismiryhmän kanssa.

Selitykset

Graafin automorfismi on mikä tahansa sen kärkijoukon substituutio, joka on isomorfismi itselleen.

Muistiinpanot

  1. ↑ Babai, László (1995), Automorfismiryhmät, isomorfismi, rekonstruktio , julkaisussa Graham, Ronald L .; Grötschel, Martin & Lovász , László , Handbook of Combinatorics , voi. I, Pohjois-Hollanti, s. 1447-1540 , < http://www.cs.uchicago.edu/files/tr_authentic/TR-94-10.ps > Arkistoitu 11. kesäkuuta 2010 Wayback Machinessa 
  2. ↑ Frucht, R. (1939), Herstellung von Graphen mit vorgegebener abstrakter Gruppe. , Compositio Mathematica Vol. 6: 239-250, ISSN 0010-437X , < http://www.numdam.org/item?id=CM_1939__6__239_0 > Arkistoitu 5. kesäkuuta 2011 Wayback Machinessa . 

Kirjallisuus