An existence theorem for some simple \(t\)-designs (Q1175985)

A \(t\)-design \(S_ \lambda(t,\ell,v)\) is said to be simple if it contains no repeated blocks. The main result of this paper is the following theorem: Let \(S=(P,B)\) be an \(S_ \lambda(t,\ell,v)\) design and \(S'=(P',B')\) be a simple \(S_{\lambda'}(t,k,\ell)\) design with \(| B'|=b'\), if \(b^{'2}(\lambda-1)<{1\choose k}\) then there exists a simple \(S_{\lambda\lambda'}(t,k,v)\) design. The author applies this result to the Alltop's 5-designs to prove the existence of a new infinite family of 5-designs.