Let
be a group of group order
and
be a set of
elements of
. If the set of differences
contains every nonzero element
of
exactly
times, then
is a
-difference set in
of order
. If
, the difference set is called planar. The quadratic
residues in the finite field
form a difference set. If there is a difference set of
size
in a group
,
then
must be a multiple of
,
where
is a binomial coefficient.
Gordon maintains an index of known difference sets.