Nonwrapping progression in a cyclic Bohr set
ID: nonwrapping-progression-in-a-cyclic-bohr-set
In a cyclic group of arbitrary order , a Bohr set with frequencies, defined by , contains an arithmetic progression of distinct residues of length at least . Partition the -dimensional cube into boxes, with . The pigeonhole principle supplies with simultaneously. The residues , , remain in the Bohr set and do not wrap around the cyclic group. The weaker exponent permits composite moduli without assuming that every nonzero step has large order.
New to topics? Read the docs here!