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 aba-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 nNn\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.