Math 2.0

Number theory Definition

Sidon set

Builds on Abelian group

Definition

Let GG be an abelian group, for example ℤ\Z, and let AA be a subset of GG. The set AA is a Sidon set if for all a,b,c,d∈Aa, b, c, d \in A with a+b=c+da + b = c + d, one has {a,b}={c,d}\set{a, b} = \set{c, d}.

Remarks

If GG has no elements of order 22, as in ℤ\Z, the definition is equivalent to this one: the differences a−ba - b with a,b∈Aa, b \in A and a≠ba \ne b are pairwise different. The set {1,2,4,8}\set{1, 2, 4, 8} is a Sidon set in ℤ\Z. Its sums a+ba + b with a≤ba \le b are 2,3,4,5,6,8,9,10,12,162, 3, 4, 5, 6, 8, 9, 10, 12, 16, and these ten numbers are distinct. The set {1,2,3,4}\set{1, 2, 3, 4} is not a Sidon set, since 1+4=2+31 + 4 = 2 + 3 but {1,4}≠{2,3}\set{1, 4} \ne \set{2, 3}. An infinite Sidon set of positive integers, listed in increasing order, is called a Sidon sequence. Sidon sets in ℤ\Z are also called Golomb rulers when they are finite.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abelian group concept
  2. Sidon set definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Sidon_sequence
About this page
TagWA74AY36GC
URIm2://WA74AY36GC
Kinddefinition
WritingW0 stub
MSC11B83, 11B13, 05B10
DefinesSidon set
UsesAbelian group
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.