|
|
|
|
|
The set of integers, denoted by the symbol $\mathbb{Z}$ , is the set $\{\dots -3, -2, -1, 0, 1, 2, 3, \dots\}$ consisting of the natural numbers and their negatives.
Mathematically, $\mathbb{Z}$ is defined to be the set of equivalence classes of pairs of natural numbers $\mathbb{N} \times \mathbb{N}$ under the equivalence relation $(a,b) \sim (c,d)$ if $a+d = b+c$ .
Addition and multiplication of integers are defined as follows:
- $(a,b)+(c,d) := (a+c,b+d)$
- $(a,b)\cdot(c,d) := (ac+bd,ad+bc)$
Typically, the class of $(a,b)$ is denoted by symbol $n$ if $b \leq a$ (resp. $-n$ if $a \leq b$ ), where $n$ is the unique natural number such that $a=b+n$ (resp. $a+n=b$ ). Under this notation, we recover the familiar representation of the integers as $\{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}$ . Here are some examples:
- $0 = $ equivalence class of $(0,0) = $ equivalence class of $(1,1) = \dots$
- $1 = $ equivalence class of $(1,0) = $ equivalence class of $(2,1) = \dots$
- $-1 = $ equivalence class of $(0,1) = $ equivalence class of $(1,2) = \dots$
The set of integers $\mathbb{Z}$ under the addition and multiplication operations defined above form an integral domain. The integers admit the following ordering relation making $\mathbb{Z}$ into an ordered ring: $(a,b) \leq (c,d)$ in $\mathbb{Z}$ if $a+d \leq b+c$ in $\mathbb{N}$ .
The ring of integers is also a Euclidean domain, with valuation given by the absolute value function.
|
"integer" is owned by CWoo. [ full author list (2) | owner history (1) ]
|
|
(view preamble | get metadata)
See Also: irrational
| Other names: |
rational integer,  |
|
|
Cross-references: function, valuation, Euclidean domain, ring of integers, ordered ring, ordering relation, integral domain, operations, representation, class, multiplication, addition, equivalence relation, equivalence classes, negatives, natural numbers
There are 1257 references to this entry.
This is version 8 of integer, born on 2001-10-19, modified 2008-09-11.
Object id is 403, canonical name is Integer.
Accessed 41630 times total.
Classification:
| AMS MSC: | 03-00 (Mathematical logic and foundations :: General reference works ) | | | 11-00 (Number theory :: General reference works ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
