Snevily's conjecture: Difference between revisions

From Groupprops
No edit summary
Line 3: Line 3:
==Statement==
==Statement==


Let <math>G</math> be an [[fact about::odd-order Abelian group]] and <math>A, B</math> be subsets of <math>G</math> of equal cardinality. Then, there is a bijection <math>\varphi:A \to B</math> such that the sums <math>a + \varphi(a)</math> are distinct for all <math>a \in A</math>.
Let <math>G</math> be an [[fact about::odd-order abelian group]] and <math>A, B</math> be subsets of <math>G</math> of equal cardinality. Then, there is a bijection <math>\varphi:A \to B</math> such that the sums <math>a + \varphi(a)</math> are distinct for all <math>a \in A</math>.


==Relation with other conjectures==
==Relation with other conjectures==

Revision as of 16:43, 5 March 2009

This article is about a conjecture in the following area in/related to group theory: additive combinatorics. View all conjectures and open problems

Statement

Let G be an Odd-order abelian group (?) and A,B be subsets of G of equal cardinality. Then, there is a bijection φ:A→B such that the sums a+φ(a) are distinct for all a∈A.

Relation with other conjectures

Progress towards the conjecture

For subsets of size two

Further information: Snevily's conjecture for subsets of size two

If A,B are subsets of size two in an Abelian group of odd order, Snevily's conjecture holds. This is easy to verify.

For cyclic groups

Snevily's conjecture has been proved for groups of odd prime order by Alon, and for all odd-order cyclic groups by Dasgupta, Karolyi, Serra, and Szegedy.

References

Journal references

External links