LEON N 9 :

Proprits axiomatiques de N.
Construction de Z.

Pr-requis :
Notions dalgbre (injection, relation dquivalence, classes, groupes, anneaux, morphismes) ;
Relation dordre total.

9.1 Axiomatiques dfinissant N

9.1.1 De Pano
Il existe un ensemble N non vide, et vrifiant les axiomes suivants :
(i) Il existe une injection : N 7 N appel succession ;
(ii) Il existe un lment de N , not 0, tel que 0 6 (N ) ;
(iii) Tout sous-ensemble E de N contenant 0 et stable par est gal N .

Le successeur de 0, (0), est not 1. Le successeur (1) de 1 est not 2, etc. Lensemble N \{0} sera not N .

Le dernier axiome est appel axiome de rcurrence. En effet, soit E un sous-ensemble de N . Dans ce cas,


E stable par (E) E n E, (n) E n E (n) E .
Lexistence dun tel ensemble peut tre tablie par une construction trs usuelle dans le cadre de la thorie
des ensembles. Lunicit sobtient en montrant que tous les ensembles vrifiant ces trois axiomes sont
isomorphes, ce qui nous permettra den choisir un, que nous noterons N et qui sera appel ensemble des
entiers naturels.

9.1.2 Ordinale
Il existe un ensemble N non vide, et vrifiant les axiomes suivants :
(I) N est bien ordonn (N est muni dune relation dordre 6 et toute partie non vide de N admet un plus
petit lment) ;
(II) N nest pas major ;
(III) Toute partie non vide majore de N possde un plus grand lment.

Lexistence est ici admise, et on montre que deux ensembles vrifiant ces trois axiomes sont isomorphes,
ce qui permet galement den choisir un qui sera galement not N et appel ensemble des entiers naturels.
Nous verrons plus loin que ces deux axiomatiques sont quivalentes, ce qui nous a permis de donner le
mme nom aux deux ensembles qui en rsultent.
Dans la suite, nous supposerons N construit grce laxiomatique de Pano.
2 Proprits axiomatiques de N. Construction de Z.

9.1.3 Thorme de rcurrence

Thorme 1 : Soit P (n) une proposition

dpendant dun entier naturel n. Si P (0) est vraie et si pour
tout n N, on a P (n) P (n) , alors P (n) est vraie pour tout n N.

dmonstration : Soit E = {n N | P (n) vraie}. Alors 0 E est vident. De plus, on a P (n)



P (n) n E (n) E E stable par . E vrifie donc laxiome de rcurrence, do
E = N, et il vient que P (n) est vraie pour tout n N. 

Remarque 1 : Inversement, on peut montrer que si un ensemble E vrifie laxiome de rcurrence, il vrifie aussi
le thorme de rcurrence : en effet, dfinissons pour tout entier naturel n la proposition P (n) par P (n) : n appar-
tient E. Alors 0 E implique que P (0) est vraie, et E stable par implique que n E (n) E, soit
P (n) P (n + 1).

9.1.4 Construction de laddition

Thorme 1 : Il existe une unique application : N N N telle que
a. pour tout entier p, (p, 0) = p ;



b. pour tous entiers p, q, p, (q) = (p, q) .

dmonstration :
Existence : Notons P lensemble

naturels n tels quil existe n : N N vrifiant
des entiers
n (0) = n et n (m) = n (m) pour tout m N. Remarquons dj que 0 , lidentit
sur N, vrifie les proprits requises permettant daffirmer que 0 P .
Supposons maintenant que
n P et montrons que (n) P . Posons pour
tout entier naturel
m, (n) (m) = n (m) . Nous avons dune part que (n) (0) = n (0) = (n), et dautre
part, pour tout entier m,


nP


(n) (m) = n ((m)) = (n (m)) = (n) (m) .

On a donc bien (n) P , et on en dduit que P = N (axiome de rcurrence), impliquant

lexistence pour tout n N de lapplication n , impliquant enfin lexistence de la fonction en
posant (n, m) = n (m).

Unicit : Supposons quil existe une autre fonction : N N N telle que pour tous p, q N, on
ait


(p, 0) = p et p, (q) = (p, q) .
Soit n N. Posons Pn = {m N | (n, m) = (n, m)}, et vrifions que 0 Pn : nous
remarquons que (n, 0) = n = (n, 0).
Supposons maintenant quun entier m soit dans Pn . Montrons que (m) Pn . On a





n, (m) = (n, m) = (n, m) = n, (m) .

Il sen suit que Pn = N (axiome de rcurrence). Puisque n est arbitraire, nous en dduisons que
= .

Proprits axiomatiques de N. Construction de Z. 3

Nous convenons de noter (p, q) = p + q et dappeler lapplication infixe laddition des entiers.

Proposition 1 : Laddition des entiers possde les proprits suivantes (pour tous p, q, r N) :
1. p + 0 = p et (p) = p + 1 ;
2. (p + q) + r = p + (q + r) : laddition est associative ;
3. p + q = q + p : ladition est commutative ;
4. p + r = q + r p = q : laddition est rgulire ;
5. p + q = 0 p = q = 0.

dmonstration :
1. Il suffit dintroduire la notation frachement introduite dans le thorme prcdent : pour b., on a :



p + 1 = p + (0) = p, (0) = (p, 0) = (p).

2. Montrons lassociativit par rcurrence sur lentier r. Soient p, q N des entiers quelconques.
Initialisation : (p + q) + 0 = (p + q, 0) = p + q = p + (q, 0) = p + (q + 0).
Hrdit : Lhypothse de rcurrence est : "(p+q)+r = p+(q+r)"

(quivalente (p+q, r) =
(p, q + r)). Montrons que (p + q) + (r) = p + q + (r) . Alors


H.R.

(p + q) + (r) = p + q, (r) = (p + q, r) = (p, q + r)


= p, (q + r) = (p, q + r + 1) = p + (q + r + 1)


= p + q + (r) .

3. Montrons la commutativit par rcurrence sur lentier q. Soit p N un entier quelconque.

Initialisation : On sait dj que p + 0 = p. Montrons alors que 0 + p = p par rcurrence sur p.
Lorsque p = 0, on a 0 + 0 = 0 (daprs a.). En supposant que 0 + p = p, on a
H.R.
0 + (p + 1) = (0 + p) + 1 = p + 1.

La rcurrence sachve ici, et on en dduit que p + 0 = 0 + p. Bien que linitialisation soit

montre, montrons que cette galit est aussi vraie au rang 1 :



On sait dj que p + 1 = (p, 1) = p, (0) = (p, 0) = (p). Montrons alors par
rcurrence sur p que 1 + p = (p). Pour p = 0, on a 1 + 0 = (1, 0) = 1 = (0). Lorsquon
suppose que lgalit 1 + p = (p) est vraie, on a
H.R.
1 + (p + 1) = (1 + p) + 1 = (p) + 1 = (p + 1) + 1 = (p + 1).

La rcurrence sachve, prouvant que p + 1 = 1 + p.

Hrdit : Lhypothse de rcurrence est : "p + q = q + p" (rappelons que p est un entier
quelconque). Montrons que p + (q) = (q) + p. Alors
H.R.
p + (q) = p + (q + 1) = p + (1 + q) = (p + 1) + q = q + (p + 1)
= q + (1 + p) = (q + 1) + p = (q) + p.

4. Montrons la rgularit par rcurrence sur lentier r. Soient p, q N deux entiers quelconques.
Initialisation : Puisque p + 0 = p et q + 0 = q, on a directement que p + 0 = q + 0 p = q.
4 Proprits axiomatiques de N. Construction de Z.

Hrdit : Lhypothse de rcurrence est : "p + r = q + r p = q". Montrons que p + (r) =

q + (r) p = q. Alors

p + (r) = q + (r) p + (r + 1) = q + (r + 1) p + (1 + r) = q + (1 + r)
H.R.
(p + 1) + r = (q + 1) + r p + 1 = q + 1
(p) = (q) p = q (car est injective).

5. Le sens indirect est trivial. Montrons alors le sens direct par contrapose : supposons que lun des
entiers ne soit pas nul, par exemple q (cela implique quil existe q N tel que q = (q )), et
montrons que dans ce cas, p + q 6= 0. Puisque q 6= 0,



p + q = (p, q) = p, (q ) = (p, q ) .

On constate que p + q est le successeur dun entier naturel, donc p + q ne peut pas tre nul.


9.1.5 Construction de la multiplication

Nous utilisons laddition que nous venons de dfinir afin dnoncer le thorme suivant :

Thorme 2 : Il existe une unique application : N N N telle que :

a. Pour tout entier p, (p, 0) = 0 (0 est dit lment absorbant) ;


b. Pour tous entiers p, q, p, (q) = (p, q) + p.

dmonstration :
Existence : Posons Q lensemble

des entiers naturels n tel quil existe n : N N N vrifiant
n (0) = 0 et n (p) = n (p) + n pour tout p N. On remarque que la fonction 0 dfinie
par 0 (m) = 0 (pour tout entier m) possde les proprits requises, permettant daffirmer que
0 Q. Supposons alors que n Q et montrons que (n) Q. Posons

(n) (m) = n (m) + m.

Nous avons dune part que (n) (0) = n (0) + 0 = 0, et dautre part


nQ
(n) (m) = n (m) + (m) = n (m) + n + (m) = (n) (m) + (n).

Do Q = N, et lapplication n existe pour tout entier naturel n. Nous dfinissons alors :

N N par (n, m) = n (m). Il est clair, daprs ce qui prcde, que possde les proprits
a. et b.

Unicit : Supposons quil existe une autre fonction : N N N telle que pour tous p, q N,


(p, 0) = 0 et p, (q) = (p, q) + p.

Prenons un entier n et posons Qn = {m N | (n, m) = (n, m)}. Il est facile de vrifier par
rcurrence (sur m) que Qn = N car 0 Qn et le successeur de tout lment de Qn est dans Qn :



n, (m) = (n, m) + n = (n, m) + n = n, (m) .

Do = .

Proprits axiomatiques de N. Construction de Z. 5

Nous convenons alors de noter (p, q) = p q (ou encore p q ou simplement pq), et dappeler la multi-
plication des entiers naturels.

Proposition 2 : La multiplication des entiers possde les proprits suivantes (pour tous p, q, r N) :
1. p 0 = 0 et p 1 = p;
2. p q = 0 p = 0 ou q = 0 ;
3. p (q + r) = p q + p r : la multiplication est distributive par rapport laddition ;
4. p q = q p : la multiplication est commutative ;
5. (p q) r = p (q r) : la multiplication est associative ;
6. r N, p r = q r p = q : la multiplication est rgulire.

dmonstration :
1. Dcoulent de la dmonstration prcdente.
2. Daprs 1., le sens indirect est trivial. Montrons alors le sens direct. Pour cela, nous supposons
lquivalence entre les axiomatiques dmontre, ce qui nous permet dutiliser la relation dordre
de N. Supposons q 6= 0. Alors q > 1, donc il existe s N tel que q = 1 + s. Dans ce cas,
pq = p(1 + s) = p + ps. Or ps N, donc ps > 0 pq > p, et p > 1. Do pq 6= 0, ce qui est
absurde.

3. Montrons la distributivit par rcurrence sur lentier r. Soient p, q N des entiers quelconques.
1.
Initialisation : Lorsque r = 0, on a p(q + 0) = pq = pq + p 0, do lgalit.


Hrdit : Supposons que p(q + r) = pq + pr et montrons que p q + (r) = pq + p(r) :




p q + (r) = p q + (r + 1) = p (q + r) + 1 (daprs 2. de prop. 1)
df. H.R.
= p(q + r) = p(q + r) + p = (pq + pr) + p
H.R.
= pq + (pr + p) = pq + (pr + p 1) = pq + p(r + 1).

4. Avant de montrer la commutativit, montrons par rcurrence sur un entier b que pour tout a N,
on a ab + b = (a + 1)b.
Initialisation : Lorsque b = 0, on a a 0 + 0 = 0 et (a + 1) 0 = 0, do lgalit.
Hrdit : Lhypothse de rcurrence est : "ab + b = (a + 1)b". Montrons alors que
a(b) + (b) = (a + 1)(b) :

2.
a(b) + (b) = a(b + 1) + (b + 1) = (ab + a) + (b + 1) = ab + b + a + 1
H.R. 2.
= (a + 1)b + (a + 1) = (a + 1)(b + 1) = (a + 1)(b).

Nous noterons cette proprit (). On souhaite maintenant montrer la commutativit par rcur-
rence sur lentier p. Soit q un entier quelconque.
Initialisation : On sait dj que q 0 = 0. Montrons alors que 0 q = 0 par rcurrence sur q.
Lorsque q = 0, on a 0 0 = 0 (daprs 1.). En supposant ensuite que 0 q = 0, on a

H.R.
0 (q) = 0, (q) = (0, q) + 0 = 0 + 0 = 0.

La rcurrence sachve ici, et on en dduit que 0 q = q 0 = 0.

6 Proprits axiomatiques de N. Construction de Z.

Hrdit : Lhypothse de rcurrence est : "pq = qp". Montrons alors que (p)q = q(p) :

H.R. ()
q(p) = q(p + 1) = qp + q = pq + q = (p + 1)q = (p)q.

5. Montrons lassociativit par rcurrence sur lentier p. Soient q, r N des entiers quelconques.
Initialisation : Daprs 1, on a que (0 q)r = 0 r = 0 et 0 (qr) = 0, do le rsultat.
Hrdit : Lhypothse de
rcurrence est : "(pq)r = p(qr)" (quivalente (pq, r) = (p, qr)).
Montrons que (p)q r = (p)(qr). Alors



(p)q r = q(p) r = (qp + q)r
= r(qp + q) = rqp + rq = qrp + qr = (qr)(p)
= (p)(qr).

6. A nouveau, nous utiliserons la relation dordre sur N. Quitte inverser les rles de p et q, on
peut supposer que p > q, impliquant lexistence dun entier naturel s tel que p = q + s. Alors
pr = qr = (q + s)r = qr + sr. Par rgularit de laddition, ceci implique que sr = 0, donc
(daprs 2.) que r = 0 ou s = 0. Or r N , donc il vient que s = 0, soit p = q.


9.1.6 quivalence entre les axiomatiques

Pour pouvoir appeler deux ensembles dfinis de manire diffrente avec le mme nom, il faut au pralable
prouver que ces deux axiomatiques sont quivalentes.

Montrons dj que laxiomatique de Pano implique laxiomatique ordinale.

dmonstration :
Montrons que (N, 6) est un ensemble bien ordonn : Dfinissons tout dabord la relation 6 :

p, q N, q 6 p r N | p = q + r.

r = 0 donne la rflexivit de la relation.

Soient p, q N. Supposons que p 6 q et q 6 p. Alors il existe r, r N tels que q = p + r
et p = q + r . Dans ce cas, q = (q + r + r), et par rgularit de laddition, r + r = 0. La
proposition 1 permet de conclure que r = r = 0, cest--dire p = q. la relation 6 est donc
antisymtrique.
Soient a, b, c N. Alors a 6 b et b 6 c impliquent lexistence de r, r N tels que b = a + r et
c = b + r . Do c = (a + r) + r = a + (r + r ). En posant r = r + r N, on trouve bien
a 6 c, ce qui rend la relation 6 transitive.
Dans tous les cas, on aura toujours p = q + r, ou alors q = p + r si la prcdente galit est
impossible, car les deux membres sont des lments gaux de N. Cela rend la relation totale.

On peut alors dfinir pour tous p, q N :

p < q p + 1 6 q.

Montrons que toute partie non vide de N admet un plus petit lment. Pour toute partie E N non
vide, on note M lensemble des minorants de E. M est non vide puisquil contient ncessairement
0. De plus, il existe p M tel que p + 1 6 M (en effet, (III) entranerait que M = N et donc
Proprits axiomatiques de N. Construction de Z. 7

E = ). Supposons alors que p 6 E : dans ce cas, pour tout n E, lingalit p < n implique
p + 1 6 n et p + 1 sera un minorant de E, ce qui est absurde. Do p E, et on en dduit que p
est le plus petit lment de E.

Montrons que N nest pas major : Si tait un majorant de N, on aurait que + 1 6 . Mais
puisque 6 + 1, on aurait = + 1, soit 0 = 1 par rgularit de laddition. Ceci est absurde.

Montrons que toute partie non vide majore de N possde un plus grand lment : Soient F N
une partie non vide et majore, et M lensemble des majorants de F . M nest pas vide donc
possde un plus petit lment m. Ncssairement, m F (procder par labsurde en utilisant le
prdcesseur de m) et m est le plus grand lment de F .


Montrons maintenant que laxiomatique ordinale implique laxiomatique de Pano.

dmonstration :
Montrons quil existe une injection : N N : Soit : N N dfinie par (n) = n + 1. Alors
pour tous n, m N,
(n) = (m) n+1=m+1 n = m.
est donc injective.
Montrons que 0 6 (N) : Supposons que 0 (N). Alors il existe un entier n tel que n + 1 = 0.
Daprs la proposition 1, on a donc n = 1 = 0, en particulier 1 = 0, ce qui est absurde.
Montrons laxiome de rcurrence : Soit E N. Supposons (par labsurde) que E 6= N. Dans ce
cas, le complmentaire de E dans N nest pas vide, donc possde un plus petit lment que nous
noterons m. Puisque 0 E par hypothse, m 6= 0 donc admet un prdcesseur n (tel que
n + 1 = m) qui appartient E. Mais lhypothse implique que n + 1 = m E, ce qui est
absurde, donc E = N, et laxiome de rcurrence est dmontr.


9.2 Construction de Z
Nous venons de voir la "construction" de N et de ses lois. Par contre, tant donns p, q N, la question de
savoir sil existe un entier naturel r tel que p = q + r ne trouve de solution que lorsque p > q. Nous allons
donc construire un ensemble contenant N tel que lquation p = q + r trouve toujours une solution.

9.2.1 Construction
On note N N lensemble des couples dentiers naturels. Dans cet ensemble de couples, on a trivialement
que (a, b) = (a , b ) a = a et b = b . On dfinit alors une relation (dquivalence - facile montrer) R
entre couple dentiers par
(a, b) R (a , b ) a + b = a + b.
Les classes dquivalence de N N pour la relation dquivalence R forment un ensemble not Z et appel
ensemble des entiers relatifs. On peut donc crire que :
n o
Z = (N N)/R = (a, b), a, b N .
8 Proprits axiomatiques de N. Construction de Z.

9.2.2 Addition dans Z

Soient x, y Z. Choisissons (p, q), (p , q ) deux reprsentants de x et (r, s), (r , s ) deux reprsentants de
y. On remarque que
(p + r, q + s) R (p + r , q + s ),
ce qui implique que (p + r, q + s) et (p + r , q + s ) dterminent la mme classe dans Z. On peut donc
dfinir lopration note provisoirement :

a, a , b, b N, (a, b) (a , b ) = (a + a , b + b ).

Thorme 2 : (Z, ) est un groupe commutatif.

dmonstration :
Associativit : Elle est assure par celle de la loi + dans N. En effet, on a


(a, b) (a , b ) (a , b ) = (a + a , b + b ) (a , b ) = (a + a + a , b + b + b ),

et


(a, b) (a , b ) (a , b ) = (a, b) (a + a , b + b ) = (a + a + a , b + b + b ),



do lgalit (a, b) (a , b ) (a , b ) = (a, b) (a , b ) (a , b ) .
Elment neutre : Remarquons que pour tout (a, b) Z, (a, b) (0, 0) = (a + 0, b + 0) = (a, b). De
mme, on montre que (0, 0) (a, b) = (a, b), donc (0, 0) est bien llment neutre recherch.
Symtrique : Pour tout (a, b) Z, il existe (b, a) Z tel que

(a, b) (b, a) = (a + b, a + b) = (0, 0).

Commutativit : La commutativit est assure par celle de la loi + dans N.



On note (a, b) Z loppos de llment (a, b) Z, de sorte que (a, b) = (b, a).

Proposition 3 : Lapplication f : N Z dfinie par f (a) = (a, 0) est un homomorphisme injectif

de monodes.

dmonstration : En effet, pour tous a, b N,

f (a + b) = (a + b, 0) = (a, 0) (b, 0) = f (a) f (b).

Par ailleurs, cette application est clairement injective, puisque demander que les classes de (a, 0) et
(b, 0) soient gales revient justement demander que a = b. 
Proprits axiomatiques de N. Construction de Z. 9

Lapplication f est un plongement de N dans Z qui permet didentifier N et f (N) en crivant a = (a, 0)
pour tout a N. Avec cette identification, lensemble N devient une partie de Z. Loppos de a N dans
Z est (0, a) = (a, 0), ce que lon crit a.
De plus, la dmonstration prcdente nous informe que f gnralise laddition dans N, nous permettant
dsormais dcrire + la place de .

Thorme 3 : Soit N la partie de Z forme des opposs des lments de N. Alors

1. Z = N (N) ;
2. N (N) = {0} ;
3. Si a > b, lunique entier naturel (not a b) solution de lquation b + x = a concide avec
la somme a + (b) de a et de loppos (b) de b.

dmonstration :


3. b + a + (b) = a a + (b) = a b quand a > b.
1. Pour tout (a, b) Z, on a :

(a b, 0) = a b N si a>b
(a, b) = (a b, 0) =
(0, b a) = (b a) N si a 6 b.

2. Pour tous a, b N,

a = b (a, 0) = (0, b) a+b=0 a = b = 0.

9.2.3 Multiplication dans Z

Soient (a, b) = (a , b ) et (c, d) = (c , d ). Alors


(a + b )c = (b + a )c
ac + b c = bc + a c
a + b = b + a (a + b )d = (b + a )d bd + a d = ad + b d


c+d =c +d


a(c + d ) = a(d + c )

ac + ad = ad + ac

b(c + d ) = b(d + c ) bd + bc = bc + bd .

En additionnant membre membre, les galits du dernier systme, on trouve :

(ac + bd) + (b c + a d ) = (bc + ad) + (a c + b d ),

cest--dire
(ac + bd, bc + ad) = (a c + b d , b c + a d ),
galit qui nous permet de poser la dfinition suivante :

(a, b), (c, d) Z, (a, b) (c, d) = (ac + bd, bc + ad).

10 Proprits axiomatiques de N. Construction de Z.

Thorme 4 : Cette multiplication est commutative, associative et distributive par rapport laddi-
tion. Llment (1, 0) est llment neutre pour cette multiplication. De plus, cette opration gnra-
lise la multiplication dans N puisque tous a, b N, on a :

f (a) f (b) = (a, 0) (b, 0) = (ab, 0) = f (ab).

dmonstration :
Commutativit et associativit : Consquence de la commutativit et de lassociativit des lois + et
dans N.
Ditributive : Pour tous x1 , x2 , y1 , y2 , z2 , z2 N, on a :

(x1 , y1 ) (y1 , y2 ) + (z1 , z2 )

= (x1 , x2 ) (y1 + z1 , y2 + z2 )


= x1 (y1 + z1 ) + x2 (y2 + z2 ), x2 (y1 + z1 ) + x1 (y2 + z2 ) ,

et

(x1 , y1 ) (y1 , y2 ) + (x1 , y1 ) (z1 , z2 )

= (x1 y1 + x2 y2 , x2 y1 + x1 y2 ) + (x1 z1 + x2 z2 , x2 z1 + x1 z2 )


= x1 (y1 + z1 ) + x2 (y2 + z2 ), x2 (y1 + z1 ) + x1 (y2 + z2 ) ,

do lgalit.
lment neutre : Pour tous a, b N, on a

(a, b) (1, 0) = (a 1, b 0, b 1, a 0) = (a, b).

Remarque 2 : Comme pour laddition, nous nous sommes permis dutiliser le mme symbole pour la multiplica-
tion dans N et Z grce la gnralisation exprime par ce thorme.

Avec les notations prcdemment tablies, on peut donner les premires proprits de la multiplication dans
Z : pour tous entiers naturels a et b,
(a, 0) (b, 0) = (ab, 0) a b = ab ;
(a, 0) (0, b) = (0, ab) a (b) = (ab) ;
(0, a) (0, b) = (ab, 0) (a) (b) = ab.

Thorme 5 : (Z, +, ) est un anneau commutatif unitaire, et lapplication f est un homomorphisme

injectif pour les lois + et .

dmonstration : Consquence du thorme 3. 

Proprits axiomatiques de N. Construction de Z. 11

9.3 Remarques
Lide pour la construction de Z est de partir de lide intuitive quon en a : trouver un inverse chaque
lment de N ! Si lon veut dfinir 2 avec des entiers naturels, on a envie de le voir comme 0 2 ou 3 5,
etc. Les difficults sont que lcriture nest pas unique et que la "soustraction" na aucun sens dans N. Pour
nous enlever cette difficult, on va donc considrer quune paire dentiers naturels (a, b) correspondra
l"entier relatif" a b. Malheureusement, cela nenlve pas le problme dunicit, empchant ainsi le choix
de N N pour lensemble Z. On va donc regrouper les paires qui correspondent au mme "entier relatif"
(par exemple (0, 2) et (3, 5)).

La relation dquivalence (a, b) R (a , b ) a + b = a + b permet de supprimer cette autre difficult. On

notera quintuitivement, cela correspond aussi b a = b a , traduisant bien quil sagit du mme "entier
relatif" !

Le morphisme de monodes f sert voir un entier naturel comme cas particulier dun entier relatif (ce qui
est conforme lide quon se faisait de Z). Il faut alors vrifier que ce morphisme prolonge bien laddition
et la multiplication de N Z, ce qui est facile faire. Il en dcoule aussi que les propositions 1 et 2 restent
valables pour tous lments p, q, r Z.