Simsova domněnka - Sims conjecture

V matematice je Simsova domněnka je výsledkem v teorie skupin, původně navržený uživatelem Charles Sims.[1] Domníval se, že pokud je primitivní permutační skupina na konečné sadě a označuje stabilizátor bodu v , pak existuje celočíselná funkce takhle pro délka jakékoli obíhat z v sadě .

Domněnku prokázal Peter Cameron, Cheryl Praeger, Jan Saxl, a Gary Seitz za použití klasifikace konečných jednoduchých skupin, zejména skutečnost, že pouze konečně mnoho typů izomorfismu sporadické skupiny existovat. Důsledkem jejich důkazu je, že existuje jen konečně mnoho propojených vzdálenosti-tranzitivní grafy mít stupeň větší než 2.[2][3][4]

Reference

  1. ^ Sims, Charles C. (1967). Msgstr "Grafy a konečné permutační skupiny". Mathematische Zeitschrift. 95 (1): 76–86. doi:10.1007 / BF01117534.
  2. ^ Cameron, Peter J.; Praeger, Cheryl E.; Saxl, Jan; Seitz, Gary M. (1983). "O simulovaných dohadech a přechodových grafech vzdálenosti". Bulletin of London Mathematical Society. 15: 499–506. doi:10.1112 / blms / 15.5.499.
  3. ^ Cameron, Peter J. (1982). "Existuje pouze konečně mnoho grafů procházejících vzdáleností od dané valence větších než dva". Combinatorica. 2 (1): 9–13. doi:10.1007 / BF02579277.
  4. ^ Isaacs, I. Martin (2011). Teorie konečné skupiny. Americká matematická společnost. ISBN  9780821843444. OCLC  935038216.