PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (195)
Orphanage
Unclass'd
Unproven (498)
Corrections (25)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: Very high
integer (Definition)

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 djao.
(view preamble)

View style:

Other names:  $\mathbb{Z}$

Attachments:
sums of two squares (Theorem) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: function, absolute value, 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 1119 references to this entry.

This is version 7 of integer, born on 2001-10-19, modified 2003-06-30.
Object id is 403, canonical name is Integer.
Accessed 34053 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
1. defines, synonym by pahio on 2008-07-31 16:04:41
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy
Zahlen by Wkbj79 on 2003-03-10 17:16:07
I would mention why Z is used to denote the integers. It was first used by Germans, since they call the set "Zahlen", which means "numbers".
[ reply | up ]
also by antizeus on 2001-10-20 00:11:56
I'd add a note about how (a,b) maps to a-b in the isomorphism.
[ reply | up ]
Interact
post | correct | update request | add derivation | add example | add (any)