The Existence and Construction of (K5∖e)‐Designs of Orders 27, 135, 162, and 216

The problem of the existence of a decomposition of the complete graph into disjoint copies of has been solved for all admissible orders n, except for 27, 36, 54, 64, 72, 81, 90, 135, 144, 162, 216, and 234. In this paper, I eliminate 4 of these 12 unresolved orders. Let Γ be a ‐design. I show that divides 2^k3 for some and that . I construct ‐designs by prescribing as an automorphism group, and show that up to isomorphism there are exactly 24 ‐designs with as an automorphism group. Moreover, I show that the full automorphism group of each of these designs is indeed . Finally, the existence of ‐designs of orders 135, 162, and 216 follows immediately by the recursive constructions given by G. Ge and A. C. H. Ling, SIAM J Discrete Math 21(4) (2007), 851–864.