𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A simple proof that all 1-designs exist

✍ Scribed by David Billington


Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
68 KB
Volume
42
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.

✦ Synopsis


A short and elementary proof is given of the known result that a 1-(v,/~, r) design with b blocks exists if and only if vr = bk and b <~ (~).

A 1-(v, k, r) design is a set of b k-sets, called blocks, chosen from a v-set, say V, so that no two blocks are the same and each clement of V occurs exactly r times. It is easy to see that if a 1-(v, k, r) design exists with b blocks, then b ~ (~) and vr = bk.

The converse is apparently w~ll-known, and indeed it can be extracted from [1] and also from . However [1] involves several non-elementalT results, and the proof in [2] is not short.

We need to generalise the idea of a 1-design. A (k, r~ ..... r~)-dcsign is a set of b k-sets, called blocks, chosen from a v-set, say V :--{1, 2 ..... v}, so that no two blocks are the same, and for all i ~ V, the number of times i occurs is r~. Hence a 1-(v, k, r) design is a (k, r~ ..... r~)-design in which r~ = r for all i e V.


πŸ“œ SIMILAR VOLUMES


A New Existence Proof for Ly, the Sporad
✍ Holger W. Gollan πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 227 KB

This paper reports on a new and independent existence proof for the sporadic simple group Ly of Lyons, using only two permutations of degree 9 606 125, computed by Cooperman, Finkelstein, Tselman, and York. We will show that these two permutations generate a group G Ly, by first computing a base and

All v(3, t)'s exist for 3t + 1 a prime
✍ G. H. J. Van Rees πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 284 KB

The existence of a V(3, t ) , for any prime 3 t + l is proved constructively. A V(rn, t ) is equivalent to rn idempotent pairwise orthogonal Latin squares of order (rn+l)t + 1 with one hole of order t. 0 1995 John Wiley & Sons, he. ## 1. Introduction For the basic definitions about Latin squares t