Cyclotomic construction of a Steiner 2-design

ID: cyclotomic-construction-of-a-steiner-2-design

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.

New to topics? Read the docs here!