The nonexistence of a certain Steiner system S(3, 12, 112)

Although the automorphism group of a projective plane of order 10, if one exists, must be very small, such a plane could be the derived design of a Steiner system S(3, 12, 112) with a larger group. There are several reasons why the Frobenius group of order 56 is a promising candidate for the latter group. However, in this paper it is shown that there is no S(3, 12, 112) which is fixed by this Frobenius group.