[seqfan] The Sims Conjecture

David Harden sylow2subgroup at hotmail.com
Sun Feb 28 06:14:29 CET 2010

Sims Conjecture, as it was known before its proof using the
Classification of Finite Simple Groups, says that there is a function f
from the positive integers to the positive integers such that if a
finite primitive permutation group has a point stabilizer H with a
suborbit of size r, then |H| <= f(r). Does anyone know the proof of
this theorem well enough to, if it is reasonable enough to do so,
tabulate values of f beyond f(1)=1 and f(2)=2?

---- David Harden

More information about the SeqFan mailing list