On base sizes for symmetric groups

Description/Abstract

A base of a permutation group G on a set is a subset B of
such that the pointwise stabilizer of B in G is trivial. The base size of G, denoted by b(G), is the minimal cardinality of a base. Let G = Sn or An acting primitively on a set with point stabilizer H. In this note we prove that if H acts primitively on {1, . . . , n}, and does not contain An, then b(G) = 2 for all n 13. Combined
with a theorem of James, this completes the classification of primitive actions of alternating and symmetric groups which admit a base of size two