MathDB
exists a subset E of Z \to Z so that ... ?

Source: Spanish Mathematical Olympiad 1985 P2

August 2, 2018
SubsetIntegersalgebra

Problem Statement

Determine if there exists a subset EE of Z×ZZ \times Z with the properties: (i) EE is closed under addition, (ii) EE contains (0,0),(0,0), (iii) For every (a,b)(0,0),E(a,b) \ne (0,0), E contains exactly one of (a,b)(a,b) and (a,b)-(a,b).
Remark: We define (a,b)+(a,b)=(a+a,b+b)(a,b)+(a',b') = (a+a',b+b') and (a,b)=(a,b)-(a,b) = (-a,-b).