The integers are the

Z=(N×N)/∼,(a,b)∼(c,d) ⟺ a+d=b+c,\mathbb Z=(\mathbb N\times\mathbb N)/{\sim}, \qquad (a,b)\sim(c,d)\ \Longleftrightarrow\ a+d=b+c,

where N\mathbb N denotes the . The class [a,b][a,b] represents the formal difference a−ba-b.

Arithmetic and notation

Addition and multiplication are defined by

[a,b]+[c,d]=[a+c,b+d],[a,b][c,d]=[ac+bd,ad+bc].[a,b]+[c,d]=[a+c,b+d],\qquad [a,b][c,d]=[ac+bd,ad+bc].

The zero and unit are [0,0][0,0] and [1,0][1,0], and −[a,b]=[b,a]-[a,b]=[b,a]. These operations are independent of the representatives. Identifying n∈Nn\in\mathbb N with [n,0][n,0] gives the usual notation Z={…,−2,−1,0,1,2,…}\mathbb Z=\{\ldots,-2,-1,0,1,2,\ldots\}.

Remarks

The integers extend the by including additive inverses, and they sit inside the via the identification n=n/1n = n/1. With the usual ≤\le, they form a set.

Examples
  • −3-3, 00, and 1414 are integers.
  • The equation x+3=0x+3=0 has the integer solution x=−3x=-3.