II. L'ordre (a), (b), (c)
Objekttyp: Chapter
Zeitschrift: L'Enseignement Mathématique
Band (Jahr): 13 (1967)
Heft 1: L'ENSEIGNEMENT MATHÉMATIQUE
PDF erstellt am: 21.04.2017
Nutzungsbedingungen
Die ETH-Bibliothek ist Anbieterin der digitalisierten Zeitschriften. Sie besitzt keine Urheberrechte an
den Inhalten der Zeitschriften. Die Rechte liegen in der Regel bei den Herausgebern.
Die auf der Plattform e-periodica veröffentlichten Dokumente stehen für nicht-kommerzielle Zwecke in
Lehre und Forschung sowie für die private Nutzung frei zur Verfügung. Einzelne Dateien oder
Ausdrucke aus diesem Angebot können zusammen mit diesen Nutzungsbedingungen und den
korrekten Herkunftsbezeichnungen weitergegeben werden.
Das Veröffentlichen von Bildern in Print- und Online-Publikationen ist nur mit vorheriger Genehmigung
der Rechteinhaber erlaubt. Die systematische Speicherung von Teilen des elektronischen Angebots
auf anderen Servern bedarf ebenfalls des schriftlichen Einverständnisses der Rechteinhaber.
Haftungsausschluss
Alle Angaben erfolgen ohne Gewähr für Vollständigkeit oder Richtigkeit. Es wird keine Haftung
übernommen für Schäden durch die Verwendung von Informationen aus diesem Online-Angebot oder
durch das Fehlen von Informationen. Dies gilt auch für Inhalte Dritter, die über dieses Angebot
zugänglich sind.
Ein Dienst der ETH-Bibliothek
ETH Zürich, Rämistrasse 101, 8092 Zürich, Schweiz, www.library.ethz.ch
http://www.e-periodica.ch
Apropos des ensembles finis, on aura mis en evidence l'importante
propriete sxiivante :toute application injective (resp. surjective) d'un ensemble
fini dans lui-meme est bijective. On pourra dire aux eleves que cette pro
priete caracterise les ensembles finis, et leur montrer une application
injective (resp. surjective) /de Ndans lui-meme qui n'est pas bijective; par
exemple/(V) =In (resp. /(rc) =n-1pour n>1et/(O) == 0).
Enfin, etant donnes un groupe G(commutatif pour simplifier, et note
additivement) et un sous-groupe Hde G, on aura montre que la relation
x?yeHest une relation d'equivalence dans G(bien entendu des exemples
seront les bienvenus ici, les congruences si Ton veut). La classe de xest
I'ensemble traditionnellement note x+H, et est en correspondance biuni
voque avec H. Avec la notation card (E) pour le nombre d'elements d'un
ensemble fini E, on en deduit aussitot:
Théorème. Si Gest un groupe commutatiffini et si Hest un sous-groupe
de G, alors card (H) divise card (G).
Bien entendu l'hypothese de commutativite est inutile.
II. L'ordre (a), (b), (c)
1) Soit n>1un entier naturel. Les multiples de nforment un sous
groupe nZ de Z. La relation d'equivalence x?yenZ dans Zest appelee
la relation de congruence modulo n, et est notee x=y(mod. n). On definit,
sur Fensemble Z/nZ de ces classes d'equivalence, une structure de groupe
additif, puis une structure d'anneau, deduites de celles de Z. Tout ceci est
bien classique.
On demontre alors le theoreme de la division euclidienne tout entier
xe Zs'ecrit, d'une fagon et d'une seule, sous la forme x=bn +ravec
b, reZet 0<m<n?1»). On en deduit aussitot que Z/nZ aexactement
nelements, asavoir les classes de 0, 1, ..., n?1. On illustre ici le cours par
des exercices de calculs modulo de petits entiers n, et par I'etablissement des
tables d'addition et de multiplication de Z/nZcorrespondantes. La recherche
d'inverses dans ces tables de multiplication amene tres naturellement au
theoreme suivant:
Théorème. Soit pun entier >2. «p premier »équivaut à« Z/pZ es?
w/î corps ».
Esquisse de démonstration: Si pn'est pas premier, on écrit p=ab
avec a, Z> >1, et la classe de adans Z//?Z n'est pas inversible. Si pest
premier, on considere un element non nul xde Z/pZ, et le sous-groupe
additif Hforme de x, 2x, 3x, ...; comme card (H) divise card (ZjpZ) =p
I), on en deduit que card (H) =p, done H=Z/pZ; ainsi xest inver
sible et Z/pZ est un corps.
Enfin la traduction de «un corps n'a pas de diviseurs de zero »donne le
bien classique corollaire:si un nombre premier pdivise un produit ab, il
divise l'un des facteurs aou b.
2) Le corollaire precedent montre que nous avons maintenant en mains
tous les ingredients necessaires pour demontrer, de facon tres classique,
l'unique decomposition des entiers en facteurs premiers. II serait done
presque inutile de developper, s'il ne fallait pas mettre en garde les pro
fesseurs contre d'inutiles et traditionnelles dichotomies.
On commencera par etablir Yexistence de la decomposition en facteurs
premiers :
Proposition 1. Tout nombre a> 1admet un diviseur premier.
En effet Pensemble des diviseurs n>1de an'est pas vide (il contient a).
Done il contient un plus petit element p, et on voit que pest premier. II n'y
apas besoin de separer les cas «apremier », «anon-premier ».
Proposition 2. Tout nombre a> 1est produit de nombres premiers.
On procede par recurrence en supposant l'assertion vraie pour tout
entier btel que 1<b<a. Dans cette forme du raisonnement par recurrence,
il n'est pas logiquement necessaire de «commencer la recurrence »; mais,
comme il yade la «logique de Fensemble vide »la-dessous, le professeur
preferera peut-etre epargner cette subtilite ases eleves ;alors la verification
du cas a=2n'est pas fatigante !Ceci etant, la prop. 1montre qu'on peut
ecrire a=bp avec ppremier et b<a; si b>1, on applique Phypothese
de recurrence.
N. B. II faut ici faire comprendre aux eleves qu'on admet des
produits dun facteur. Ceci compris, il faudra introduire la convention
qu'un produit de zero facteurs est le nombre 1.
Vient alors le joli complement que Pensemble Pdes nombres premiers
est infini: classiquement, on prend nnombres premiers distincts pl9 ...,pnet
on forme le nombre 1+ p1p2...pn;par la prop. 1, il admet un diviseur
premier q(pas besoin de separer les cas !); on montre que qest distinct
Vunicite de la decomposition en facteurs premiers se demontre alors
bien classiquement, au moyen du dernier corollaire du 1). Ici, il est sou
haitable que les eleves aient atteint une capacite d'abstraction telle qu'il leur
soit possible d'utiliser la tres commode notation
(i)
pour la decomposition de xen facteurs premiers; dans celle-ci Pdesigne
l'ensemble des nombres premiers, et les exposants vp(x) sont des entiers
naturels, tous nuls al'exception d'un nombre fini. ,
3) L'application aux diviseurs et aux multiples aalors la meme armature
logique (sinon les memes notations) que dans la classe franchise de quatrieme
(ou Ton admet l'unicite de la decomposition en facteurs premiers). Avec la
notation de (1), on a
De plus la condition de divisibility x\y s'ecrit: vp(x) <vp(y) pour tout
peP. On en deduit aussitot l'existence du pged Jet du ppcm mde aet b, avec
(2)
Des proprietes tres faciles des infet des sup donnent sans peine l'associativite
du pgcd et du ppcm, la formule pgcd (ab, ac) =apgcd (b, c), et (si Ton
veut) la distributivite du pgcd par rapport au ppcm et inversement. Arrives
ace point on peut utiliser la methode classique, ou des considerations sur
les inf, pour demontrer le fameux «lemme d'Euclide »: si adivise be et est
premier ab, il divise c(ce resultat est parfois improprement appele «lemme
de Gauss », mais il est explicitement dans les Elements d'Euclide; d'ailleurs,
s'il avait fallu attendre Gauss pour connaitre un resultat aussi fondamental,
on se demanderait comment des arithmeticiens comme Euclide, Diophante,
Fermat ou Euler auraient pu travailler). De meme pour les autres resultats
classiques sur les nombres premiers entre eux, s'ils sont de nature purement
multiplicative.
Reste l'importante identite de Bezout. Celle-ci n'est pas une consequence
formelle de Funique decomposition en facteurs premiers ;en effet l'analogue
de cette unique decomposition est vrai dans tous les anneaux qu'on appelle
factoriels, en particulier dans Tanneau des polynomes aplusieurs variables
sur un corps; mais l'identite de Bezout n'est pas vraie dans cet anneau,
qui n'est pas un anneau principal. On doit done utiliser des proprietes plus
precises de Z. L'enonce suivant fait bien le lien avec les congruences :
Theoreme. Soient a, bdeux entiers >1. Les assertions sidyantes sont
equivalentes :
a) aet bsont premiers entre eux;
b) la classe bde be^ inversible dans Z/aZ;
c) // existe u,veZ teZy #«c au +bv =1.
Esquisse de demonstration. On raisonne «en cercle»: a) => b) => cj
=> aj. Supposons a) ;la relation Ex =0dans Z/aZ veut dire a\bx, d'ou #|#
par Euclide, et 3c =0; on en deduit, par difference, que, dans Z/aZ, la
multiplication par best injective; elle est done bijective (cf. I), d'ou l'inver
sibilite de b. Si b) est vraie, il existe ve Ztel que bv =\(mod. a), et ceci
equivaut ac). Enfin c) => a) est immediat.
III. L'ordre (b), (c), (a)
1) On commence par l'existence de la decomposition en facteurs pre
miers comme dans le 2) du §11. Pour Yunicite, on peut utiliser l'ingenieuse
demonstration suivante, due aE. Zermelo:
On montre, par recurrence sum ,que la decomposition de nen
facteurs premiers est unique. Facile (mais inutile) depart pour n=1ou 2.
On suppose l'unicite vraie pour tout entier naturel ri <n. Considerons
deux decompositions de nen facteurs premiers
et supposons les distinctes. Alors chacun des ptest distinct de chacun des
qji sinon Ton diviserait par ce facteur premier commun^ et on obtien
drait deux decompositions distinctes du nombre n/pk,contrairement a
l'hypothese de recurrence. On adone, par exemple, p1<qx;ecrivons
n=pIp' =qxq' avec p' =p2 ... pset q' =q2 ... qqt\alors q<p.
Considerons le nombre n' =(q±-pt)q' =p1 (pf-q'). On arm,i <n,
de sorte que la decomposition en facteurs premiers de ri est unique. Or,
comme rip1i =p1 (p' ?#'), p1figure dans cette decomposition; ecrivons
alors ri =(qx-p±)q; comme p1est distinct de tous les facteurs pre
miers qj de la decomposition q=q2 ... qt,et que celle-ci est unique
par rhypothese de recurrence, p±doit flgurer dans la decomposition
(unique encore) de qx?px.Mais alors pxdivise ?pu done aussi qt.
Contradiction. C.Q.F.D.
1 / 5 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !