Dixon's asymptotic without the classification of finite simple groups

Abstract

AbstractWithout using the classification of finite simple groups (CFSG), we show that the probability that two random elements of generate a primitive group smaller than is at most . As a corollary we get Dixon's asymptotic expansion for the probability that two random elements of (or ) generate a subgroup containing .