Permutation groups, bases and IBIS groups
Let G be a permutation group acting on a finite set Ω. A subset B of Ω is called a base for G if the pointwise stabilizer of B in G is trivial.
In the 19th century, bounding the order of a finite primitive permutation group G was a problem that attracted a lot of attention. Early investigations of bases then arose because such a problem reduces to that of bounding the minimal size of a base of G.