A generalization of Sims' conjecture for finite primitive groups and two point stabilizers in primitive groups

In this paper, we propose a refinement of Sims' conjecture concerning the cardinality of the point stabilizers in finite primitive groups, and we make some progress towards this refinement. In this process, when dealing with primitive groups of diagonal type, we construct a finite primitive group G on ω and two distinct points α, β ϵ ω with G α ≠ β δ G α and G α ≠ β & 1, where G α is the stabilizer of β in G and G α ≠ β is the stabilizer of β and G in G. In particular, this example gives an answer to a question raised independently by Cameron and by Fomin in the Kourovka Notebook.