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
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
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
Wz give a new proof of a theorem of Bondy and Welsh. Our proof is simpler than previous ones in that it makes no use of Hall's theorem on tht: existence of a transversal of a family of sets.