Put , take odd , and let be the index- multiplicative subgroup. If a -set has its unordered pair differences in distinct -cosets, choose containing exactly one element from each pair . Then is a difference family for a Steiner 2-design. Indeed one unordered pair supplies each coset, and its two difference orientations multiplied by cover that coset once. Translations yield a - Steiner system. The cyclotomic pattern extension by a second-moment bound supplies suitable for all sufficiently large in this progression.

Articles by others on the same topic (NaN)

There are currently no matching articles.