Abstract: | The necessary conditions for the existence of a balanced incomplete block design on υ ≥ k points, with index λ and block size k, are that: For k = 8, these conditions are known to be sufficient when λ = 1, with 38 possible exceptions, the largest of which is υ = 3,753. For these 38 values of υ, we show (υ, 8, λ ) BIBDs exist whenever λ > 1 for all but five possible values of υ, the largest of which is υ = 1,177, and these five υ's are the only values for which more than one value of λ is open. For λ>1, we show the necessary conditions are sufficient with the definite exception of two further values of υ, and the possible exception of 7 further values of υ, the largest of which is υ=589. In particular, we show the necessary conditions are sufficient for all λ> 5 and for λ = 4 when υ ≠ 22. We also look at (8, λ) GDDs of type 7m. Our grouplet divisible design construction is also refined, and we construct and exploit α ‐ frames in constructing several other BIBDs. In addition, we give a PBD basis result for {n: n ≡ 0, 1; mod 8, n ≥ 8}, and construct a few new TDs with index > 1. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 233–268, 2001 |