Cours D'algebre g0 Au Ucb

ENSEIGNEMENT SUPÉRIEUR ET UNIVERSITAIRE
UNIVERSITÉ CATHOLIQUE DE BUKAVU
FACULTÉ D’ARCHITECTURE ET URBANISME
COURS D’ALGÈBRE DESTINÉ AUX

ÉTUDIANTS DE
L’ANNÉE PRÉPARATOIRE AUX ÉTUDES
D’A.U.
Par Prof. Dr Adrien DUNIA MWATI

Ph.D. en Sciences
________________________________________________________________________ 1
Cours d’algèbre, première partie (G1 Mathématique-Physique, ISP/Bukavu).
Titulaire : Prof. Dr. Adrien DUNIA MWATI. 10/01/2022
TABLE DES MATIÈRES
TABLE DES MATIÈRES ......................................................................................................... 2

BIBLIOGRAPHIE SOMMAIRE ............................................................................................... 5
CHAPITRE I : ÉLÉMENTS DE LA THÉORIE DES ENSEMBLES ET NOTIONS DE
LOGIQUE MATHÉMATIQUE ................................................................................................ 6
I.1. Ensembles – Éléments ..................................................................................................... 6
I.2. Partie d’un ensemble ........................................................................................................ 7
I.3. Notions élémentaires de logique mathématique – Symboles logiques usuels ................. 8
a) Introduction ........................................................................................................................ 8
a.0. Proposition logique ...................................................................................................... 9
a.1. Axiomes, théorèmes, propositions, lemmes, corollaires ............................................ 9
a.2. La négation d’une proposition logique ........................................................................ 9
a.3. Les quantificateurs logiques ...................................................................................... 10
a.3. Tautologie – Antilogie ............................................................................................... 10
b) Notions de base sur le calcul propositionnel et sur les méthodes de démonstration en
mathématiques ...................................................................................................................... 10
b.1. Les connecteurs logiques .......................................................................................... 11
b.1.1. La conjonction logique ........................................................................................... 11
b.1.2. La disjonction inclusive ......................................................................................... 12
b.1.3. L’implication logique ............................................................................................. 14
b.1.4. La bi-implication logique ou équivalence logique ................................................. 15
b.1.5. La disjonction exclusive logique ............................................................................ 16
b.2. Formes propositionnelles .......................................................................................... 17
c. Méthodes usuelles de démonstration en sciences mathématiques................................ 18
c.1. Démonstration par implication ou par déduction successives ................................... 19
c.2. Démonstration par l’absurde ..................................................................................... 20
c.3. Démonstration par contre-exemple ........................................................................... 20
I.4. Opérations algébriques sur les ensembles ...................................................................... 21
I.4.1. Intersection .............................................................................................................. 21
I.4.2. Réunion ................................................................................................................... 22
I.4.3. Partie complémentaire d’un ensemble .................................................................... 22
I.4.4. Partition d’un ensemble .......................................................................................... 23
I.4.5. Différence de deux ensembles ................................................................................ 23
I.4.6. Différence symétrique de deux ensembles ............................................................. 23
I.4.7. Produit cartésien de deux ensembles ...................................................................... 23
I.4.8. Formes propositionnelles et opérations ensemblistes dans un référentiel donné E 24
I.4.9. Remarques et applications ...................................................................................... 25
CHAPITRE II : FONCTIONS, APPLICATIONS ................................................................... 27
II.1. Définitions et notions de base ....................................................................................... 27
II.1.0. Relation .................................................................................................................. 27
II.1.1. Fonction - Application ........................................................................................... 27
II.1.3. Fonctions particulières ........................................................................................... 28
II.1.4. Application injective, application surjective ........................................................ 28
II.1.5. Notions élémentaires d’analyse combinatoire ....................................................... 29
II.1.6. Image d’une partie par une fonction ...................................................................... 30
II.1.7. Image réciproque ................................................................................................... 30
II.1.8. Applications biunivoques (i.e. bijectives) – Puissance.......................................... 31
II.2. Permutations d’un ensemble fini .................................................................................. 31
________________________________________________________________________ 2
II.3. Composition de fonctions ............................................................................................. 33
CHAPITRE III : RELATIONS BINAIRES ............................................................................. 35
III.1. Définition et propriétés................................................................................................ 35
III.2. Relation d’ordre........................................................................................................... 36
III.2.1. Majorants, minorants et bornes d’un ensemble ordonné ...................................... 36
III.3. Relation d’équivalence ................................................................................................ 37
III.3.1. Décomposition canonique d’une application f : E  F ................................ 38
III.3.2. Notions élémentaires sur la théorie des congruences ........................................... 39
III.3.3. Notions élémentaires sur les lois de composition ................................................ 41
III.3.4. Morphismes de monoïdes..................................................................................... 44
CHAPITRE IV : L’ENSEMBLE IN DES NOMBRES ENTIERS NATURELS .................... 46
IV.0. Note liminaire ............................................................................................................. 46
IV.1. Définitions et axiomes de base ................................................................................... 47
IV.1.1. Les axiomes de Peano .......................................................................................... 48
IV.1.2. Propriétés remarquables de l’ensemble IN. Ensembles dénombrables. Ordre dans
IN ...................................................................................................................................... 48
IV.1.3. Opérations algébriques dans l’ensemble IN ......................................................... 49
CHAPITRE V : EXTENSIONS DE LA NOTION DE NOMBRE ENTIER : LES ENTIERS
RELATIFS ; LES NOMBRES RATIONNELS ...................................................................... 53
V.0. Symétrisation d’une loi de composition ....................................................................... 53
V.1. L’ensemble Z des nombres entiers relatifs ................................................................... 54
V.1.0. Introduction ........................................................................................................... 54
V.1.1. Construction de l’ensemble Z................................................................................ 55
V.1.2. Ordre dans Z .......................................................................................................... 58
V.1.3. Divisibilité dans Z ................................................................................................. 59
V.2. L’ensemble Q des nombres rationnels ......................................................................... 59
V.2.0. Note liminaire : ...................................................................................................... 59
V.2.1. Construction de l’ensemble Q des nombres rationnels (ou nombres quotients) ... 60
V.3. Notes sur l’ensemble IR des nombres réels .................................................................. 63
V.3.0. La notion de nombre réel ...................................................................................... 63
V.3.1. Description élémentaire des coupures de Dedekind dans Q en vue de définir un
nombre réel ....................................................................................................................... 63
V.3.2. Axiomes caractérisant l’ensemble des nombres réels ........................................... 65
CHAPITRE VI : STRUCTURES ALGÉBRIQUES FONDAMENTALES ........................... 66
VI.1. Structures algébriques basées sur des lois de composition uniquement internes ....... 66
VI.1.1. Groupes ................................................................................................................ 66
VI.1.2. Produit de sous-groupes d’un groupe multiplicatif .............................................. 70
VI.1.3. Sous-groupes distingués d’un groupe .................................................................. 71
VI.1.4. Groupe quotient .................................................................................................... 71
VI.1.4. Homomorphisme (ou morphisme) de groupes ..................................................... 72
VI.1.5. Anneaux ............................................................................................................... 72
VI.1.5.3. Anneau intègre (ou domaine d’intégrité) .......................................................... 74
VI.1.6. Homomorphisme (ou morphisme) d’anneaux ..................................................... 75
VI.1.7. Décomposition canonique d’un morphisme d’anneaux ....................................... 76
VI.1.8. Corps .................................................................................................................... 76
VI.2 Structures algébriques basées sur une loi de composition interne et une loi de
composition externe ............................................................................................................. 79
VI.2.1. Notions sur la structure d’espace vectoriel .......................................................... 79
VI.2.2. Notions sur la structure de module ...................................................................... 80
________________________________________________________________________ 3
CHAPITRE VII. NOTIONS ÉLÉMENTAIRES SUR L’ENSEMBLE C DES NOMBRES
COMPLEXES .......................................................................................................................... 81
VII.1. L’ensemble C des nombres complexes ...................................................................... 81
VII.1.1. Construction de l’ensemble C des nombres complexes ..................................... 81
CHAPITRE VIII. NOTIONS DE BASE SUR LE CALCUL MATRICIEL ........................... 84
VIII.0. INTRODUCTION .................................................................................................... 84
VIII.1. MATRICES ET TYPES DE MATRICES ............................................................... 84
VIII.2. OPERATIONS ALGEBRIQUES SUR LES MATRICES ...................................... 84
VIII.3. DETERMINANT D’UNE MATRICE CARREE .................................................... 84
VIII.4. INVERSION D’UNE D’UNE MATRICE CARREE .............................................. 84
VIII.5. RESOLUTION DE SYSTEMES D’EQUATIONS LINEAIRES ........................... 84
________________________________________________________________________ 4
BIBLIOGRAPHIE SOMMAIRE
1. CARATINI Roger (1985). Les mathématiques, Bordas, Milan (Italie).
2. FLETCHER T.J., (1972). L’algèbre linéaire par ses applications, CEDIC, Lyon.
3. LIPSCHUTZ Seymour, (1973). Algèbre linéaire : cours et problèmes. Série

SCHAUM, McGraw HILL INC., New York.
4. PISOT Charles, ZAMANSKY Marc, (1959). Mathématiques générales : Algèbre et

Analyse, Dunod, Paris. (648 pages)
5. PISOT Charles, ZAMANSKY Marc, (1965). Introduction à l’Algèbre et l’Analyse

modernes, Dunod, Paris.
6. QUEYSANNE Michel, (1968). Algèbre MP et Spéciales AA’, Armand Colin, Paris.
7. RAMIS J.-P., WARUSFEL A., MOULIN F. (Sous la direction de), (2010). Cours de
mathématiques pures et appliquées, Volume 1 : Algèbre et géométrie, De Boeck,
Bruxelles. (1132 pages)
________________________________________________________________________ 5
CHAPITRE I : ÉLÉMENTS DE LA THÉORIE DES ENSEMBLES ET
NOTIONS DE LOGIQUE MATHÉMATIQUE
I.1. Ensembles – Éléments
La théorie des ensembles a été créée et formalisée par Georg Cantor (1845-1918). Elaborée
entre 1872 et 1895, cette théorie a permis de résoudre les difficultés logiques rencontrées dans
le domaine de la géométrie, de l’algèbre, de l’analyse et de l’arithmétique. Rappelons que
toute théorie mathématique traite d’objets abstraits qui constituent des ensembles (avant
Cantor, on parlait souvent de classes) au sens de la définition suivante, célèbre (et fort
controversée), de Cantor: « Par ensemble, on entend un groupement en un tout d’objets bien
distincts de notre intuition ou de notre pensée. »
Encore faut-il que ces objets soient clairement identifiables et que leur interprétation ne
soulève aucune ambiguïté et ne soit pas assujettie à des critères subjectifs ou dont l’objectivité
est susceptible d’être discutée ou critiquée. Ainsi, par exemple, « l’ensemble des belles filles
de l’ISP/Bukavu » n’est pas un ensemble au sens mathématique du terme, étant donné le fait
que la beauté est, comme chacun le sait, une notion très subjective et relative …
Il faudra également éviter les ensembles dont la définition induit des paradoxes et qu’on
appelle les ensembles paradoxaux. C’est le cas, par exemple de « l’ensemble E des
ensembles » (qui nous amène à la notion controversée et absurde d’auto-appartenance,
puisque E  E ), de « l’ensemble F des barbiers d’un village qui rasent toute personne qui ne
se rase pas seule ». Si l’on considère un barbier particulier x du village considéré, on peut
légitimement se poser la question suivante : x se rase-t-il lui-même ? Si x se rase, alors il ne se
rase pas. Et s’il ne se rase pas, alors il se rase. Cette question engendre donc un paradoxe et,
du coup, pose un problème au sujet de l’appartenance ou non d’un élément à F. Considérons,
enfin, l’ensemble B des entiers naturels b dont la définition peut s’exprimer en moins de seize
mots français. B comprend un nombre fini d’éléments. Soit maintenant la définition suivante
d’un entier b’ : « le plus petit entier qui n’est pas définissable en moins de seize mots
français ». De toute évidence, b’ ne peut appartenir à B, puisqu’il faut, d’après le contenu de
sa définition, plus de seize mots pour le définir. Mais d’autre part, sa définition, donnée entre
guillemets, ne comprend que quinze mots français, ce qui permet de placer b’ dans l’ensemble
B. Ce qui conduit à un paradoxe. Etc. Pour résoudre le problème soulevé par ces paradoxes,
sans perdre les avantages indiscutables procurés par la théorie des ensembles, les
mathématiciens entreprirent de mieux formaliser les fondements des mathématiques. Les
formalistes, comme Zermelo, Fraenkel, Von Neumann, Gödel ou Hilbert, éliminèrent ce
problème. La théorie des ensembles, comme toute autre théorie mathématique, comporte des
principes fondamentaux – des axiomes1 – et des déductions à partir de ces axiomes ; il suffit
d’introduire un axiome supplémentaire décrétant que les ensembles paradoxaux sont éliminés
de la théorie des ensembles, et le problème est résolu. Une théorie est valide dès que ses
axiomes sont clairement élaborés, ses règles de déduction clarifiées, et dès qu’il est établi
qu’elle est non contradictoire (c’est-à-dire qu’à partir des axiomes de la théorie, il n’est pas
possible de former une proposition qui soit à la fois vraie et fausse dans la théorie). Le
« vrai » est donc remplacé par le « démontrable » : une proposition mathématique est
1
Axiome : Proposition ou affirmation considérée comme évidente par elle-même, et admise sans démonstration.
________________________________________________________________________ 6
acceptable dans une théorie si elle peut être démontrée à l’aide des axiomes et autres
théorèmes de la même théorie.
C’est le mathématicien allemand David Hilbert (1862-1943) qui proposa – d’un point de vue
épistémologique2 – la méthode suivante qui permet d’éviter les contradictions ou les
paradoxes dans la mise sur pied de théories mathématiques : une théorie mathématique est
cohérente si elle est libérée de la contradiction. Pour s’assurer de cela, il faut établir la liste :
(1°) de toutes les propositions (axiomes ou théorèmes) constituant la base de la théorie ; (2°)
de toutes les propositions de la logique qui servira de fondement au raisonnement (principes
et règles de raisonnement). Cela fait, il faut montrer qu’aucune déduction n’aboutit à deux
théorèmes dont l’un serait la négation de l’autre.
La théorie des ensembles, amputée des ensembles paradoxaux, est devenue non
contradictoire ; (on se gardera donc de faire des définitions hasardeuses ou insuffisantes).
Nous admettrons comme intuitive la notion d’un ensemble d’éléments mathématiques. Nous
dirons simplement qu’un ensemble (non vide) est constitué d’éléments. Nous dirons : un
élément a appartient à un ensemble E et nous noterons : a  E .
Exemples
- L’ensemble IN des entiers naturels. IN est ainsi défini en compréhension (i.e.3 à l’aide d’une
propriété caractérisant ses éléments). Voici sa définition en extension (i.e. en citant ses
éléments) : IN   0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ... 
- L’ensemble Z des entiers relatifs : Z  ...,  6,  5,  4,  3,  2,  1, 0, 1, 2, 3, 4, 5, 6, ... 
 
/ a  Z et b  Z  0  Z * 
a
- L’ensemble Q des nombres rationnels : Q   x 
 b 
- L’ensemble IR des nombres réels
- L’ensemble C des nombres complexes : C   z  a  b i / a  IR et b  IR 
N.B. : Les ensembles laconiquement cités ci-dessus ont, peut-être, été évoqués dans le
Secondaire, mais probablement de manière superficielle. Ils feront l’objet d’une étude plus
approfondie non seulement dans la suite du présent cours d’algèbre, mais aussi dans tous les
programmes de formation mathématique proposés au Département de Mathématiques.
I.2. Partie d’un ensemble
Un ensemble F dont tous les éléments appartiennent à un ensemble E s’appelle une partie ou
un sous-ensemble de E. On écrira alors : F  E (ce qui se lit « F est inclus (ou contenu)
dans E ». On utilise aussi la notation E  F (qui se lit « E contient F »). Une partie d’un
ensemble E est en général définie comme l’ensemble des éléments de E ayant une certaine
propriété. Il peut alors se faire qu’aucun élément de E ne possède cette propriété. Pour
pouvoir continuer à dire qu’une propriété définit une partie de E, on est ainsi amené à appeler
partie vide, ou aussi, par abus de langage, ensemble vide une partie de E définie par une
propriété qui n’est vérifiée par aucun élément de E. Une telle partie sera notée Ø ou encore
 . Par définition, Ø  E , quel que soit l’ensemble E.
2
L’épistémologie est définie, par le Dictionnaire Petit Robert [(1981), p.674], comme « l’étude critique des
sciences, destinée à déterminer leur origine logique, leur valeur et leur portée ». C’est donc la théorie de la
connaissance, ou encore « la science de la science ».
3
i.e. est l’abréviation de l’expression latine « id est » (ce qui signifie : « c’est-à-dire »). Les mathématiciens
préférent l’abréviation « i.e. » au lieu de « c.à.d. » probablement pour des raisons d’économie de place et de
concision : cette dernière comporte, en effet, trois lettres à écrire alors que « i.e. » n’en a que deux !
________________________________________________________________________ 7
Les parties d’un ensemble E forment à leur tour un ensemble noté P (E ) et appelé ensemble
des parties de E. Il est tel que l’on a, en particulier : Ø  P( E ) et E  P( E ).
L’inclusion, définie dans l’ensemble P (E ) des parties d’un ensemble E, vérifie trivialement
les propriétés suivantes :
- Quel que soit l’ensemble E, on a E  E (Réflexivité de l’inclusion)
-  A, B  P( E ), si A  B et B  A, alors A  B (Antisymétrie de l’  )
- Et, quelles que soient les parties F, G et H de E, si F  G et G  H , alors
on a : F  H . (Transitivité de l’inclusion)
Exemples
En tenant compte des définitions et notations introduites dans les exemples précédents, on a :
- IN est une partie de Z (i.e. IN  Z )
- Et plus généralement, on a la suite d’inclusions ci-après : IN  Z  Q  IR  C
I.3. Notions élémentaires de logique mathématique – Symboles logiques usuels
Note liminaire
Les notions abordées laconiquement dans cette section seront approfondies dans le cours de
Logique mathématique. Nous ne prenons en compte ici que des rudiments qui nous seront
utiles dans la suite du cours d’algèbre I.
a) Introduction
La science mathématique ressemble à un jeu de construction. Elle comporte un matériel de
base constitué de termes primitifs (appelés aussi « notions premières ») posés a priori.
Ceux-ci ne sont pas définis, au sens mathématique du terme, car ils ne sont en relation avec
aucun terme (ou groupe de termes) antérieur(s).
En guise d’exemples de termes primitifs, nous citerons notamment :
- Ensemble,
- Elément,
- Point,
- Etc.
Un assemblage de termes primitifs est une notion dérivée ou déduite ; on l’appelle aussi une
proposition. C’est justement l’agencement d’assemblages valides et de propositions qui
constitue le fondement de la logique mathématique.
La théorie mathématique fournit les règles du jeu permettant d’affirmer que tel assemblage est
autorisé ou non. Ces règles du jeu sont constituées par les axiomes (qui sont des propositions
ou encore des affirmations, évidentes par elles-mêmes, qui sont comme vraies admises sans
démonstrations) ou par des règles d’assemblages de termes primitifs ou dérivés pour former
de nouveaux termes dérivés.
L’objectif de cette section portant sur des notions de logique mathématique est celui d’initier
l’étudiant en mathématiques aux notions de base ainsi qu’aux fondements de la logique
mathématique qui lui serviront de supports aussi bien dans les cours de mathématiques qui lui
seront proposés dans son cursus de formation que dans le cours de logique de programmation.
________________________________________________________________________ 8
Avant d’aborder l’essentiel sur le calcul propositionnel, nous allons définir quelques concepts
essentiels de la logique mathématique.
a.0. Proposition logique

On appelle « proposition logique » toute affirmation (ou « énoncé ») à laquelle on peut
attribuer, sans ambiguïté, la valeur de vérité « vraie » (symbolisée par le chiffre 1 ou par la
lettre V) ou la valeur de vérité « fausse » (symbolisée par le chiffre 0 ou par la lettre F).
Celle notion de « proposition logique » est illustrée par toute phrase bien construite du
langage courant, comportant au moins un sujet et un verbe, non interrogative ni exclamative,
et sur laquelle on s’accorde qu’elle est soit vraie, soit fausse, au sens usuel.
Exemples illustratifs :
- « 3 est un nombre premier » est une proposition logique (vraie).
- « 5 est inférieur à 2 » est une proposition logique (fausse).
- « Bernadette est belle » n’est pas une proposition logique, au sens mathématique du
terme, car la beauté est relative …
N.B. Les propositions logiques seront notées à l’aide de lettres minuscules de l’alphabet
français (comme p, q, r, s, Etc.)
a.1. Axiomes, théorèmes, propositions, lemmes, corollaires

En sciences mathématiques,
a.1.1. On appelle « axiome » toute affirmation (ou proposition logique), évidente par elle-
même, qu’on accepte sans démonstration.
a.1.2. Un « théorème » est une proposition logique dont on démontre qu’elle a la valeur de
vérité « vraie ».
a.1.3. Un « lemme » est un théorème dont le résultat est nécessaire et utilisé pour établir la
véracité d’un théorème plus important (en termes de niveau de complexité).
a.1.4. Un « corollaire » est un théorème qui est déduit d’un autre théorème déjà prouvé.
a.2. La négation d’une proposition logique

Soit p une proposition logique. On appelle « négation de p », la proposition logique notée

« non-p », ou p , ou encore  p , qui est vraie si p est fausse, et qui est fausse si p est vraie.
Voici, ci-dessous, le tableau illustrant cette définition, qu’on appelle une « table de vérité » :
p p
1 0
0 1
Exemple 1 : Soit la proposition logique p : « L’étudiant Albert de L1 MATH-PHYSIQUE
(LMD) de l’ISP/BUKAVU de la promotion 2021-2022 est malade ».
Sa négation est alors :  p : « L’étudiant Albert de L1 MATH-PHYSIQUE (LMD) de
l’ISP/BUKAVU de la promotion 2021-2022 n’est pas malade »
Exemple 2 : Soit la proposition logique q : « Le bébé qui vient de naître aujourd’hui à 7h00
du matin à l’HGRB est un garçon ».
Sa négation est alors :  q : « Le bébé qui vient de naître aujourd’hui à 7h00 du matin à
l’HGRB est une fille »
Exemple 3 : Soit la proposition logique r : « 5  3 ».
Sa négation est alors :  r : « 5  3 »
________________________________________________________________________ 9
Exemple 4 : Soit la proposition logique s : « x  A ».
Sa négation est alors :  s : « x  A »
Exemple 5 : Soit la proposition logique t : « a  b ».
Sa négation est alors :  t : « a  b »
Etc.
a.3. Les quantificateurs logiques

Si une proposition logique p est vérifiée pour chaque élément x d’un ensemble donné E, alors
on note «  x  E , p ( x ) est vraie », ou tout simplement «  x  E , p ( x ) », si aucune
confusion n’est à craindre. Le symbole  se lit « Pour tout » ou « Quel que soit », ou
encore « Aucun » (dans le cas d’une proposition universelle négative) et s’appelle « un
quantificateur universel ».
Si, par contre, une proposition logique p n’est vérifiée que pour un ou quelques éléments de
l’ensemble E, alors on note «  x  E , p ( x) est vraie », ou tout simplement
«  x  E , p ( x) », si aucune confusion n’est à craindre. Le symbole  se lit « Il existe » ou
« Pour quelques éléments», ou encore « Pour certains éléments » et s’appelle « un
quantificateur existentiel ».
a.3. Tautologie – Antilogie

- Une tautologie est une proposition logique qui est vraie dans tous les cas. On la note
Ʈ.
Exemple : La proposition logique : « L’enfant qui va naître est un garçon ou une fille » est
une tautologie.
- Une antilogie est une proposition logique qui est fausse dans tous les cas. On la note Ƒ.
Exemple : La proposition logique : « x   », où  est l’ensemble vide, est une antilogie.
REMARQUE : La logique mathématique est bivalente (cela signifie qu’elle est fondée sur les
deux principes suivants :
- Pour une proposition logique p, soit p est vraie, soit  p est vraie. (principe du tiers-
exclu)
- La proposition logique « p et  p » est toujours fausse (ce qui signifie que les
propositions p et  p ne peuvent jamais être simultanément vraies ou simultanément
fausses).
Remarque : La logique mathématique est dite « bivalente », ce qui signifie qu’elle n’admet
que deux valeurs de vérité possibles pour une proposition logique p donnée, et qu’elle est
donc fondée sur les deux principes importants suivants :
Quelle que soit la proposition logique p,
- Principe 1 : soit p est vraie, soit  p est vraie (principe du tiers-exclu)
- Principe 2 : p et  p ne peuvent pas être simultanément vraies (principe de non-
contradiction)
b) Notions de base sur le calcul propositionnel et sur les méthodes

de démonstration en mathématiques
________________________________________________________________________ 10
Dans cette section, nous allons étudier des opérations logiques notées  qui, à un couple (p,
q) de propositions logiques p et q, fait correspondre une nouvelle proposition logique notée
« p  q » dont les valeurs de vérité dépendent logiquement de celles de p et de q.
Nous étudierons et établirons ensuite les propriétés algébriques de chacune de ces opérations
logiques, qui seront dites des « connecteurs logiques » :
b.1. Les connecteurs logiques
b.1.1. La conjonction logique
a) Définition
On appelle « conjonction logique » le connecteur « et », noté  , qui, à tout couple (p, q) de
propositions logiques, fait correspondre la proposition logique « p et q », notée p  q, qui
est vraie uniquement si p et q le sont, et qui est fausse dans tous les autres cas. Voici sa table
de vérité :
p q p q
1 1 1
1 0 0
0 1 0
0 0 0
b) Propriétés algébriques
Soient p, q et r des propositions logiques. On démontre aisément, à l’aide des tables de
vérités, les propriétés suivantes (où le symbole d’égalité « = » désigne que les deux
propositions sont logiquement « équivalentes »4, un concept qui sera clarifié dans la suite) :
P.1. p  p  p (idempotence)
En effet, on a :
p p p  p
1 1 1
0 0 0
Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

P.2. p  q  q  p (commutativité)
En effet, on a :
p q p q q p
1 1 1 1
1 0 0 0
0 1 0 0
0 0 0 0
P.3. ( p  q )  r  p  (q  r ) (associativité)
En effet, on a :
p q r p q ( p  q)  r q r p  (q  r )
4
Deux propositions logiques seront dites « logiquement équivalentes » (ou, par abus de langage, « égales ») si,
dans tous les cas envisageables, elles ont toujours les mêmes valeurs de vérité.
________________________________________________________________________ 11
1 1 1 1 1 1 1
1 1 0 1 0 0 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 0 0 1 0
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 0 0 0 0
P.4. p  ( p )  Ƒ
En effet, on a :
p p p  ( p ) Ƒ
1 0 0 0
0 1 0 0
P.5. p  Ƒ = Ƒ et p  Ʈ = Ʈ.
En effet, on a :
p Ƒ p Ƒ
1 0 0
0 0 0
et
p Ʈ p Ʈ
1 1 1
0 1 0
Ce qui prouve bien l’équivalence des deux membres pour chacune des deux égalités
proposées.
On en déduit que la tautologie Ʈ est l’élément neutre de la conjonction logique  , tandis
que l’antilogie Ƒ en est l’élément absorbant.
b.1.2. La disjonction inclusive
a) Définition
On appelle « disjonction inclusive » le connecteur « ou », noté  , qui, à tout couple (p, q) de

propositions logiques, fait correspondre la proposition logique « p ou q », notée p  q , qui
est vraie dans tous les cas, sauf si p et q sont fausses. Voici sa table de vérité :
p q pq
1 1 1
1 0 1
________________________________________________________________________ 12
0 1 1
0 0 0
b) Propriétés algébriques
Soient p, q et r des propositions logiques. On démontre aisément, à l’aide des tables de
vérités, les propriétés suivantes :
P.1. p  p  p (idempotence)
En effet, on a :
p p p  p
1 1 1
0 0 0

P.2. p  q  q  p (commutativité)
En effet, on a :
p q p q q  p
1 1 1 1
1 0 1 1
0 1 1 1
0 0 0 0

P.3. ( p  q)  r  p  (q  r ) (associativité)
En effet, on a :
p q r p q ( p  q )  r q  r p  (q  r )
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
1 0 0 1 1 0 1
0 1 1 1 1 1 1
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0

P.4. p  ( p )  Ʈ
En effet, on a :
p  p p  ( p ) Ʈ
1 0 1 1
0 1 1 1

P.5. p  Ʈ = Ʈ et p  Ƒ = p.
En effet, on a :
________________________________________________________________________ 13
p Ƒ p Ƒ
1 0 1
0 0 0
et
p Ʈ p Ʈ
1 1 1
0 1 1
Ce qui prouve bien l’équivalence des deux membres pour chacune des deux égalités
proposées.
On en déduit que l’antilogie Ƒ est l’élément neutre de la conjonction logique  , tandis que
la tautologie Ʈ en est l’élément absorbant.
P.6. Propriétés mixtes

On démontre aisément, à l’aide de tables de vérité, que l’on a :
1° p  (q  r )  ( p  q )  ( p  r ) . On en déduit que la conjonction logique est donc
distributive par rapport à la disjonction inclusive. (Preuve : en exercice, TPE)
2° p  (q  r )  ( p  q)  ( p  r ) . On en déduit que la disjonction inclusive est
aussi distributive par rapport à la conjonction logique. (Preuve : en exercice, TPE)
3°  ( p  q )  ( p )  ( q ) et  ( p  q )  ( p )  ( q ) . Ce sont les lois de
dualité de DE MORGAN. (Preuve : en exercice, TPE)
b.1.3. L’implication logique

a) Définition :
L’implication logique est le connecteur « implique », noté «  », qui, à tout couple (p, q) de
propositions logiques, fait correspondre la proposition logique « p implique q », notée
p  q , qui est vraie dans tous les cas, sauf dans le cas où p est vraie et q est fausse. Voici
sa table de vérité :
p q pq
1 1 1
1 0 0
0 1 1
0 0 1
b) Propriétés algébriques :
P.1. p  p  Ʈ
p p p p Ʈ
1 1 1 1
0 0 1 1
P.2. ( p  q)   ( q)  ( p)  (Règle de la contraposition)
p q pq q  p ( q )  ( p )
1 1 1 0 0 1
________________________________________________________________________ 14
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1
P.3. ( p  q )  (q  p ) (L’implication directe p  q (dite « condition nécessaire ») est

différente de l’implication réciproque q  p (dite « condition suffisante »))
p q pq q  p
1 1 1 1
1 0 0 1
0 1 1 0
0 0 1 1
P.4. ( p  q)  r    p  (q  r )  (L’implication logique n’est pas associative)

1p q r p  q ( p  q )  r q  r p  (q  r )
1 1 1 1 1 1 1
1 1 0 1 0 0 0
1 0 1 0 1 1 1
1 0 0 0 1 1 1
0 1 1 1 1 1 1
0 1 0 1 0 0 1
0 0 1 1 1 1 1
0 0 0 0 1 1
b.1.4. La bi-implication logique ou équivalence logique

a) Définition :
L’équivalence logique (ou bi-implication logique) est le connecteur « bi-implique » ou « est
équivalent à », noté «  », qui, à tout couple (p, q) de propositions logiques, fait
correspondre la proposition logique « p équivalente à q », ou encore « p si et seulement si
q » (en sigle « ssi »), notée p  q , qui est vraie uniquement si p et q ont la même valeur de
vérité, et qui est fausse dans le cas contraire. Voici sa table de vérité :
p q pq
1 1 1
1 0 0
0 1 0
0 0 1
P.1. p  p  Ʈ
p p p p Ʈ
1 1 1 1
0 0 1 1
P.2. p  q  q  p (commutativité)
En effet, on a :
________________________________________________________________________ 15
p q p q q p
1 1 1 1
1 0 0 0
0 1 0 0
0 0 1 1
P.3. ( p  q )  r  p  (q  r ) (associativité)
En effet, on a :
p q r p q ( p  q)  r q r p  (q  r )
1 1 1 1 1 1 1
1 1 0 1 0 0 0
1 0 1 0 0 0 0
1 0 0 0 1 1 1
0 1 1 0 0 1 0
0 1 0 0 1 0 1
0 0 1 1 1 0 1
0 0 0 1 0 1 0
b.1.5. La disjonction exclusive logique

a) Définition :
La disjonction exclusive est le connecteur « ou bien …, ou bien … », noté «  », qui, à tout
couple (p, q) de propositions logiques, fait correspondre la proposition logique « ou bien p,
ou bien q », notée p  q , qui est vraie uniquement si p et q n’ont pas la même valeur de
vérité, et qui est fausse dans le cas contraire. Voici sa table de vérité :
p q p q
1 1 0
1 0 1
0 1 1
0 0 0
P.1. p  q   ( p  q )
En effet :
p q p  q p  q  ( p  q)
1 1 0 1 0
1 0 1 0 1
0 1 1 0 1
0 0 0 1 0
P.2. p  p  Ƒ
p p p p Ƒ
________________________________________________________________________ 16
1 1 0 0
0 0 0 0
P.3. p  q  q  p (commutativité)
En effet, on a :
p q p q q p
1 1 0 0
1 0 1 1
0 1 1 1
0 0 0 0
P.4. ( p  q )  r  p  (q  r ) (associativité)
En effet, on a :
p q r p  q ( p  q)  r q r p  (q  r )
1 1 1 0 1 0 1
1 1 0 0 0 1 0
1 0 1 1 0 1 0
1 0 0 1 1 0 1
0 1 1 1 0 0 0
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0
b.2. Formes propositionnelles

Soit E un ensemble, appelé « référentiel ». On appelle « forme propositionnelle » à une
variable x toute expression contenant la variable x, qui devient une proposition pour toute
valeur de x choisie dans E.
Les formes propositionnelles définies sur un référentiel E seront notées par
p ( x), q ( x), r ( x), ...
Exemples illustratifs
Ex.1. : Dans l’ensemble des entiers relatifs, l’expression « p ( x)  x  2 » est une forme
propositionnelle, qui est une proposition vraie pour x  ... ,  6,  5,  4,  3,  2, 1, 0, 1, 2,
et une proposition fausse pour x  3, 4, 5, 6, 7, ... .
Ex.2. : Dans l’ensemble des entiers naturels, l’expression « q ( x)  x  0 » est une forme
propositionnelle, qui est une antilogie (i.e. une proposition toujours fausse) quel que soit
l’entier naturel x.
Ex.3. : Dans l’ensemble des nombres rationnels, l’expression « t ( x) : 2 x  5 » est une
5
forme propositionnelle, qui est une proposition vraie uniquement pour x  .
2
________________________________________________________________________ 17
Ex.4. : Dans l’ensemble des nombres réels, l’expression « r ( x) : x 2  1  0 » est une
forme propositionnelle, qui est une antilogie (i.e. une proposition toujours fausse) quel que
soit le nombre réel x.
Remarque :
Dans un référentiel non vide E, à toute forme propositionnelle définie sur E correspond une
partie ou un sous-ensemble A de E dont les éléments (et eux seuls) vérifient cette forme
propositionnelle.
On note alors :
A   x  E / p ( x) est vraie ,
ou tout simplement :
A   x / p ( x) 
si aucune confusion n’est à craindre. Et on lit : « A est l’ensemble des éléments x de E qui sont
tels que la forme propositionnelle p (x) est vraie », ou encore : « A est l’ensemble des
éléments x de E qui vérifient la proposition p (x) ».
Ainsi donc,
- Dans l’ensemble des entiers relatifs, à la forme propositionnelle « p ( x)  x  2 »
correspond la partie A de définie par :
A   x / p( x)   ... ,  6,  5,  4,  3,  2, 1, 0, 1, 2.
- Dans l’ensemble des entiers naturels, à la forme propositionnelle « q ( x)  x  0 »
correspond le sous-ensemble B de défini par :
B   x / q( x)    , où  désigne l’ensemble vide.
- Dans l’ensemble des nombres rationnels, à la forme
propositionnelle « t ( x) : 2 x  5 » correspond le sous-ensemble C de défini par :
5 
C   x / t ( x)     .
2
- Dans l’ensemble des nombres réels, à la forme
propositionnelle « r ( x) : x  1  0 » correspond le sous-ensemble D de
2
défini
par :
- D   x / r ( x)    , où  désigne l’ensemble vide.
c. Méthodes usuelles de démonstration en sciences mathématiques
Notons, de prime abord, que le raisonnement mathématique est essentiellement une

« déduction ». Toute démonstration mathématique a pour but, en partant d’une proposition
logique p supposée vraie, tout en s’appuyant sur des « axiomes » admis dans une théorie
mathématique donnée, d’établir la véracité d’une autre proposition logique q. Et cela, en
respectant les règles et lois de la logique mathématique. On dit alors que cette dernière
proposition q est « déduite » des axiomes de la théorie mathématique considérée et de la
proposition logique p qui a été supposée « vraie » au départ. Pour y arriver, on utilise l’une ou
l’autre des méthodes de raisonnement ci-après :
________________________________________________________________________ 18
c.1. Démonstration par implication ou par déduction successives
Un premier mode de raisonnement consiste à composer l’implication (ou les implications)
obtenue(s) à l’aide de l’une ou l’autre des règles logiques suivantes : dans ce cas, on dit qu’on
applique une méthode de démonstration par implication ou par déduction.
a) Règle 1 : Règle du détachement ou du « modus ponens »
« L’implication  p  ( p  q )   q est une tautologie, quelles que soient les
propositions logiques p et q. »
Voici, en effet, sa table de vérité :
p q Ʈ p  q p  ( p  q)  p  ( p  q)   q
1 1 1 1 1 1
1 0 1 0 0 1
0 1 1 1 0 1
0 0 1 1 0 1
Cette table de vérité prouve bien que l’implication logique proposée est effectivement une
tautologie.
Il en résulte que, si une proposition logique p est supposée vraie dans une théorie
mathématique, et si l’implication « p  q » est également vraie dans cette théorie, alors on
peut en déduire que la proposition logique q est nécessairement vraie dans la même théorie.
b) Règle 2 : Règle du « modus tollens »

« L’implication  ( q )  ( (  p )  q )   p est une tautologie, quelles que soient les
p q Ʈ q  p ( p )  q ( q )  ( ( p )  q )  ( q )  ( (  p )  q)   p
1 1 1 0 0 1 0 1
1 0 1 1 0 1 1 1
0 1 1 0 1 1 0 1
0 0 1 1 1 0 0 1
tautologie.
Il en résulte que, si une proposition logique  q est supposée vraie dans une théorie
mathématique, et si l’implication « ( p )  q » est également vraie dans cette théorie, alors
on peut en déduire que la proposition logique p est nécessairement vraie dans la même
théorie.
c) Règle 3 : Règle de disjonction des cas
« L’implication  ( p  q)  ( ( p)  q )   q est une tautologie, quelles que soient
les propositions logiques p et q. »
p q Ʈ p  q  p ( p )  q ( p  q )  (( p )  q ) ( p  q)  (( p)  q ) q
1 1 1 1 0 1 1 1
1 0 1 0 0 1 0 1
0 1 1 1 1 1 1 1
0 0 1 1 1 0 0 1
________________________________________________________________________ 19
tautologie.
Il en résulte que, si l’implication logique p  q est supposée vraie dans une théorie
mathématique, et si l’implication « ( p )  q » est également vraie dans cette théorie, alors
on peut en déduire que la proposition logique q est nécessairement vraie dans la même
théorie.
d) Règle 4 : Règle de la contraposition

« L’équivalence ( p  q)   (  q)  ( p )  est une tautologie, quelles que soient les
p q Ʈ pq q  p ( q )  ( p ) ( p  q)   (  q)  ( p ) 
1 1 1 1 0 0 1 1
1 0 1 0 1 0 0 1
0 1 1 1 0 1 1 1
0 0 1 1 1 1 1 1
tautologie.
Il en résulte que les deux implications logiques p  q et ( q )  ( p ) sont logiquement
équivalentes. Démontrer l’une d’elles équivaut donc à démontrer l’autre (et vice versa)
c.2. Démonstration par l’absurde
On rappelle que, dans une théorie mathématique, un énoncé p est dit contradictoire si la
proposition p  ( p ) est vraie dans cette théorie, ce qui est exclu par le principe de « non-
contradiction » qui affirme que cette proposition est une antilogie !
Ainsi, en partant de ce principe, pour démontrer la véracité d’une proposition logique p dans
une théorie mathématique T, il suffit de montrer que sa négation  p est fausse (ou qu’elle
amène à une contradiction) dans la même théorie. Puisque  p est contradictoire (ety donc
fausse) dans T, alors on conclut que p est nécessairement vraie dans T.
N.B. Nous fournirons des exemples illustrant cette méthode de démonstration dans la suite de
notre cours.
c.3. Démonstration par contre-exemple

Pour démontrer qu’un énoncé p est faux dans un référentiel E, il suffit d’exhiber un élément x
de E pour lequel p est faux (ou n’est pas vérifié). Un tel élément x est appelé un « contre-
exemple » à p.
N.B. Nous fournirons des exemples illustrant cette méthode de démonstration dans la suite de
notre cours.
c.4. Démonstration par récurrence
________________________________________________________________________ 20
Le raisonnement par récurrence est utilisé pour démontrer qu’une forme propositionnelle
p (n ) (ou une formule), dépendant d’un entier naturel quelconque n, est vraie quel que soit
l’entier n. Pour cela, on procède comme suit :
- On démontre d’abord que p (n ) est vraie pour quelques entiers naturels choisis parmi
les tout premiers naturels, autrement dit que p (0) est vraie, ou p (1) est vraie, ou
encore que p (2) est vraie, Etc. C’est l’étape de la vérification des conditions initiales,
en abrégé V.C.I. ;
- On pose ensuite l’hypothèse de récurrence (H.R.) qui consiste à montrer que
l’implication p (n)  p ( n 1) est vraie quel que soit l’entier naturel n. Pour cela, on
suppose que p (n ) est vraie jusqu’à un certain rang n (c.à.d. pour tous les entiers
inférieurs ou égaux à n ; on montre alors qu’elle reste vraie pour l’entier naturel n + 1.
- On en déduit, enfin, que la forme propositionnelle p (n ) est vraie pour tout entier
naturel n.
Démontrer que,  n  IN (ou  n  IN  0 , selon le cas) :

n ( n  1)
a) 1  2  3  4    n 
2
n ( n  1) (2n  1)
b) 12  2 2  3 2  4 2    n 2 
6
n ( n  1) 2
2
c) 1 3  2 3  3 3  4 3    n 3 
4
n ( n  1) (2n  1) ( 3n 2  3n  1)
d ) 14  2 4  3 4  4 4    n 4 
30
(En exercices, comme TPE !)
I.4. Opérations algébriques sur les ensembles
Soient A et B des ensembles quelconques.
I.4.1. Intersection
On appelle intersection de A et B, et on note A  B , l’ensemble des éléments qui

appartiennent à la fois à A et à B. On a donc, en compréhension, et à l’aide de symboles
logiques : A  B   x / x  A  x  B    x / x  A et x  B .
L’opération ainsi définie a les propriétés suivantes :
Quels que soient les ensembles E, F et G, on a :
EE  E ( Idempotence)
EF F E (Commutativité)
( E  F )  G  E  ( F  G) ( Associativité)
ØE  Ø (Ø  élément absorbant)
________________________________________________________________________ 21
- Si E1 , E 2 , E3 , ..., E n constituent une famille d’ensembles, alors on note simplement :
n
E1  E2  E3  ...  En   Ei
i  1
- Si A  B , alors A  B  A . (B est l’élément neutre de l’intersection définie dans

l’ensemble P (B ) des parties de B.)
- Si A et B sont des ensembles tels que A  B  Ø, alors on dit que A et B sont disjoints.
I.4.2. Réunion
On appelle réunion de A et B, et on note A  B, l’ensemble des éléments qui appartiennent à

A ou à B. On a donc, en compréhension, et à l’aide de symboles logiques :
A  B   x / x  A  x  B    x / x  A ou x  B 
L’opération ainsi définie a les propriétés suivantes :
Quels que soient les ensembles E, F et G, on a :
EE  E ( Idempotence)
EF FE (Commutativité)
( E  F )  G  E  ( F  G ) ( Associativité)
Ø E  E (Ø  élément neutre)
n
E1  E2  E3  ...  En   Ei
i 1
- Si A  B , alors A  B  B. (B est l’élément absorbant de la réunion définie dans

l’ensemble P (B ) des parties de B.)
Remarque : Propriété mixte
Thème d’étude : Soient E, F et G des ensembles quelconques. Alors on a :

E  ( F  G)  ( E  F )  ( E  G) et E  ( F  G )  ( E  F )  ( E  G ).
(Chacune des deux opérations, l’intersection  ou la réunion  , est distributive par rapport à
l’autre. Preuves : à faire comme exercice, voir T.P.)
I.4.3. Partie complémentaire d’un ensemble
Soient E et F des ensembles tels que F soit une partie de E (i.e. F  E ) . Le complémentaire
F
de F dans E est l’ensemble des éléments de E qui n’appartiennent pas à F. On le note C E
ou
__ __
C  F  x  E / x  F 
F
simplement F , si aucune confusion n’est à craindre. Donc E
F F
Thèmes d’étude (Voir T.P.) : On montre aisément que F  C  E et que F  C  Ø .
E E
( A  B) ( A  B)
 C  C et que C  C  C (Lois de dualité de De
A B A B
Etablir que C E E E E E E
Morgan)
________________________________________________________________________ 22
I.4.4. Partition d’un ensemble
Une partition d’un ensemble E est un ensemble de parties E1 , E 2 , E3 , ..., E n de E vérifiant

les conditions suivantes :
-  i  1, 2, 3, ..., n , Ei  Ø (aucune des parties n’est vide)
- Si i  j (1  i, j  n), alors Ei  E j  Ø (les parties sont deux à deux disjointes)
n
-  Ei  E1  E2  E3  ...  En  E (ces parties recouvrent E)
i 1
I.4.5. Différence de deux ensembles
Soient A et B des ensembles. On appelle différence de A et B, et on note A \ B ou A  B,

l’ensemble des éléments qui appartiennent à A sans appartenir à B.
On démontre facilement (voir T.P.) que, dans l’ensemble P(E) des parties d’un ensemble E,
l’opération ( A, B)  A \ B vérifie les propriétés suivantes :
 A, B  P ( E ),
A\Ø  A
A \ B  B\ A
A \ A  Ø
I.4.6. Différence symétrique de deux ensembles
Soient A et B des ensembles. On appelle différence symétrique de A et B, et on note A  B,

l’ensemble des éléments qui appartiennent à A sans appartenir à B et de ceux qui
appartiennent à B sans appartenir à A.
On démontre facilement (voir T.P.) que, dans l’ensemble P(E) des parties d’un ensemble E,
l’opération ( A, B )  A  B vérifie les propriétés suivantes :
 A, B, C  P( E ),
AØ  A (Ø est l' élément neutre)
A  B  B A (commutativité)
A  A  Ø (chaque élément de P( E ) est autosymétrique)
( A  B)  C  A  ( B  C ) ( Associativité)
Enfin, A  B  ( A \ B)  ( B \ A)
I.4.7. Produit cartésien de deux ensembles
Soient A et B des ensembles quelconques. On appelle produit cartésien de A et B, noté

A  B, l’ensemble de tous les couples ordonnés ( x, y ) dont la première composante x
appartient à A et la seconde y appartient à B. On a donc, en compréhension :
A  B   ( x, y) / x  A et y  B .
- Lorsque A = B, alors le produit cartésien A  B se note simplement A 2  A  A. On
l’appelle le carré cartésien de A.
________________________________________________________________________ 23
- Si B  A, alors on peut prouver, en général, que : A  B  B  A. En effet, en général, si
x  y, les couples dits réciproques ( x, y ) et ( y , x ) sont différents. On dit que le produit
cartésien d’ensembles n’est pas commutatif.
n n
E1  E2  E3  ...  En   Ei . Les éléments de 
i  1
E i sont des n-uplets de la forme
i  1
( x1 , x2 , x3 , ..., xn ) , où  i  1, 2, 3, ..., n , xi  Ei .

- On dispose des exemples importants suivants, en ce qui concerne les produits cartésiens, où
IR est l’ensemble des nombres réels :
IR 2  IR  IR   ( x, y ) / x  IR et y  IR 
IR 3  IR  IR  IR   ( x, y, z ) / x  IR , y  IR et z  IR 
etc.,
IR n  ( x1 , x2 , x3 , ..., xn ) / x1  IR , x 2  IR , x3  IR , ... et x n  IR .
- (Thèmes d’étude – Voir T.P.) : Propositions fondamentales relatives au produit cartésien :

Quels que soient les ensembles A, B, C, E et F, on démontre aisément que :
1) A  B  Ø  A  Ø ou B  Ø
2) A  ( B  C )  ( A  B)  ( A  C ) et ( A  C )  ( B  C )  ( A  B)  C
3) ( A  B)  ( E  F )  ( A  E )  ( B  F ).
I.4.8. Formes propositionnelles et opérations ensemblistes dans un référentiel

donné E
En tenant compte des notations introduites ci-dessus, les différentes opérations algébriques
définies dans l’ensemble, noté : P( E )   X / X  E  , des parties de E, se notent
respectivement de la manière suivante :
Quelles que soient les parties A, B et C de E, définies respectivement en compréhension par :
A   x / p ( x)  , B   x / q ( x)  et C   x / r ( x) ,
 L’intersection de A et B correspond au connecteur « conjonction logique « et » »,
avec A  B   x / p( x)  q( x)  ;
 La réunion de A et B correspond au connecteur « disjonction inclusive « ou » »,
avec A  B   x / p( x)  q( x)  ;
 La différence de A et B correspond au sous-ensemble noté
A  B   x / p( x)   q( x)  ;
 La différence symétrique de A et B correspond au connecteur « disjonction
exclusive noté «  » », avec A  B   x / p( x)  q( x)  ;
 L’inclusion de A dans B correspond au connecteur « implication logique noté «  »,
avec A  B qui correspond à la proposition « p ( x)  q ( x) » ;
 Le complémentaire de A dans B correspond à la « négation logique noté «  »,
avec CE A   x /  p( x)  ;
 L’ensemble vide  par l’antilogie « Ƒ » ;
 Et, enfin, le référentiel E par la tautologie « Ʈ ».
________________________________________________________________________ 24
I.4.9. Remarques et applications
A l’aide de la grille de correspondance établie précédemment, entre les opérations

ensemblistes et les connecteurs logiques respectivement associés, et compte tenu des
propriétés algébriques du calcul propositionnel étudié précédemment, nous pouvons aisément
démontrer des propriétés ensemblistes élémentaires définies dans l’ensemble des parties d’un
référentiel E donné. Pour cela, nous utiliserons des tables de vérité comme le montrent les
exemples illustratifs suivants :
Exemple 1 : Soient A, B et C des sous-ensembles d’un même référentiel E. Démontrer que :

a) Si A  B  A  B , alors A  B .
b) A  B  A  B  A
c) A  B  A  A  B
d) CE ( A  B)  CE A  CE B
e) CE ( A  B)  CE A  CE B
Preuves :
(a) Montrons que A  B  A  B  A  B (*)
Posons : A   x / p ( x)  et B   x / q ( x) 
Pour démontrer que l’assertion (*) est vraie dans le référentiel E, il faut et il suffit de prouver
– à l’aide d’une table de vérité – que la forme propositionnelle suivante, notée (**) et qui est
logiquement équivalente à (*), est une tautologie sur E :
  p ( x)  q( x)    p( x)  q( x)     p( x)  q ( x)  (**)
Voici, en effet, la table de vérité de (**) :
p (x) q (x ) Ʈ p( x)  q( x) p( x)  q( x) (3)  ( 4) p( x)  q( x) (5)  (6)

1 1 1 1 1 1 1 1
1 0 1 0 1 0 0 1
0 1 1 0 1 0 0 1
0 0 1 0 0 1 1 1
(NB : Les numéros écrits entre parenthèses renvoient à ceux des colonnes de la table de vérité
ci-dessus.)
Ce qui prouve bien que la forme propositionnelle (**) est une tautologie sur le référentiel E. Il
en résulte que l’assertion (*) qui, comme on l’a dit plus haut, est logiquement équivalente à
(**), est aussi vraie dans le référentiel E. CQFD
5
Remarque : Démonstrations analogues pour les autres assertions ! (A faire en TPE !)
Exemple 2 : Soient A, B et C des sous-ensembles d’un même référentiel E. Démontrer que :

a) Si A  B   , alors A  B .
b) Si A  B  C , alors A  C  B et B  C  A
5
CQFD est l’abréviation de « Ce qu’il fallait démontrer » ; C’est une locution qui se met habituellement à la fin d’une démonstration
mathématique.
________________________________________________________________________ 25
c) ( A  B )  C  A  ( B  C )
d) Si A  B  A  C et A  B  A  C , alors B  C .
Preuves :
(a) Montrons que A  B    A  B (*)
Posons : A   x / p ( x)  , B   x / q ( x) 
Pour démontrer que l’assertion (*) est vraie dans le référentiel E, il faut et il suffit de prouver
– à l’aide d’une table de vérité – que la forme propositionnelle suivante, notée (**) et qui est
logiquement équivalente à (*), est une tautologie sur E :
 p( x)  q ( x)       p ( x )  q ( x )  (**)
(NB :  = Ƒ)
Voici, en effet, la table de vérité de (**) :
p (x) q (x ) Ʈ Ƒ p ( x)  q( x)  p ( x)  q ( x )   Ƒ p( x)  q( x) (5)  (6)

1 1 1 0 0 1 1 1
1 0 1 0 1 0 0 1
0 1 1 0 1 0 0 1
0 0 1 0 0 1 1 1
(NB : Comme ci-dessus, les numéros écrits entre parenthèses renvoient à ceux des colonnes
de la table de vérité ci-dessus.)
Ce qui prouve bien que la forme propositionnelle (**) est une tautologie sur le référentiel E. Il
en résulte que l’assertion (*) qui, comme on l’a dit plus haut, est logiquement équivalente à
(**), est aussi vraie dans le référentiel E. CQFD.
Remarque : Démonstrations analogues pour les autres assertions ! (En exercices, TPE)
________________________________________________________________________ 26
CHAPITRE II : FONCTIONS, APPLICATIONS
II.1. Définitions et notions de base
II.1.0. Relation
Soient A et B des ensembles quelconques et A  B leur produit cartésien. Une relation R de A

vers B est la donnée d’une partie G de A  B. La partie G est alors appelée le graphe de la
relation R.
Exemples :
1. On considère les ensembles suivants, définis en compréhension : A   x  IN / 0  x  5 

et B   x  IN / 3  x  10 . On définit de A vers B une relation R1 par le lien verbal :
« x R1 y ssi x divise y ». En voici le graphe :
G   (1, 4), (1, 5), (1, 6) , (1, 7), (1, 8), (1, 9), (2, 4), (2, 6), (2, 8), (3, 6), (3, 9), (4, 4), (4, 8) 
2. On définit de IN dans Z une relation R2 par : « x R2 y  y  2 x ». Le graphe de cette
relation est : G   (0, 0), (1, 2), (2, 4) , (3, 6), (4, 8), (5, 10), (6, 12), ..., (n, 2n), ... 
II.1.1. Fonction - Application
Soient A et B des ensembles quelconques et f une relation de A vers B.
- On dit que f est une fonction si tout élément x  A admet au plus une image y  B . Dans
ce cas, on note f : A  B : x  y  f ( x) .
L’ensemble des éléments de A qui admettent une image dans B par f s’appelle alors le
domaine de définition (ou d’existence) de la fonction f, et se note Dom f ou encore D ( f ) .
Exemple : Si l’on considère les deux exemples précédents, seule R2 : IN  Z est une
fonction. R1 ne l’est pas puisque les antécédents 1, 2, 3 et 4 de A ont chacun plus d’une image
dans B par R1 .
- On dit que f est une application si tout élément x  A admet une et une seule image y  B .
Dans ce cas, on note aussi : f : A  B : x  y  f ( x) .
Exemple : La fonction R2 : IN  Z définie dans l’exemple précédent est une application.
N.B. De ce qui précède, on déduit que tout application est une fonction. Mais la réciproque
n’est pas vraie (i.e. il existe des fonctions qui ne sont pas des applications !).
- Graphe d’une fonction : Soit f une fonction définie d’un ensemble A dans un ensemble B.
Soit x  A . On note par f(x) l’image de x par f (si elle existe). On appelle graphe de f, noté
G f , l’ensemble G f  ( x, f ( x)) / x  Dom f .
________________________________________________________________________ 27
Le graphe d’une fonction f : A  B : x  y  f ( x) est donc, par définition, une partie
du produit cartésien A  B (i.e. G f  A  B).
II.1.3. Fonctions particulières
a) Application identique : la fonction f définie d’un ensemble A vers lui-même (i.e.

f : A  A ) par f ( x )  x est dite fonction (ou application) identique, ou encore
identité sur A.
b) Application constante : soit b un élément fixé d’un ensemble B. La fonction f définie

d’un ensemble A dans B par f ( x)  b est appelée fonction (ou application) constante.
Exemple : L’application nulle f : IR  IR : x  f ( x)  0 est une application

constante.
c) Restriction d’une application : Soient f : A  B : x  y  f ( x) une

application (ou une fonction) et H une partie de A (i.e. H  A). L’application f fait
alors correspondre à tout élément de H un élément de B. Elle définit donc une
application de H dans B, notée f H : H  A  B : x  y  f ( x) , et appelée
restriction de f à H.
d) Suite : Soit IN l’ensemble des entiers naturels et B un ensemble quelconque. Toute

application f : IN  B : n  f (n) s’appelle une suite d’éléments de B. On écrira,
pour simplifier, f (n)  f n , si aucune confusion n’est à craindre. f n sera alors dit le
terme de rang n (ou encore n ième terme) de la suite f, elle-même notée ( f n ) n  IN .
II.1.4. Application injective, application surjective
Soit f une fonction définie d’un ensemble A dans un ensemble B.
- On dit que f est injective (ou encore que f est une injection) si deux éléments quelconques et
différents x et y de A admettent toujours des images différentes par f. À l’aide de symboles
mathématiques, cette proposition se note comme suit :
« f : A  B : x  y  f ( x) est injective »   x, y  A , [ x  y  f ( x)  f ( y )]
Ce qui peut encore s’écrire comme suit, en prenant la contraposée de la proposition logique
écrite entre crochets :
« f : A  B : x  y  f ( x) est injective »   x, y  A , [ f ( x)  f ( y )  x  y ].
- On dit que f est surjective (ou encore que f est une surjection) si tout élément y  B admet
au moins un antécédent x  A par f. À l’aide de symboles mathématiques, cette proposition
se note comme suit :
« f : A  B : x  y  f ( x) est surjective »   y  B ,  x  A y  f ( x)
________________________________________________________________________ 28
Exemple : Soit A un ensemble quelconque (non vide). L’application identique sur A (notée
parfois Id A : A  A ) définie par Id A ( x)  x est à la fois injective et surjective.
II.1.5. Notions élémentaires d’analyse combinatoire
Nous considérons ici des ensembles finis E et F dont les cardinaux respectifs sont :
card E  p et card E  n (avec p  n) . On se propose de calculer le nombre d’injections
susceptibles d’être définies de E vers F. (Et dans le cas où p  n , on pourrait s’intéresser
également au nombre de surjections qui peuvent être définies de E vers F). Ou encore le
nombre de parties ayant p éléments (avec p  n) que contient un ensemble E ayant n
éléments. Ces problèmes relèvent de ce qu’on appelle, en algèbre, l’analyse combinatoire.
- Nombre d’injections de E dans F, où card E  p et card E  n (avec p  n) .

p
Notons ce nombre par A n
. On remarque qu’ici, pour définir une injection de E dans F, il
s’agit de choisir p éléments dans F et que l’ordre dans lequel on choisit ces p éléments est
important. Chacune de ces injections s’appelle un arrangement de n éléments choisis p à p.
n!
On démontre que A n  où n !  1. 2. 3. ... . n . (Par convention : 0 !  1 !  1)
p
(n  p) !
Preuve : Faisons un raisonnement par récurrence sur p ( 1  p  n , vu que p  n par
hypothèse).
- Vérification des conditions initiales (CI) : pour p  1 , la propriété est trivialement vérifiée.
En effet, dans ce cas, toute application de E vers F est une injection ; or il y a autant
d’applications possibles qu’il y a des éléments dans F (qui sont, bien entendu, les images
1 n (n  1) ! n!
possibles de l’unique élément de E). Donc A  n   .
n (n  1) ! (n  1) !
- Hypothèse de récurrence (HR) : Supposons que cette formule est vraie pour p < n, i.e.
n!
A n  (n  p) ! .
p
- Montrons alors qu’elle reste vraie à l’ordre p + 1 : Supposons que Card E  p  1  n .

 
Posons : E  a1 , a2 , ... , a p , a p 1 . On sait déjà, en vertu de l’HR, que A n 
p n!
(n  p) !
.
p 1
Le nombre A n
dépend alors, pour chacune des injections définies entre les p premiers
éléments a1 , a2 , a3 , ... , a p de E, des images possibles du dernier élément a p  1 de E dans
F. Or il y en a exactement n  p (ce qui correspond aux éléments restants de F, après qu’on
eût choisi les p images intervenant dans l’injection choisie de a1 , a2 , a3 , ... , a p  dans F.
Comme ce raisonnement est valable pour chacune de ces injections, alors on conclut que :
p 1 p n! n! n!
A n  A n . (n  p)  (n  p) !  (n  p)  (n  p  1) !  [ n  ( p  1)] !
Cette formule est donc vraie pour p + 1. On en déduit qu’elle est vraie pour tout p  n .
CQFD.
- Nombre de parties à p éléments d’un ensemble fini E ayant n éléments

________________________________________________________________________ 29
p
Notons ce nombre par C n
. On remarque qu’ici, pour définir une partie à p éléments de E, il
s’agit justement de choisir ces p éléments parmi les n éléments de E. Mais, cette fois-ci,
l’ordre dans lequel on choisit ces p éléments n’a aucune importance. Chacune de ces parties
s’appelle une combinaison de n éléments choisis p à p. On démontre que
p
n! An
C n  p ! (n  p)!  p ! où n !  1. 2. 3. ... . n .
p
Preuve : Posons que : Card E  n . On note qu’ici aussi, on a nécessairement p  n . Pour

déterminer le nombre de parties à p éléments contenus dans E, il suffit de déterminer le
n!
nombre d’injections d’un ensemble à p éléments dans E, qui vaut A n 
p
, et de le
(n  p) !
diviser par le nombre de permutations des p éléments intervenants dans la définition de
p
p

n!

A n . CQFD.
chacune de ces injections. Il en résulte que C n
p ! (n  p) ! p!
II.1.6. Image d’une partie par une fonction
Soit f une fonction définie d’un ensemble A dans un ensemble B. Soit P une partie de A (i.e.
P  A, avec f : A  B ). L’ensemble des éléments de B qui sont images par f d’au moins
un élément de P s’appelle image de P par f et se note Im P ou simplement f (P). Cet
ensemble est, par définition, une partie de l’ensemble d’arrivée B (i.e. f ( P )  B ).
Thème d’étude : Soit une application f : A  B . Montrer que  E , F  P ( A), on a :

E  F  f ( E )  f ( F ) , f ( E  F )  f ( E )  f ( F ) et f ( E  F )  f ( E )  f ( F ).
Montrer que f ( E  F )  f ( E )  f ( F ) si l’application f est injective (voir T.P.)
II.1.7. Image réciproque
Soit f une fonction définie d’un ensemble A dans un ensemble B. Soit P une partie de B et
y  B (i.e. P  B, avec f : A  B ).
L’ensemble des éléments x  A ayant pour image par f le seul élément y  B s’appelle
image réciproque de y par f et se note f 1 ( y ). Plus généralement, on désignera par f 1 ( P)
l’ensemble des éléments de A dont l’image par f appartient à la partie P de B. f 1 ( P) est
donc, par définition, une partie de l’ensemble de départ A (i.e. f 1 ( P)  A).
Thème d’étude : Soit une application f : A  B . Montrer que  E , F  P ( A), on a les

égalités suivantes : f 1 (Ø)  Ø , f 1 ( E  F )  f 1 ( E )  f 1 ( F ) et
1 1 1
f ( E  F )  f ( E )  f ( F ) , où E et F sont des parties de l’ensemble B ? Vérifier si
 
l’on a les égalités suivantes : f f 1 ( M )  M ou N  f 1  f ( N ) , où M est une partie
de B et N une partie de A. Sous quelles conditions ces égalités sont-elles vérifiées ? (voir T.P.)
________________________________________________________________________ 30
II.1.8. Applications biunivoques (i.e. bijectives) – Puissance
Soit f une fonction définie d’un ensemble A dans un ensemble B. A propos de cette notion
d’image réciproque par f, un cas particulier important est celui où l’image réciproque d’un
élément quelconque de y de B est un singleton (i.e. un ensemble ayant un unique élément).
Dans ce cas, l’opération f 1 : B  A est une application, appelée application réciproque
ou fonction réciproque de f.
- Si f : A  B est une application telle que sa réciproque f 1 : B  A existe (i.e. telle

que f 1 soit également une application), alors on dit que f est une application bijective ou
biunivoque (ou simplement une bijection) de A sur B.
- On démontre facilement que f : A  B est bijective si, et seulement si, elle est à la fois
injective et surjective.
- Puissance : S’il existe au moins une bijection f : A  B , alors on dit que les ensembles A
et B ont même puissance.
- Ensemble infini :
Cette notion de puissance est une sorte de généralisation de la notion usuelle de compter. En
effet, compter consiste à établir une correspondance biunivoque (i.e. une bijection) entre un
ensemble d’objets et une partie de nombres entiers consécutifs commençant par 1.
Cette même notion de puissance permet également de donner un sens précis à la notion d’un
ensemble ayant une infinité d’éléments. Un tel ensemble sera défini par la propriété : « il
existe au moins une partie distincte de l’ensemble et ayant même puissance que lui ».
Prenons l’exemple de l’ensemble IN des entiers naturels. On peut montrer que l’ensemble
2 IN des entiers naturels pairs est une partie de IN qui a même puissance que lui.
Considérons, en effet, l’application f : IN  2 IN : x  f ( x)  2 x. Cette application est
injective. Soient, en effet, x et y des éléments de IN tels que f ( x)  f ( y ). Alors, par
définition de f on a 2 x  2 y , et donc x = y. D’où l’injectivité de f. En outre, f est surjective
par construction. Donc f est une bijection entre l’ensemble IN et l’une de ses parties, en
l’occurrence 2IN. Il en résulte que l’ensemble IN est infini.
Un ensemble fini est alors un ensemble non infini, c’est-à-dire un ensemble tel qu’il n’existe
aucune partie distincte de l’ensemble entier et ayant même puissance que cet ensemble. Nous
n’allons pas nous appesantir sur les conséquences mathématiques de la notion de puissance
qui seront abordées dans des cours ultérieurs. Nous aborderons toutefois, dans l’étude
particulière de l’ensemble des entiers naturels, la notion d’ensemble dénombrable, c’est-à-dire
d’ensemble ayant même puissance que l’ensemble IN des entiers naturels.
Signalons, enfin, que si un ensemble H est fini, le nombre n de ses éléments s’appelle le
cardinal de H, et se note : Card H  n ou encore : # H = n. ( n  IN  0 . On pose :
Card Ø  0 .
II.2. Permutations d’un ensemble fini
- Permutation : Toute application bijective d’un ensemble E sur lui-même est appelée une
permutation de E.
________________________________________________________________________ 31
Ainsi, par exemple, l’application identique sur E est une permutation de E. De même, on peut
montrer que l’application f : IR  IR : x  f ( x)  2 x est aussi une permutation de IR.
Remarque : Une permutation est un arrangement particulier (pour lequel n  p ).
- Permutation d’un ensemble fini : Soit E un ensemble ayant un nombre fini n d’éléments.
Désignons par Pn le nombre de ses permutations. On a P1  1. En effet, E étant formé d’un
seul élément, la seule permutation de E envisageable est l’application identique. Supposons
maintenant que E soit une paire, i.e. un ensemble à deux éléments et posons : E   a1 , a2  .
Deux bijections peuvent être définies de E sur lui-même :
Id E : a1  a1 et  : a1  a2
a2  a2 a2  a1
Donc P2  2  1  2.
Plus généralement, supposons que Card E  n et posons que E   a1 , a 2 , ..., a n . Soit f
une permutation de E telle que ai '  f (ai ) pour i  1, 2, 3, ..., n. Soit k l’indice tel que
f (a k )  a n et considérons l’application g telle que g (ai )  ai ' si i  k et
g (a j )  a j 1 ' si k  j  n  1. Cette application g est alors une permutation de l’ensemble
E’ des n  1 éléments a1 , a2 , ..., an 1 .
Réciproquement, soit h une permutation de E’ telle que
h(ai )  ai ' ' pour i  1, 2, 3, ..., n  1 ; on en déduit une permutation f de E en choisissant
arbitrairement un indice k, avec 1  k  n, et en posant f (ai )  ai ' pour i  k ,
f (a k )  a n et f (a j )  a j 1 ' ' pour j  k. Il est clair que la permutation g de E’ déduite
de f comme plus haut est identique à h. Or il y a n choix différents possibles pour k, donc à
toute permutation de E’ correspondent n permutations différentes de E et si deux
permutations h1 et h2 de E sont différentes, toute permutation f1 de E correspondant à h1
est différente de chaque permutation f 2 de E correspondant à h2 , sinon, en enlevant an , on
aurait la même permutation de E’. Par suite, on a : Pn  n Pn 1 .
On obtient de même : Pn 1  (n  1) Pn 1 . Donc Pn  n (n  1) Pn  2 . Et, de proche en proche,
on trouve : Pn  n (n  1) (n  2) ... 3.2. P1  1.2..3. ... . (n  1) . n.
Le produit des n premiers entiers naturels consécutifs non nuls se note n !  1.2.3. ... . n et se
lit « factorielle n ». On pose par convention 0 !  1 avec 1 !  1 . On a donc : Pn  n ! .
La formule précédente Pn  n ! peut également être établie de la manière suivante :

déterminons le nombre de permutations d’un ensemble E   a1 , a 2 , ..., a n  ayant n éléments.
Pour le premier élément de E, par exemple a1 , il y a n images possibles a1 , a2 , ..., an .
L’image de a1 étant déterminée, il ne reste que n  1 images possibles pour le second élément
de E (par exemple a 2 ) ; Pour a3 , il n’y en aura plus que n  2 , puis n  3 pour a4 , et ainsi
de suite jusqu’au dernier élément a n de E pour lequel il n’y aura qu’une seule possibilité
restante. Le nombre total de possibilités est donc, en vertu de la règle du produit :
Pn  n (n  1) (n  2) ... 3.2. P1  1.2..3. ... . (n  1) . n  n !
________________________________________________________________________ 32
- Parité d’une permutation : Une permutation f de l’ensemble E   a1 , a 2 , ..., a n  est
définie par ai '  f (ai ) pour i  1, 2, 3, ..., n. Mais ai ' est l’un des n éléments
a1 , a2 , ..., an de E, donc ai '  ami où m1 , m2 , ..., mn sont les valeurs d’une permutation de
l’ensemble 1, 2, 3, ..., n  des n premiers entiers naturels consécutifs non nuls.
Si dans la permutation ( m1 , m2 , ..., mn ) il existe un couple ( mi , m j ) tel que i  j et
mi  m j , alors on dira que ce couple forme une inversion. Soit  f le nombre total des
inversions de la permutation f.
Si  f est pair, on dira que la permutation f est paire. Si  f est impair, la permutation sera
dite impaire.
Théorème 1 : Si on échange deux éléments dans une permutation f d’un ensemble fini E,
alors la parité de celle-ci change.
Preuve : Soit une permutation f de l’ensemble E   a1 , a 2 , ..., a n  définie par

ai '  f (ai ) pour i  1, 2, 3, ..., n. Nous allons d’abord supposer que l’on échange dans f
deux éléments consécutifs. Soit alors g la permutation définie par
g (ai )  ai ' si i  k ou i  k  1, g (a k )  a k 1 ' , g (a k 1 )  a k ' . Posons ai '  ami .
À f correspond la permutation ( m1 , m2 , ..., mk 1 , mk , mk 1 , mk  2 , ..., mn ) et à g la
permutation ( m1 , m2 , ..., mk 1 , mk 1 , mk , mk  2 , ..., mn ).
Un couple ( mi , m j ) forme une inversion ou non dans les deux permutations précédentes soit
que i  k , et j quelconque  i , soit que j  k  1 et i quelconque  j. Le seul couple
dont la nature change est ( mk , mk 1 ) qui devient ( mk 1 , mk ), donc le nombre total des
inversions change d’une unité ; donc sa parité change.
Un échange des éléments ai ' et a j ' dans une permutation peut se ramener à 2 i  j  1
échanges d’éléments consécutifs, donc, ce nombre étant impair, la parité de la permutation
change.
La permutation ( a1 , a2 , ..., an ) étant paire, la parité de ( a1 ' , a 2 ' , ..., a n ' ) est donc la même que
celle du nombre d’échanges qu’il faut effectuer pour ramener la deuxième à la première.
- Signature d’une permutation : Soient une permutation f d’un ensemble fini

E   a1 , a 2 , ..., a n  et  f le nombre d’inversions de f. On appelle signature de f le nombre
entier relatif noté  f , appartenant à la paire  1, 1 , et qui se calcule par la formule
suivante :
   1 si f est paire
 f  ( 1) f  
  1 si f est impaire
II.3. Composition de fonctions
Soient f une fonction d’un ensemble E sur un ensemble F et g une fonction de l’ensemble F
vers un ensemble H. Soit x  E . Alors y  f ( x)  F et on peut considérer l’élément
z  g ( y ) qui appartient à H.
________________________________________________________________________ 33
À tout x  E correspond ainsi z  g  f (x)  de H et on définit ainsi une fonction de E vers
H appelée fonction composée de f par g, notée g o f (Attention à l’inversion de la notation
de cette fonction composée, du fait que z  g  f ( x)   ( g o f ) ( x) ).
Il est clair qu’en général on a g o f  f o g (ce dernier symbole pouvant ne pas avoir un
sens). L’opération ( f , g )  g o f , dite composition des fonctions, n’est donc pas
commutative, en général.
- (Thèmes d’étude – preuves : voir T.P.) On démontre cependant que cette opération a les
propriétés suivantes :
a) Si f : A  B , g : B  C et h : C  D sont des fonctions, alors on a :
(h o g ) o f  h o ( g o f ). On dit que la composition des fonctions est associative.
b) Si f : A  B et g : B  C sont des applications bijectives, alors leurs réciproques
respectives le sont également et on a : ( g o f ) 1  f 1 o g 1 .
c) Si f : A  B est une application, alors on a : f o Id A  Id B o f  f , où
Id A et Id B désignent respectivement l’identité (ou l’application identique) sur A et
l’identité sur B.
________________________________________________________________________ 34
CHAPITRE III : RELATIONS BINAIRES
Nous savons intuitivement qu’on peut ranger les nombres réels dans un ordre de grandeur
croissant, c’est-à-dire que deux nombres réels donnés x et y sont toujours comparables ; Il
est toujours possible de dire si l’on a x  y ou y  x .
Si l’on considère les points d’un plan, on peut encore dire si, choisissant deux d’entre eux,
l’un est plus éloigné d’un point fixe de référence O que l’autre ou non (ou si l’un est à gauche
de l’autre ou non). On peut également dire si deux points du plan sont sur une droite donnée
ou non. Dans ces exemples, on dit qu’on a défini entre deux éléments une relation binaire.
III.1. Définition et propriétés
- Soit E un ensemble. Une relation binaire R sur E est la donnée d’une partie R du carré
cartésien E 2  E  E. La partie R se note parfois G R et s’appelle le graphe de la relation
R.
Lorsqu’un couple (a, b)  R  E  E , on dit que les éléments a et b de E sont liés par la
relation R et on note : a R b.
- Considérons le sous-ensemble D de E  E formé de tous les couples de la forme ( a, a ) ,

i.e. les couples dont les deux composantes sont égales. D s’appelle la diagonale de E  E .
Il en résulte que : (a, b)  D  a  b. La relation binaire correspondant à D (ou
admettant D comme graphe) est donc l’égalité dans E.
- Soit alors une relation binaire R définie sur un ensemble E.

 R est dite réflexive si  x  E , on a x R x. On peut également dire que R est
réflexive sur E ssi D  R ou encore ssi  a  E , (a, a )  R .
 R est dite symétrique si  x, y  E , on a x R y  y R x , autrement dit, si
 x , y  E , ( x, y )  R  ( y , x )  R .
 R est dite antisymétrique si  x, y  E , on a : [ x R y et y R x]  x  y,
autrement dit, si  x, y  E , [( x, y )  R et ( y, x)  R]  x  y. .
 R est dite transitive si  x, y, z  E , on a : [ x R y et y R z ]  x R z , autrement
dit, si  x, y  E , [( x, y )  R et ( y, z )  R]  ( x, z )  R.
- Exemples élémentaires importants :
1. L’égalité sur E, définie par « x R y  x  y » est une relation réflexive, symétrique,

antisymétrique et transitive.
2. La relation R définie sur l’ensemble E   x  IN / 2  x  7  par le lien verbal :
« x R y  x divise y » est à la fois réflexive, antisymétrique et transitive.
3. Soient E un ensemble et P(E) l’ensemble de ses parties. On définit sur P(E) une relation
binaire R par : « A R B  A  B », dite relation induite par l’inclusion dans P(E). On
démontre aisément que :  A, B, C  P( E ) ,
________________________________________________________________________ 35
A A (réflexivité de R)
Si A  B et B  A , alors A  B (antisymétrie de R)
Si A  B et B  C , alors A  C (transitivité de R)
III.2. Relation d’ordre
Soit R une relation binaire définie sur un ensemble E. On dit que R est une relation d’ordre
sur E si elle est à la fois réflexive, antisymétrique et transitive.
Et si R est une relation d’ordre sur E telle que  x, y  E , on a : soit x R y, soit y R x ,
i.e. si tous les éléments de E sont comparables par R, alors on dit que R est une relation
d’ordre total sur E. Dans le cas contraire (c’est-à-dire s’il existe dans E des éléments non
comparables par la relation d’ordre R), on dit que R est une relation d’ordre partiel sur E.
- Exemples :
a) Les trois relations binaires proposées dans les exemples illustratifs ci-dessus sont toutes des
relations d’ordre sur leurs ensembles respectifs de référence. On établit aisément que chacune
des ces relations est une relation d’ordre partiel.
b) La relation R définie dans l’ensemble IN des entiers naturels par le lien :
« x R y  x  y » est une relation d’ordre. En effet,  x, y, z  IN , on a :
xx ( Réflexivité de la relation )
x  y et y  x  x  y ( Antisymétrie de )
x  y et y  z  x  z (Transitivité de )
De plus,  x, y  IN , on a : soit x  y, soit y  x . La relation «  » est donc une
relation d’ordre total sur IN.
- Si un ensemble E est muni d’une relation d’ordre R, on dit alors que E est un ensemble
ordonné par R. Si cet ordre R est total, on dit alors que E est un ensemble totalement ordonné
par R.
-Exemples :
Les ensembles IN (des entiers naturels), Z (des entiers relatifs), Q (des nombres rationnels) et
IR (des nombres réels) sont totalement ordonnés par la relation «  » définie par :
 x, y  E , « x R y  x  y », proposée dans l’exemple (b) ci-dessus (dans le cas du
référentiel IN), où E représente l’un quelconque des ensembles numériques proposés.
III.2.1. Majorants, minorants et bornes d’un ensemble ordonné
Soient E un ensemble totalement ordonné par une relation R (que nous noterons par le
symbole «  », sans restreindre la généralité) et A une partie de E.
- On dit qu’un élément x  E est un majorant de A si,  a  A, on a : a  x. Le plus
petit des majorants de A s’appelle le supremum de A (ou encore borne supérieure de A) et se
note : Sup A. Si Sup A appartient à la partie A de E, on l’appelle alors le maximum de A.
- On dit qu’un élément y  E est un minorant de A si,  a  A, on a : y  a. Le plus
grand des minorants de A s’appelle l’infimum de A (ou encore borne inférieure de A) et se
note : Inf A. Si Inf A appartient à la partie A de E, on l’appelle alors le minimum de A.
________________________________________________________________________ 36
Exemple : Dans l’ensemble IR des réels, totalement ordonné par la relation «  »,
considérons la partie A  [1, 5 [ . Tous les nombres réels x tels que x  5 sont des majorants
de A. Le plus petit d’entre eux étant 5, on a : Sup A  5. Il n’est pas le maximum de A
puisque 5  A) . De même, tous les nombres réels y tels que y  1 sont des minorants de A.
Le plus grand d’entre eux est 1. Donc Inf A  1  Maximum de A (du fait que 1  A).
III.3. Relation d’équivalence
Une relation binaire R définie sur un ensemble E est une relation d’équivalence si elle est à
la fois réflexive, symétrique et transitive.
- Si R est une relation d’équivalence sur E, et si deux éléments a et b de E sont en relation

par R, on notera alors parfois : a  b ou a  b [mod R] , ou encore a  b [mod R] au
lieu de « a R b ». On dit alors que les éléments a et b de E sont équivalents et la notation
a  b [mod R] se lit : « a est égal à b, modulo R » (l’expression « modulo R » signifiant
« selon la relation R, cette dernière étant considérée comme l’instrument de mesure grâce
auquel l’équivalence ou l’égalité entre a et b est établie ».
N.B. : Il est utile de signaler ici que le mot « modulo » vient du latin « modulus » qui signifie
« mesure ». [Source : Roger Caratini, (1985), p. 28]
- Classe d’équivalence : Soit R est une relation d’équivalence sur un ensemble E. Soit a  E .
__
On appelle classe d’équivalence de a, notée cl (a) ou a , l’ensemble des éléments de E qui
sont en relation avec a par R.
__
Donc cl (a)  a  x  E / x R a  x  E / x  a [mod R] .
Thème d’étude (voir T.P.) : On démontre aisément que :  x, y  E :

__ __
x  Ø (car x  x du fait que R est réflexive) (Aucune classe n' est vide )
__ __
Si x  y [mod R] , alors x  y  Ø (Deux classes distinctes sont disjointes)
__ __ __ __
Si x  y [mod R] , alors x  y (et réciproquement : x  y  x  y [mod R])
__
 x  E (Les classes d' équivalence recouvrent E )

xE
Les classes d’équivalence constituent donc une partition de E.
- Ensemble-quotient : L’ensemble des classes d’équivalence déterminées sur un ensemble E

par une relation d’équivalence R s’appelle ensemble-quotient de E par R ; On le note E .
R
Exemples
1. L’égalité, notée « = » et définie dans n’importe lequel des ensembles de nombres rappelés
ci-haut, est une relation d’équivalence.
________________________________________________________________________ 37
2. Dans l’ensemble E des droites d’un plan  , la relation R définie par :
« D1 R D2  D1 D2 » (où les deux barres verticales représentées signifient : « … est
parallèle à … ») est une relation d’équivalence.
III.3.1. Décomposition canonique d’une application f : E  F
Soient E et F des ensembles et f : E  F une application. On définit sur E une relation

 par : x  y  f ( x)  f ( y ). On démontre facilement que  est une relation
d’équivalence sur E. Considérons alors l’ensemble quotient E de E par cette relation  .

Théorème (très important) et définitions :

__ __
i) L’application s : E  E , définie par :  x  E, s ( x)  x , (où x désigne

la classe d’équivalence de x dans E pour la relation d’équivalence  ) est
surjective. On l’appelle la surjection canonique définie sur E.
__ __
ii) La relation b : E  f ( E) , définie par :  x  E, s ( x )  f ( x) , (où x

désigne la classe d’équivalence de x dans E pour la relation d’équivalence
, f ( E ) étant l’image de E par f dans F) est une application bijective. On
l’appelle la bijection canonique.
iii) L’application i : f ( E )  F , définie par :  x  f ( E ), i ( x)  x , est injective.
On l’appelle l’injection canonique définie sur F.
iv) En tenant compte des trois applications définies précédemment, l’application f se
décompose de la manière suivante : f  i o b o s (où le symbole « o » désigne la
composition des applications), selon le diagramme commutatif ci-après, dit
diagramme de décomposition canonique d’une application f : E  F :
E 
f
F
 i
s
E 

b
f (E )

Démonstration : Les assertions (i) et (iii) sont trivialement vérifiées. Montrons seulement que
les assertions (ii) et (iv) le sont aussi.
- D’une part, b est bien une application car, si x et y sont des éléments de E tels que

x  y , alors on a : x  y et, par conséquent, f ( x )  f ( y ) (d’après la définition de la

relation . On en déduit que b x  b y . 
L’injectivité et la surjectivité de l’application b sont alors trivialement établies. L’application
b est donc bijective.
  
- Soit alors x  E. On a (i o b o s) ( x)  i  b s ( x)   i b x  i  f x   f ( x) .
Il en résulte que f  i o b o s . CQFD.
________________________________________________________________________ 38
III.3.2. Notions élémentaires sur la théorie des congruences
- Note liminaire : La construction de l’ensemble Z des entiers relatifs, telle que nous la
referons dans un chapitre ultérieur, sera bâtie sur la notion de relation d’équivalence : ses
éléments seront interprétés comme des symboles décrivant des classes d’équivalence dans le
carré cartésien IN  IN . Faisant suite aux travaux de Lagrange sur Les résidus quadratiques,
Gauss a montré dans des travaux arithmétiques publiés dans son ouvrage intitulé
Disquisitiones Arithmeticae (1801) qu’il existait une analogie entre le calcul sur les classes
d’équivalence et le calcul sur les nombres entiers. De ce point de vue, l’étude d’une relation
d’équivalence particulière, baptisée congruence, se révéla extrêmement féconde. Nous en
proposons, dans la suite, une présentation laconique.
- Nombre premier : On rappelle de prime abord qu’un nombre entier naturel p est dit un
nombre premier si l’ensemble de ses diviseurs est une paire (i.e. un ensemble ayant deux
éléments). Ainsi, par exemple, les entiers 2, 3, 5, 7, 11, 13, 17, 23, 29, etc., sont des nombres
premiers : chacun d’eux n’est divisible que par 1 et par lui-même, et possède donc deux
diviseurs distincts. 1 n’est pas premier (car l’ensemble de ses diviseurs 1  est un singleton),
4 ne l’est pas non plus car il admet trois diviseurs dans IN, en l’occurrence : 1, 2 et 4. Etc.
Une méthode permet de déterminer, de manière infaillible, les nombres premiers inférieurs à
100 par exemple : c’est la méthode dite « crible d’Eratosthène », fondée sur l’élimination
progressive des multiples d’entiers naturels (en partant du premier nombre premier 2, retenu
comme premier, et qui permet d’éliminer tous les autres entiers pairs différents de 2, puis on
élimine les multiples de 3 autres que 3, puis ceux de 5 autres que 5, etc.).
- Exemple introductif : Soit, dans l’ensemble IN des entiers naturels, la relation R définie par :
« x R y ssi la division euclidienne de x par 3 donne le même reste que la division euclidienne
de y par 3 ». (On aura, par exemple, que 17 R 5 car la division euclidienne de chacun de ces
deux nombres par 3 admet 2 comme reste ; Il en est de même pour 37 R 16 ou 10 R 13. Etc.)
Tout d’abord, il est clair que pour n’importe quel entier x, la division euclidienne de x par 3
admet le même reste que la division euclidienne de x par 3. La relation R est réflexive.
Ensuite, quels que soient les entiers x et y, si la division euclidienne de x par 3 admet le
même reste que la division euclidienne de y par 3, alors on peut dire que la division
euclidienne de y par 3 admet le même reste que la division euclidienne de x par 3. La relation
R est symétrique. Enfin, quels que soient les entiers x, y et z, il est évident que si la division
euclidienne de x par 3 admet le même reste que la division euclidienne de y par 3, et si la
division euclidienne de y par 3 admet le même reste que la division euclidienne de z par 3,
alors on peut conclure que la division euclidienne de x par 3 admet le même reste que la
division euclidienne de z par 3. La relation R est transitive. R est donc une relation
d’équivalence sur IN.
- Une autre formulation de l’exemple introductif précédent : Soit, dans l’ensemble Z des
entiers relatifs, la relation R définie par : « x R y  x  y est divisible par 3 », ce qui
peut encore s’écrire : « x R y   k  Z tel que x  y  3 k »
Cette relation est réflexive car,  x  Z , x  x  0  0.3. Elle est également symétrique.
Soient, en effet, deux entiers x, y  Z . Supposons que x R y. Alors
 k  Z tel que x  y  3 k . Par suite, on a : y  x   3 k  3.(  k )  3 k ' avec
k '   k  Z . Donc y R x.
________________________________________________________________________ 39
Elle est, enfin, transitive. Supposons, en effet, que x R y et y R z . Alors
 k , t  Z tels que x  y  3 k et y  z  3t. Par conséquent, on a:
x  z  ( x  y )  ( y  z )  3k  3t  3 (k  t )  3 k " , avec k "  Z . On en déduit que
x R z.
La relation R ainsi définie est donc une relation d’équivalence, dite relation d’équivalence
modulo le nombre premier p = 3. On prouve aisément que la formulation
« x R y   k  Z tel que x  y  3 k » (1) adoptée pour cette relation est équivalente
à la suivante, adoptée dans le premier exemple introductif : « x R y ssi la division
euclidienne de x par 3 donne le même reste que la division euclidienne de y par 3 » (2).
Soient, en effet, x, y  Z . supposons que la division de x par 3 admette q comme quotient
et r comme reste, et que celle de y par 3 admette s comme quotient et r’ comme reste. On
peut donc écrire : x  3q  r et y  3s  r '. On a donc :
(2)  r  r '  x  y  3 (q  s )  3 k (avec k  q  s  Z )  (1). D’où
l’équivalence entre ces deux formulations de la relation d’équivalence modulo 3.
Intéressons-nous à présent aux classes d’équivalence de Z par cette relation. Posons d’abord
x  3 et déterminons la classe de 3. On vérifie aisément que les valeurs suivantes de y
satisfont à la relation «  k  Z tel que x  y  3 k » : …, -15, -12, -9, …, 0, 3, 6, 9, …
__
Ce sont les multiples de 3. Donc cl (3)  3   y  Z / y  3 k , k  Z . Remarquons
que la classe de 3 ainsi déterminée est aussi la classe de 0, vu que
__ __
3  0 [mod 3] i.e. 0  3 .
Soit, ensuite, x  2. On démontre tout aussi facilement que les entiers -16, -13, -10, …, 2, 5,
8, … vérifient la proposition : «  k  Z tel que x  y  3 k » pour x  2. Ils font donc
partie de la classe de 2 et peuvent tous s’écrire la forme générique : y  3 k  1, k  Z . Il
__
en résulte que cl (2)  2  y  Z / y  3 k  1, k  Z . Par un raisonnement analogue,
__
on établit également que cl (1)  1   y  Z / y  3 k  1, k  Z    14,  11,  8, ..., 1, ... .
La relation d’équivalence considérée divise donc Z en trois classes d’équivalence. Et
l’ensemble-quotient de Z par la relation d’équivalence modulo 3 est :
Z  Z  __ __ __   __ __ __ 
  1, 2, 3    0, 1, 2  .
R 3Z    
Cet ensemble-quotient pourrait être autrement déterminé en tenant compte de la première
formulation (1) de la relation d’équivalence R [modulo 3]. On rappelle que la division
euclidienne d’un entier naturel D (dit le dividende) par un entier naturel d (dit le diviseur)
consiste à déterminer un entier naturel q (dit le quotient) et un entier naturel r (appelé le
reste), avec r  d , tels que l’on ait : D  d  q  r. Comme, dans cet exemple, le diviseur
est d  3, et en tenant compte de la contrainte « r  d », on conclut que les valeurs
possibles de r sont : r  0 (division exacte) , r  1 et r  2. Il n’y aura donc que trois
classes d’équivalence : la classe de 0, constituée trivialement par les multiples de 3 (en effet,
vu le fait que la division doit être exacte pour que l’on ait r = 0, les deux nombres entiers x et
y doivent être des multiples de 3 pour que leurs divisions euclidiennes respectives par 3
admettent 0 comme reste), celle de 1 (formée donc par des multiples de 3 augmentés de 1,
c.à.d. par des entiers de la forme y  3 k  1, k  Z ) et, enfin, celle de 2 (constituée par des
multiples de 3 augmentés de 2 ou diminués de 1, ce qui revient au même, donc des nombres
________________________________________________________________________ 40
de la forme : y  3k '  2  3 k  1, k ' , k  Z , la double égalité précédente s’établissant
facilement à l’aide du changement de variable : k '  k  1 )
Remarque : On pourrait, dans l’exemple précédent, remplacer l’entier premier 3 proposé

comme diviseur de référence par n’importe quel autre nombre premier (2 ou 5 ou 7 ou 11 ou
13 ou 17, …) que nous notons p (ou encore par un entier naturel quelconque). On obtient
alors la formulation générale suivante :
Exemple fondamental (généralisation de l’exemple introductif proposé ci-dessus) : Soit p

un nombre premier (respectivement un entier naturel quelconque). On définit dans l’ensemble
Z des entiers relatifs la relation R par : « x R y   k  Z tel que x  y  p k ». On
rappelle que cette formulation est équivalente à la suivante : « x R y  le reste de la
division euclidienne de x par p est le même que celui de la division euclidienne de y par
p ». On montre aisément que la relation R ainsi définie est une relation d’équivalence sur Z.
Soient, en effet, des entiers relatifs x, y et z :
- D’une part, on a :  x  Z , x  x  0  0. p. Donc x R x . Par suite, la relation
R est réflexive.
- D’autre part, si les entiers x, y  Z sont tels que x R y , alors
 k  Z tel que x  y  p k . On en déduit que l’on peut écrire :
y  x   p k  p.(  k )  p k ' avec k '   k  Z . Donc y R x. La relation R
est symétrique.
- Supposons, enfin, que les entiers relatifs x, y et z soient tels que x R y et y R z .
Alors  k , t  Z tels que x  y  p k et y  z  p t. Par conséquent,
on a :
x  z  ( x  y )  ( y  z )  pk  pt  p (k  t )  p k " , avec k "  Z . On en
déduit que x R z . D’où la relation R est transitive.
R est donc une relation d’équivalence, dite relation d’équivalence modulo p (p entier premier
(resp. p entier quelconque)). Si deux entiers relatifs a et b sont en relation par R, on notera
alors a  b [mod p ]. Ce qui signifie que le reste de la division euclidienne de a par p est le
même que celui de la division euclidienne de b par p.
D’après un raisonnement analogue au précédent, on conclut que cette relation divise
__ __ __ __ ______
l’ensemble Z en p  1 classes d’équivalence notées : 0 , 1 , 2 , 3 , ..., p  1 (compte tenu du
fait que la division d’un entier quelconque x par le nombre premier p admet comme restes
possibles 0, 1, 2, 3, …, ou p  1 , vu que le reste doit être strictement inférieur au diviseur p).
On les appelle des classes résiduelles [mod p].
Il en résulte que l’ensemble-quotient de Z par la relation d’équivalence modulo p est :
Z  Z  __ __ __ __ ______

  0 , 1 , 2 , 3 , ..., p  1  .
R pZ  
III.3.3. Notions élémentaires sur les lois de composition
L’objet de l’algèbre est, entre autres, l’étude des règles de calcul caractérisant des opérations
sur des ensembles. Les plus simples sont l’addition et la multiplication définies sur des
ensembles de nombres. Ces opérations associent à un couple de deux nombres un troisième
nombre appelé somme ou produit des deux autres. Nous définirons de façon générale une loi
de composition sur un ensemble quelconque E.
________________________________________________________________________ 41
III.3.3.1. Définitions
- Soit E un ensemble. Toute application f : E  E  E s’appelle une loi de composition

interne sur E.
Exemples : l’addition et la multiplication (notations :  : IN  IN  IN : (a, b)  a  b

et  : IN  IN  IN : (a, b)  a  b ) sont des lois de composition internes sur IN, sur Z,
sur Q, sur IR, Etc.
- Soient E et F des ensembles. Une application f : E  F  E (ou f : F  E  E )

s’appelle une loi de composition externe sur E, à opérateurs dans F.
Exemple : Soient V l’ensemble des vecteurs d’un plan  et IR l’ensemble des nombres
  
réels. L’application f : IR  V  V : ( , x )  f ( , x )   . x s’appelle une loi
de composition externe sur V, à opérateurs dans IR.
Notation généralisée : Au lieu d’utiliser un symbole fonctionnel, comme par exemple :

(a , b)  f (a, b)  c, pour noter une loi de composition interne définie sur un ensemble
E, on emploie en général un signe spécial (comme + pour l’addition,  pour la multiplication,
Etc.). Pour pouvoir étudier les propriétés communes à toutes ces lois, nous utiliserons parfois
des symboles comme ,  , , ... pour noter une loi de composition interne, et nous écrirons
par exemple a  b  c (ou a  b  c , ou encore a  b  c) à la place de la notation
fonctionnelle proposée ci-dessus.
N.B. : Un ensemble E muni d’une loi de composition interne  se note ( E , ) et s’appelle

un monoïde. (Précisons, en passant, que certains auteurs ajoutent la condition se rapportant à
l’existence de l’élément neutre e dans ( E , ) pour que ce dernier soit qualifié de monoïde).
III.3.3.2. Propriétés d’une loi de composition interne
Soit  une loi de composition interne définie dans un ensemble E (i.e.

 : E  E  E : (a, b)  a  b est une application.
- Commutativité : On dit que  est commutative dans E si

 a , b  E , on a : a  b  b  a .
Exemples : L’addition et la multiplication de nombres sont commutatives (dans IN, dans Z,

dans Q, dans IR, Etc.). En effet,  a, b  IN , on a : a  b  b  a et a . b  b . a . La
soustraction dans Z (qui est bien une loi de composition interne dans Z) n’est pas commutative
car, en général, si a  b , alors on a : a  b  b  a .
- Associativité : On dit que  est associative dans E si

 a , b, c  E , on a : (a  b)  c  a  (b  c) .
Exemples : L’addition et la multiplication de nombres sont associatives (dans IN, dans Z, dans
Q, dans IR, Etc.). En effet, effet,  a, b, c  IN , on a : (a  b)  c  a  (b  c)
________________________________________________________________________ 42
et (a . b) . c  a . (b . c). La soustraction dans Z (qui est bien une loi de composition interne
dans Z) n’est pas associative car, en général, si a, b , c  IN , alors on
a : (a  b)  c  a  (b  c) .
- Élément neutre : Soit E un ensemble muni d’une loi de composition interne notée  . Soit
e  E. On dit que e est l’élément neutre de la loi  dans E si  a  E , on a :
a  e  e  a  a.
Exemples : 0 est l’élément neutre de l’addition dans IN (ou dans Z, ou dans Q, ou encore dans
IR) car, par exemple,  a  IN , a  0  0  a  a. 1 est l’élément neutre de la
multiplication dans IN (ou dans Z, ou dans Q, ou encore dans IR) car, par exemple,
 a  IN , a . 1  1 . a  a.
- Élément symétrique : Soit  une loi de composition interne définie sur un ensemble E et
admettant un élément neutre e. Soit a  E . On dit qu’un élément a '  E est le symétrique de
a pour la loi  si a  a '  a '  a  e.
Exemples : Si a est un nombre réel quelconque, alors  a est son symétrique pour l’addition.
(On l’appelle son opposé). En effet,  a  IR , a  ( a )  ( a )  a  0. Par ailleurs, si
1
a  0, le nombre réel noté a 1  est le symétrique de a pour la multiplication dans IR.
a
1 1
(On l’appelle l’inverse de a). En effet,  a  IR   0 , a .      . a  1.
a a
- Unicité de l’élément neutre et du symétrique d’un élément pour une loi de composition
interne  (Thème d’étude - Preuves : voir T.P.) : Soit E un ensemble non vide muni d’une
loi de composition interne notée  admettant e comme élément neutre dans E.
a) Démontrer que l’élément neutre e est unique dans E.
b) Démontrer que, s’il existe, le symétrique a ' d’un élément a de E est aussi unique dans E.
- Élément régulier : Un élément a  E est dit régulier pour une loi de composition interne
 définie dans E si, quels que soient les éléments x  E et y  E ,
a  x  a  y  x  y (régularité à gauche) et x  a  y  a  x  y (régularité
à droite).
Exemples : Tout nombre réel a est régulier pour l’addition dans IR. En effet,
 x, y  IR , a  x  a  y  x  y et x  a  y  a  x  y. De même, tout
nombre réel non nul a (i.e.  a  0) est régulier pour la multiplication dans IR. En effet,
 x, y  IR , a . x  a . y  x  y et x . a  y . a  x  y.
Attention ! 0 n’est pas régulier pour la multiplication dans IR. En effet, l’égalité et
x . 0  y . 0 n’implique pas nécessairement que x  y ! (Par exemple, 0 . 3 = 0 . 5 = 0,
alors que 3  5) .
- Distributivité d’une loi de composition interne par rapport à une autre : On définit sur
un ensemble E deux lois de composition internes respectivement notées  et  . On dit que
la loi  est distributive par rapport à la loi  si
________________________________________________________________________ 43
 a, b, c  E , on a : a  ( b  c)  (a  b)  (a  c) (distributivité à gauche) et
( b  c)  a  (b  a )  (c  a ) (distributivité à droite).
Remarque : Si la loi  est commutative dans E, on peut se contenter de vérifier uniquement

la distributivité à gauche de la loi  par rapport à la loi  , la distributivité à droite se
déduisant aisément de celle à gauche en vertu de la commutativité de  .
Exemples :
- Dans l’ensemble IR des nombres réels (de même que dans IN, ou dans Z, ou encore dans Q),
la multiplication est distributive par rapport à l’addition. En effet,
 a, b, c  IR , on a : a . ( b  c)  a . b  a . c et ( b  c) . a  b . a  c . a.
- Dans l’ensemble P (E ) des parties d’un ensemble E, l’intersection et la réunion sont
distributives chacune par rapport à l’autre. En effet, Soient A, B et C des parties de E. Alors
on a : A  ( B  C )  ( A  B)  ( A  C ) et A  ( B  C )  ( A  B)  ( A  C ).
III.3.4. Morphismes de monoïdes
Soient ( E , ) et ( F ,  ) des monoïdes (i.e. des ensembles munis de deux lois de composition
internes).
- Une application f : E  F est un morphisme de monoïdes si
 a, b  E , f (a  b)  f (a)  f (b) . Autrement dit, si l’image de la composée de deux
éléments quelconques de E est égale à la composée de leurs images respectives dans F.
Exemples : - On considère l’ensemble IR muni de l’addition et de la multiplication usuelles.

L’application f : ( IR , )  ( IR , ) définie par f ( x)  5 x est un morphisme de monoïdes.
En effet,
 x , y  IR , f ( x  y )  5 x  y (par définition de f )
 5x . 5y (propriété des puissances dans IR )
 f ( x) . f ( y ) (par définition de f )
Donc f ( x  y )  f ( x) . f ( y ),  x , y  IR .
- Par contre, l’application f : ( IR , )  ( IR , ) définie par f ( x)  x 2 n’est pas un

morphisme de monoïdes car
 x , y  IR , f ( x  y )  ( x  y ) 2 (par définition de f )
 x 2  y 2  2 xy (produit remarquable dans IR )
 f ( x)  f ( y )  2 xy (par définition de f )
Donc , en général, on a : f ( x  y )  f ( x)  f ( y ), où x , y  IR (du fait qu' on peut
trouver au moins deux réels x et y tels que 2 xy  0)
- Isomorphisme de monoïdes : soit f : ( E , )  ( F ,  ) un morphisme de monoïdes, i.e.

 a, b  E , f (a  b)  f (a)  f (b) . On dit que f est un isomorphisme de monoïdes si f
est en plus une bijection.
________________________________________________________________________ 44
Dans ce cas, on dit que les ensembles E et F sont isomorphes et on note parfois
E  F ou E  F .
Exemple : Les monoïdes ( IR    0 , .) et ( IR ,  ) sont isomorphes. Considérons, en effet,

l’application f : ( IR    0 , .)  ( IR , ) définie par : f ( x)  Log x. Soient x et y des
nombres réels strictement positifs (i.e. x  0 et y  0). D’une part, on a :
f ( x . y )  Log ( x . y ) (par définition de f )
 Log x  Log y (propriété élémentaire des logarithmes dans IR )
 f ( x)  f ( y ) (par définition de f )
Donc ,  x , y  IR    0  on a : f ( x . y )  f ( x)  f ( y ).
L’application f est donc un morphisme de monoïdes. (1)
Supposons, d’autre part, que l’on ait f ( x)  f ( y ) (où x  0 et y  0). Alors on a, par
x x
définition de f : Log x  Log y  Log x  Log y  0  Log 0   1 . Il en
y y
résulte que x  y. Par suite, le morphisme f est injectif.
Soit, enfin, un nombre réel quelconque y. On peut écrire : y  y .1  y Log e  Log e y .
En posant x  e y  IR    0 , on conclut qu’il existe x  0 (i.e. x  IR    0 ) tel que
y  f (x) . On en déduit que le morphisme f est surjectif. Comme f est à la fois injectif et
surjectif, alors on conclut que f est une bijection. (2)
De (1) et (2) on déduit que f est un isomorphisme du monoïde ( IR    0 , .) sur le
monoïde ( IR ,  ) . Ces derniers sont donc isomorphes.
Remarque importante : La notion d’isomorphisme est capitale en Algèbre. En effet, quand

on peut établir un isomorphisme entre deux ensembles munis chacun d’une ou de plusieurs
lois de composition internes qui se correspondent par cet isomorphisme, il arrivera souvent –
comme nous le ferons dans la suite du cours – qu’on identifie ces deux ensembles, c’est-à-dire
on utilisera les mêmes symboles pour représenter leurs éléments ainsi que les symboles des
lois de composition internes qui se correspondent par cet isomorphisme.
________________________________________________________________________ 45
CHAPITRE IV : L’ENSEMBLE IN DES NOMBRES ENTIERS
NATURELS
IV.0. Note liminaire
A partir des axiomes de la théorie des ensembles, il est possible de construire un ensemble
noté IN et ayant les propriétés suivantes :
1°. IN est un ensemble infini, totalement ordonné ;
2°. Toute partie de IN a un plus petit élément ;
3°. Toute partie de IN ayant un plus grand élément est finie.
Un tel ensemble est appelé l’ensemble des entiers naturels. (On rappelle ici que les notions
d’ensemble fini ou infini peuvent être déduites de la théorie des ensembles). Nous nous
contenterons ici d’indiquer cette voie d’accès aux entiers naturels, fondée sur la théorie des
ensembles et nous nous bornerons à admettre l’existence d’un tel ensemble IN.
La propriété (2°) implique que l’ensemble IN a lui-même un plus petit élément (que nous
noterons 0 ou 1 selon le cas : ce détail sera clarifié dans la section suivante du présent
chapitre). En enlevant ce plus petit élément, il reste encore un ensemble ayant les propriétés
(1°), (2°) et (3°). Plus généralement, on peut enlever successivement un nombre fini de plus
petits éléments ; les ensembles obtenus sont encore des ensembles IN. Cet ensemble existe
donc en plusieurs exemplaires et on peut convenir de se référer toujours à l’un d’eux dont on
désigne les éléments successifs par les symboles usuels : (0), 1, 2, 3, 4, …
Soit a un élément de IN. L’ensemble des éléments de IN qui sont strictement supérieurs à a
est une partie de IN. D’après l’axiome (2°), cette partie a un plus petit élément que nous
noterons a ' et appellerons le successeur de a (ou encore entier consécutif à a).
Réciproquement, soit b  IN . L’ensemble des éléments de IN qui sont inférieurs ou égaux à b
est fini en vertu de l’axiome (3°) (puisque b en est le plus grand élément). Il en résulte que la
partie de IN obtenue en enlevant b de l’ensemble précédent est finie ou vide ; Si elle est finie,
alors elle a un plus grand élément, noté a par exemple, qui est tel que son successeur est b.
(i.e. a '  b). Si elle est vide, c’est que b est le plus petit élément de l’ensemble IN. Donc tout
élément b de IN, excepté le plus petit élément (que nous avons choisi de noter 0) est le
successeur d’un entier naturel que nous noterons par ' b et que nous appellerons le
prédécesseur de b (ou encore l’antécédent de b).
- Raisonnement par récurrence6 : L’outil le plus important dans l’étude de IN est le

raisonnement par récurrence. Il est caractérisé par le schème opératoire suivant : Supposons
que nous soyons capables d’établir les deux propositions suivantes :
1°. Il existe au moins un entier b pour lequel une proposition P est vraie.
2°. Et l’implication logique suivante (dite Hypothèse de récurrence, HR en sigle) : si cette
proposition P comme vraie pour un entier naturel quelconque a, alors elle est vraie pour le
successeur a ' de a.
Thème d’étude : Ces deux propositions entraînent que la proposition P est vraie pour tout
entier naturel supérieur ou égal à b. Et si b est égal à 0, on conclut que la proposition P est
donc vraie pour tout entier naturel n.
6
Ce mode de raisonnement a été appliqué deux fois à la section II.1.5.
________________________________________________________________________ 46
Preuve : Considérons, en effet, l’ensemble V des entiers supérieurs à b pour lesquels P n’est
pas vraie. V est une partie de IN, elle a donc un plus petit élément c et on a : c  b (car la
proposition P est vraie pour b, i.e. b  V ). Remarquons que la proposition P n’est pas vraie
pour c (du fait que c  V ). Soit ' c le prédécesseur de c ; alors ' c  b et, en principe, P est
vraie pour ' c (vu que c est le plus petit élément de l’ensemble V). Or, d’après l’axiome (2°),
puisque la proposition P est vraie pour l’entier ' c , alors elle doit être vraie pour son
successeur qui est précisément c. Ce qui est contradictoire (avec le fait que nous avons
supposé, plus haut, que la proposition P n’est pas vraie pour c). On en déduit que l’ensemble
V est vide. Par suite, la proposition P est vraie pour tout entier n de IN supérieur ou égal à b.
CQFD.
N.B. Les notions sommairement exposées dans ce premier paragraphe vont être clarifiées et
complétées dans la section suivante.
IV.1. Définitions et axiomes de base
Les nombres entiers sont les nombres avec lesquels l’homme compte les objets qu’il perçoit
(dans la nature ou dans son environnement) ou qu’il conçoit (dans son imagination). On a
coutume de les qualifier de naturels. Comme nous l’avons précisé plus haut, l’ensemble des
entiers naturels, désigné par le symbole N * (on lit : « N étoile » ou « N star ») est illimité :
IN *  1, 2, 3, 4, 5, ... 
Lorsqu’on adjoint à IN * le nombre zéro (représenté par le symbole 0), on parle de
l’ensemble des entiers (= ensemble des entiers naturels + le zéro), qu’on désigne par le
symbole IN . On a donc : IN   0, 1, 2, 3, 4, 5, ... 
Signalons, en passant, que le symbole « 0 » (initiale du mot grec « ouden » qui signifie
« rien ») ne jouissait pas du tout, dans les temps, de la belle unanimité que nous lui
reconnaissons en tant que nombre à l’ère actuelle. En effet, 0 n’était pas conçu comme
nombre par des mathématiciens tels que Eudoxe ou Euclide (pour ne citer que ces deux
célébrités) puisque, pour ces deux mathématiciens de génie, un nombre devait être avant tout
« une collection d’unités » et, donc, pour eux, 0 ne servait que comme symbole de numération
pour indiquer qu’un ordre d’unités est absent (par exemple : 105 = une (1) centaine + 0
dizaine + 5 unités, le symbole 0 signifiant, pour les anciens, « aucune » ou « rien » comme
dizaine). A l’époque de ces illustres mathématiciens, des calculs comme « 7 + 0 » ou encore
« 0  4 » n’avaient aucun sens. Compter, dans la nature, commençait donc par 1 (et parler de
0 objets paraissait comme un non-sens). Cette interprétation est à l’origine de polémiques
chez de nombreux mathématiciens (contemporains) qui reconnaissent dès lors à 0 le statut de
nombre entier, mais refusent de le qualifier d’entier naturel, en arguant que, dans la nature ou
dans notre environnement, on compte en partant de 1, jamais de 0.
Il est utile de savoir que 22 siècles environ séparent la première tentative de définition
axiomatique des entiers (par Euclide, qui s’était appuyé pour cela sur les travaux d’Eudoxe)
des axiomes de Peano (établis en 1889) dont on fait classiquement usage pour définir
l’ensemble IN.
On peut faire, sur les éléments de IN, des opérations très variés qui, astucieusement
combinées, permettent de résoudre bien de problèmes théoriques ou pratiques. De plus, à
partir de l’ensemble IN, on peut construire d’autres ensembles qui jouent un rôle capital en
________________________________________________________________________ 47
mathématiques (par exemples les ensemble Z, Q et IR). Il est donc important de décrire
correctement cet ensemble, c’est-à-dire :
- d’énoncer un système d’axiomes fixant sa nature ;

- de définir, en s’appuyant sur ces axiomes, des opérations dans IN, ce qui lui
conférera une structure ;
- de tirer de ces axiomes et définitions des conséquences dont l’ensemble
constitue les théorèmes de l’arithmétique élémentaire : propriétés des
opérations, règles opératoires, applications de ces règles opératoires à des
problèmes, etc.
IV.1.1. Les axiomes de Peano
En tenant compte des notions laconiquement abordées dans le paragraphe précédent, et en

évitant d’être redondant sur la manière de les aborder (même si cela est parfois inévitable), il
est maintenant classique de décrire l’ensemble IN des entiers à partir de cinq axiomes
énoncés par le mathématicien italien Guiseppe Peano (1852-1932). Voici ces axiomes :
- ( A1 ). IN est un ensemble non vide.

- ( A2 ). A tout x  IN on peut associer un élément de IN et un seul, noté x ' et
appelé le successeur de x. x lui-même est l’antécédent ou le prédécesseur de
x'.
- ( A3 ). Il y a dans IN un élément, nommé « zéro » et noté 0, qui n’est le
successeur d’aucun autre ; le successeur de 0 est noté 1 et nommé « un ».
- ( A4 ). Pour tout élément n  IN et différent de 0, il existe un élément x  IN
et un seul tel que x '  n, où x ' désigne le successeur de x.
- ( A5 ). (Axiome d’induction mathématique ou de récurrence) : Tout sous-
ensemble A de IN qui contient 0 et qui contient aussi le successeur x ' de tout
élément x  A coïncide avec IN, c’est-à-dire contient tous les nombres entiers
naturels.
Sur la base de ces cinq axiomes, on peut bâtir toute l’arithmétique. Soulignons l’importance
de l’axiome ( A5 ) qui est à la base du raisonnement par récurrence, méthode de
démonstration très utilisée en arithmétique (théorie des nombres). Le principe qui lui sert de
fondement a été présenté comme thème d’étude et sa validité a été prouvée dans le paragraphe
précédent (IV.1.0.).
IV.1.2. Propriétés remarquables de l’ensemble IN. Ensembles dénombrables.

Ordre dans IN
- L’ensemble IN est un ensemble infini, puisque chaque élément x  IN possède un

successeur, en vertu de l’axiome ( A2 ).
On rappelle que, dans la théorie des ensembles, le cardinal d’un ensemble fini est le nombre
d’éléments contenus dans l’ensemble considéré. L’ensemble IN étant infini, il possède un
cardinal infini, noté 0 et nommé « aleph indice 0 » (notation proposée par le mathématicien
________________________________________________________________________ 48
Cantor). Comme nous l’avons dit précédemment (voir II.1.4.), tout ensemble qui peut être mis
en correspondance biunivoque (ou bijective) avec l’ensemble IN est dit dénombrable et
possède donc le même cardinal 0 . 0 est le plus petit « nombre » cardinal transfini.
- On peut définir dans IN une relation d’ordre de la manière suivante : on dit que l’entier a
est supérieur (plus grand) ou égal à l’entier b si l’équation a  b  x a une solution x dans
IN (c’est-à-dire qu’elle admet une solution qui est un entier « naturel »). On écrit alors :
a  b. On lit : « a est supérieur ou égal à b ». Corrélativement, b est dit inférieur ou égal à
a, ce qu’on note : b  a. On démontre aisément que la relation binaire ainsi définie dans IN
est une relation d’ordre total et qu’elle possède donc les propriétés suivantes :
 x, y, z  IN ,
1) x  x
2) x  y et y  x  x  y
3) x  y et y  z  x  z
4) Pour tout couple ( x, y ) d' éléments de IN , on a : soit x  y soit y  x .
- Tout sous-ensemble A de IN possède un plus petit élément.
IV.1.3. Opérations algébriques dans l’ensemble IN
On définit dans l’ensemble IN deux lois de composition internes notées par les symboles
« + » et «  » et appelées respectivement l’addition et la multiplication, et ayant les
propriétés suivantes :
- En ce qui concerne l’addition dans IN : Cette opération est définie par les formules suivantes
(où x ' et y ' désignent les successeurs respectifs des entiers x et y) :
1) x '  x  1
2) ( x  y ) '  x  y '
3) 0  x  x  0  x
L’entier 0 est dit élément neutre pour l’addition. En s’appuyant sur les axiomes de l’ensemble
IN, on peut montrer les suivantes relatives à l’addition,  x, y, z  IN ,
1' ) x  y  y  x (commutativité)
2' ) ( x  y)  z  x  ( y  z ) (associativité)
On établit également que  x, y, z  IN , x  z  y  z  x  y. (Régularité des entiers

pour l’addition)
- Quant à la multiplication dans IN, notée par «  » ou par « . » (le point pouvant
éventuellement être omis lorsque les nombres entiers sont représentées par des lettres et s’il
n’y a pas d’ambiguïté possible), elle est définie par les formules suivantes :  x, y, z  IN ,
1" ) x .1  1. x  x
2" ) x . y '  x . y  x
3" ) 0 . x  x . 0  0
________________________________________________________________________ 49
L’entier naturel 1 est l’élément neutre pour la multiplication. (0 en est l’élément absorbant).
Les propriétés de la multiplication dans IN sont les suivantes :
1' ) x . y  y . x (commutativité)
2' ) ( x . y) . z  x . ( y . z ) (associativité)
En outre, l’addition et la multiplication dans IN sont liées par la loi de distributivité suivante :
1' " ) x . ( y  z )  x y  x z
2' " ) ( x  y) . z  x z  y z )
- Remarques :
1. La relation d’ordre notée «  » définie dans IN est compatible avec l’addition et avec la
multiplication dans IN. On a, en effet,  x, y, z  IN ,
1iv ) x  y x  z  yz
iv
2 ) x  y x . z  y. z
2. La soustraction dans IN, définie par a  b  x n’est possible que si a  b . Dans ce cas,
le nombre entier x est appelé la différence entre a et b. Si a  b, alors la soustraction
a  b  x n’a pas de sens dans IN.
3. La division euclidienne de a par b est une opération qui associe, à deux entiers a et b, des
entiers q et r tels que a  b q  r , avec r  b. Lorsque r  0, on a : a  b q et b est
un diviseur de a (on dit aussi que « a est un multiple de b », ou encore que « a est
divisible par b »).
- Ensemble des diviseurs d’un entier : L’ensemble des diviseurs d’un entier a se note
parfois : div (a ) . Cet ensemble n’est jamais vide car,  a  IN ,
1  div (a ) et, si a  0, on a en plus a  div (a) . En outre, si a  0, div (a ) est toujours
un ensemble fini du fait que tout diviseur d’un entier non nul a est un entier non nul b tel que
b  a , en vertu de l’égalité : a  b q ). On a : div (a)  b  IN * /  q  IN , a  b q .
N.B. : L’entier 0 est divisible par n’importe quel entier naturel non nul b. En effet,
 k  IN   0 , on a : 0  0 . k . Donc div (0)  IN   0   IN * .
- Plus grand commun diviseur de deux entiers : Soient a , b  IN . Considérons les

ensembles div (a ) et div (b) de leurs diviseurs respectifs. Soit div ( a )  div (b) l’ensemble
des diviseurs communs à a et à b. Le plus grand élément de div ( a )  div (b) s’appelle le
plus grand commun diviseur de a et b et se note
pgcd (a , b) , ou  ( a , b) , ou encore ddc (a , b) (ddc = dernier diviseur commun, en sigle).
- Entiers premiers entre eux : On rappelle qu’un entier naturel p, différent de 1, est dit
premier si l’ensemble de ses diviseurs est une paire (autrement dit, s’il n’est divisible que par
1 et par lui-même). Deux nombres entiers naturels sont dit premiers entre eux ou étrangers si
leur plus grand commun diviseur est égal à 1.
- Ensemble des multiples d’un entier : Soit a un entier naturel. On note a IN l’ensemble des
multiples de a. Cet ensemble n’est jamais vide car,  a  IN , 0  a IN et a  a IN . Par
________________________________________________________________________ 50
ailleurs, cet ensemble est une partie (infinie) de IN. En tant que tel, a IN a toujours un plus
petit élément (mais pas de plus grand élément, du fait que  k  IN   0 , l’entier naturel
a. k est toujours un multiple de a). On a donc : a IN   a  k / k  IN 
- Plus petit commun multiple de deux entiers : Soient a et b des entiers non nuls et a IN et
b IN les ensembles de leurs multiples respectifs. Notons a IN  b IN l’ensemble des
multiples communs à a et à b. Cet ensemble est toujours non vide puisqu’en particulier, on
a : a  b  a IN  b IN du fait que, trivialement, a  b est divisible à la fois par a et par
b. (Donc a  b est un multiple commun à ces deux nombres).
Le plus petit élément de l’ensemble a IN  b IN s’appelle le plus petit commun multiple de a
et b et se note ppcm (a , b).
Thèmes d’étude : En dehors du théorème de Gauss qui est prouvé, nous admettrons les
théorèmes importants suivants ainsi que leurs conséquences respectives : (Preuves : voir TP,
consulter l’ouvrage de Michel Queysanne [1964] intitulé : Algèbre MP et Spéciales AA’) :
- Théorème de BEZOUT :
Soient a et b des entiers naturels tels que  ( a , b)  d .
(1°). Il existe alors des entiers naturels u et v tels que a u  b v  d .
(2°). On en déduit que si a et b des entiers sont des entiers premiers entre eux (ou étrangers),
alors il existe des entiers u et v tels que a u  b v  1.
Conséquence : Si a est un entier premier avec b et premier avec c, alors a est premier avec
le produit b  c .
- Théorème de GAUSS :
Soient a, b, et c des entiers naturels tels que a  0. Si a et b sont des entiers premiers
entre eux et si a divise le produit b  c , alors a divise c.
Preuve : Supposons que a et b soient des naturels premiers entre eux tels que a divise le
produit b  c . Puisque  ( a , b)  1, alors  ( a c , b c)  1. c  c . Or a divise trivialement
a  c , (puisque a divise a, en particulier), et a divise b  c (par hypothèse). Donc a est un
diviseur commun à a c et b c . Il en résulte, non seulement que a  c , mais aussi et surtout
que a divise c. CQFD
Conséquence : Si c est un entier qui est divisible par a et par b, et si a et b sont premiers
entre eux, alors on conclut que a est divisible par leur produit a  b .
- Relation entre le ppcm et le pgcd de deux entiers naturels : Soient a et b des entiers
naturels dont le pgcd se note  ( a , b) et dont le ppcm se note ppcm ( a , b). On démontre
aisément que  ( a , b) . ppcm ( a , b)  a  b . On en déduit la formule importante suivante,
permettant de déterminer le ppcm de a et b, connaissant leur pgcd :
a  b
ppcm ( a , b)  .
 ( a , b)
________________________________________________________________________ 51
- Critères élémentaires de divisibilité (par quelques entiers naturels remarquables) dans
IN : (Thème d’étude ou activité de recherche, à démontrer dans le cadre des TP, en utilisant
certaines propriétés des congruences [modulo n])
Bien qu’élémentaires en apparence, les notions présentées ci-dessous sont très utiles dans
certains calculs algébriques ou arithmétiques (relatifs à la division euclidienne dans IN) et,
même si leur usage a été « naturalisé » au fil des années (dans le sens où leur véracité ou leur
démonstration semblent triviales, ce qui n’est toujours pas vrai), il importe que l’on porte une
réflexion sur la manière de démontrer chacun des critères suivants (Démontrer, en particulier,
les critères marqués du signe (©). Le raisonnement est analogue pour les autres) :
- Divisibilité par 2 : un nombre entier est divisible par 2 quand il se termine par 0 ou par un
nombre pair (i.e. si son chiffre des unités est un chiffre pair).
- Divisibilité par 4 : un nombre entier est divisible par 4 si ses deux derniers chiffres forment
un nombre qui est divisible par 4 (i.e. s’il se termine par un multiple de 4 – au niveau de ses
deux derniers chiffres –, comme, par exemple, 00, 04, 08, 12, 16, 20, 24, Etc.).
- Divisibilité par 8 : un nombre entier est divisible par 8 quand le nombre formé par ses trois
derniers chiffres est lui-même divisible par 8 (i.e. s’il se termine, par exemple, par 000, 008,
016, 024, 032, …, 096, …, 184, …).
- (Généralisation des trois critères précédents) Divisibilité par 2 n (n  IN *) : Un nombre
entier est divisible par 2 n quand le nombre formé par ses n derniers chiffres est lui-même
divisible par 2 n .
- Divisibilité par 10 : Un nombre entier est divisible par 10 si son chiffre des unités est 0.
- Divisibilité par 5 : Un nombre entier est divisible par 5 si son chiffre des unités est 0 ou 5
(autrement dit, s’il se termine par 0 ou 5). (©)
- Divisibilité par 25 : Un nombre entier est divisible par 25 si le nombre formé par ses deux
derniers chiffres est un multiple de 25 (i.e. s’il se termine par 00, 25, 50 ou 75).
- (Généralisation des deux critères précédents) Divisibilité par 5 n (n  IN *) : Un nombre
entier est divisible par 5 n quand le nombre formé par ses n derniers chiffres est lui-même
divisible par 5 n .
- Divisibilité par 3 : Un nombre entier est divisible par 3 si la somme de ses chiffres est
divisible par 3. (©)
- Divisibilité par 9 : Un nombre entier est divisible par 3 si la somme de ses chiffres est
divisible par 9. (©)
- Divisibilité par 11 : Un nombre entier est divisible par 11 si la différence entre la somme de
ses chiffres de rangs impairs et la somme de ses chiffres de rang pair est nulle, ou égale à 11,
ou encore égale à un multiple de 11.
N.B. : Bien d’autres propriétés de l’addition et de la multiplication dans l’ensemble IN seront

présentées dans le chapitre suivant dans lequel sera défini l’ensemble Z des entiers relatifs, qui
sera construit comme une extension de IN (au sens algébrique). Ces propriétés subsidiaires,
qui seront valables dans Z, le seront également dans IN qui en sera une partie.
________________________________________________________________________ 52
CHAPITRE V : EXTENSIONS DE LA NOTION DE NOMBRE
ENTIER : LES ENTIERS RELATIFS ; LES NOMBRES
RATIONNELS
V.0. Symétrisation d’une loi de composition
Soit E un ensemble muni d’une loi de composition interne  qui est à la fois associative et
commutative, qui admet un élément neutre noté e dans E et telle que tous les éléments de E
sont réguliers pour cette loi. Notre objectif est de « symétriser » la loi  , c’est-à-dire de
construire un ensemble K qui contiendra E (que nous appellerons tout simplement une
extension de E) et qui sera muni d’une loi de composition interne qui « prolonge » la loi  (et
donc qui, non seulement aura les mêmes propriétés que celles de  , mais aussi sera notée, par
abus de notation, par le même symbole  ) avec, en plus, la particularité que tous les éléments
de ce nouvel ensemble K admettront un symétrique pour la nouvelle loi interne  .
Voici une version simplifiée (quant au choix des notations, mais exhaustive en ce qui
concerne le principe qui sert de fondement au raisonnement appliqué) du schéma que les
algébristes appliquent généralement pour arriver à cette fin, appelé parfois méthode de
complétion de structures :
- On considère tout d’abord le produit cartésien de l’ensemble E par lui-même, dit carré
cartésien de E et noté E  E . Sur l’ensemble E  E   (a, b) / a  E et b  E , on
définit alors une relation notée  par : « (a , b)  (c , d )  a  d  b  c ». On
démontre facilement que la relation  ainsi définie est une relation d’équivalence sur E  E .
- On détermine ensuite l’ensemble-quotient de E  E par la relation  , noté E  E  et on
pose K  E  E  (l’ensemble-quotient ainsi déterminé est donc l’extension K de E que

nous nous sommes proposé de construire). Les éléments de K sont donc les classes
_______
d’équivalence des éléments de E  E modulo  . Ils seront notés sous la forme : (a , b) et on
a donc :
_______
(a , b)   (c , d )  E  E / (a , b)  (c , d )   (c , d )  E  E / (a , b)  (c , d ) [modulo ] 
 _______ 
- On définit dans K  E  E   (a , b) / (a, b)  E  E  une loi de composition
  
interne notée provisoirement par le symbole  de la manière suivante :
_______ _______ ______________________
(a , b)  (c , d )  (a  c , b  d ) . On démontre facilement que la loi  ainsi définie est
_______
à la fois commutative et associative dans K et que tout élément (a , b) de K est régulier pour
cette loi (en vertu des propriétés de la loi  dans E).
_______
- On montre ensuite que la loi  admet la classe (e , e)   (a , a) / a  E  comme
élément neutre dans K, où e est l’élément neutre de ( E , ) . En effet
_______ _______ _______ _______________ _______
 (a , b)  K , (a , b)  (e , e)  (a  e , b  e)  (a , b) .
________________________________________________________________________ 53
_______ _______
- On montre tout élément (a , b) de K admet comme symétrique l’élément (b , a) de K. En
_______ _______ _______ _______________ ________________ _______
effet,  (a , b)  K , (a , b)  (b , a)  (a  b , b  a)  (a  b , a  b)  (e , e) (en vertu de
la commutativité de la loi  dans E)
- Enfin, on démontre que K contient une partie A telle que les monoïdes ( E , ) et ( A ,  )
 _______ 
sont isomorphes. Considérons, pour ce faire, l’ensemble A   (a , e) / a  E  , où e est
 
l’élément neutre du monoïde ( E , ) . A est trivialement un sous-ensemble de K. Soit alors
________
l’application f : E  K définie par f ( a )  (a , e) . L’application f est surjective par
construction. Montrons qu’elle est injective. Soient a et b des éléments de E tels que
_______ _______
f ( a )  f ( b ). Alors (a , e)  (b , e) (par définition de f). Donc
(a , e)  (b , e) [modulo ]  a  e  e  b  a  b (puisque e est l’élément neutre
de ( E , ) . Par conséquent, l’application f est injective. f est donc une bijection. (1)
Montrons que f est un morphisme du monoïde ( E , ) sur le monoïde ( A , ) :  a , b  E ,
___________ ___________________ ________ ________
on a : f (a  b)  (a  b , e)  (a  b , e  e )  (a , e)  (b , e)  f ( a )  f ( b ) . Ce
qui traduit que f est bien un morphisme de monoïdes. (2). De (1) et (2) on déduit que f est un
isomorphisme de monoïdes, et donc que les monoïdes ( E , ) et ( A ,  ) sont isomorphes.
Grâce à cet isomorphisme, les ensembles E et A  K sont identifiables. Par suite, à un
isomorphisme près, E est une partie de K  E  E  . Chaque élément a de E s’identifie
________
donc à son équivalent (a , e) dans A  K , et l’opération  définie dans K peut désormais
être perçue comme un prolongement de l’opération  définie dans E i.e. la restriction de  à
E  A est égale à  ; Pour cette raison, elles seront notées de la même manière, à l’aide du
seul symbole  .
L’ensemble quotient K ainsi construit s’appelle le symétrisé de l’ensemble E muni de la loi

 . Voici le récapitulatif des propriétés algébriques qu’il possède pour la loi  :
- La loi  définit sur E se prolonge sur K (avec E  K ) en une loi de
composition sur K, notée également par le symbole  ,
- Cette loi est associative ;
- Elle admet un élément neutre dans K ;
- Tout élément de K possède un symétrique dans K pour cette loi.
Ces quatre propriétés confèrent au monoïde ( K , ) une structure algébrique dite groupe, sur
laquelle nous fournirons de plus amples détails dans le chapitre suivant. On dit alors
simplement que ( K , ) est un groupe. Si, en plus, la loi  est commutative dans K, alors on
dit que le groupe ( K , ) est commutatif ou abélien.
V.1. L’ensemble Z des nombres entiers relatifs
V.1.0. Introduction
L’ensemble Z est appelé ensemble des entiers relatifs par opposition à l’ensemble IN qui est
celui des entiers dits naturels, complétés par 0. Il contient, en plus du nombre zéro, les entiers
naturels (dits entiers positifs) : 1, 2, 3, 4, 5, … et les entiers dits négatifs (car précédés d’un
________________________________________________________________________ 54
signe « - ») : -1, -2, -3, -4, -5, … Historiquement, l’ensemble Z a été introduit pour donner un
sens à une expression telle que x  1  0 (ou plus généralement à l’équation a  x  b
(qui n’a de sens dans IN que si b  a, ce qui induit l’insuffisance de l’ensemble IN, du fait
que certaines opérations algébriques n’y sont pas possibles qu’à certaines conditions et
certaines équations – telles que x  1  0 – à coefficients dans IN n’y admettent pas de
solution). L’objectif est donc de construire un nouvel ensemble dans lequel toute équation du
même type que celle qui est proposée ci-dessus admettra toujours une solution, ce qui nous
amènera à introduire les entiers négatifs.
Les règles de calcul sur les nombres négatifs ont été établies entre le 15 ème et le 16ème siècles,
sans démonstration. Nous allons introduire l’ensemble Z d’une manière plus abstraite et plus
générale, qui nous permettra de mieux comprendre les règles susmentionnées.
V.1.1. Construction de l’ensemble Z
Nous allons nous servir du schéma de complétion de structures exposé dans la section (V.0.)
ci-dessus : Soit IN l’ensemble des entiers naturels auxquels s’ajoute l’entier zéro. i.e.
IN   0, 1, 2, 3, 4, 5, ...  . Considérons le carré cartésien de IN. Par définition, on a :
IN  IN   (a , b) / a  IN et b  IN . En voici, à titre purement illustratif, une
représentation graphique :
On définit dans IN  IN une relation notée  par : « (a , b)  (c , d )  a  d  b  c »

Montrons que la relation  ainsi définie est une relation d’équivalence sur IN  IN :
 (a , b) , (c , d ) , (e , f )  IN on a :
- a  b  b  a . Donc (a , b)  (a , b) ,  (a , b)  IN  IN . La relation  est donc
réflexive.
- Supposons que (a , b)  (c , d ) . Alors on a : a  d  b  c . D’après la symétrie de
l’égalité dans un ensemble quelconque, on déduit que b  c  a  d ou encore :
c  b  d  a (en vertu de la commutativité de la multiplication dans IN). Ce qui traduit
que (c , d )  (a , b) . La relation  est donc symétrique.
- Supposons, enfin, que l’on ait (a , b)  (c , d ) et (c , d )  (e , f ) . Par définition de  , on
a donc : a  d  b  c (1) et c  f  d  e (2). Les propriétés de l’addition dans IN
nous permettent alors d’écrire, à partir de (1), a  d  e  b  c  e ce qui est équivalent
à : a  c  f  b  c  e (en vertu de (2)). L’égalité précédente peut s’écrire, compte
tenu de la commutativité et de l’associativité de l’addition dans IN, sous la forme :
a  f  c  b  e  c . Et comme tout élément de IN est régulier pour l’addition, on
conclut que a  f  b  e . Par suite, (a , b)  (e , f ) . Donc la relation  est transitive.
Il en résulte que  est bien une relation d’équivalence sur IN  IN .
Intéressons-nous à présent à l’ensemble-quotient de IN  IN par la relation  , noté
IN  IN Z  IN  IN . Les éléments de ce
 , que nous désignerons en abrégé par Z. i.e. 
nouvel ensemble Z seront, rappelons-le ici, des classes d’équivalence modulo  de la forme :
_______
(a , b)   (c , d )  IN  IN / (a , b)  (c , d )   (c , d )  IN  IN / (a  d  b  c .
On définit, ensuite, dans Z, une addition
________________________________________________________________________ 55
 _______ 
- On définit dans Z  IN  IN   (a , b) / (a, b)  IN  IN  une loi de composition
  
interne, dite addition et notée – pour des raisons triviales de simplification – par le même
symbole « + » que celle définie dans IN, de la manière suivante :
_______ _______ ______________________
(a , b)  (c , d )  (a  c , b  d ) . Bien que notés de la même manière, il faudra faire
remarquer la différence entre les trois symboles « + » figurant dans cette définition : celui qui
est dans la somme située à gauche désigne l’addition dans Z, tandis que les deux signes « + »
repris à droite représentent l’addition dans IN. Cette mise au point étant faite, on démontre
facilement que la loi + ainsi définie est à la fois commutative et associative dans Z et que
_______
tout élément (a , b) de Z est régulier pour cette loi (en vertu des propriétés de l’addition
« + » dans IN).
_______
- On montre ensuite que la loi « + » admet la classe (0 , 0)   (a , a) / a  IN  comme
élément neutre dans Z, où 0 est l’élément neutre du monoïde (IN , 0) . En effet
_______ _______ _______ _________________ _______
 (a , b)  Z , (a , b)  (0 , 0)  (a  0 , b  0)  (a , b) .
_______
- On montre, de même, que tout élément (a , b) de Z admet comme symétrique l’élément
_______
(b , a) de Z.
_______ _______ _______ _______________ ________________ _______
En effet,  (a , b)  Z , (a , b)  (b , a)  (a  b , b  a)  (a  b , a  b)  (0 , 0) (en
_______
vertu de la commutativité de la loi + dans IN et de la caractérisation de la classe (0 , 0) qui
_______
est égale à n’importe laquelle de la forme (a , a) ,  a  IN ) . )
- On définit de même une multiplication dans l’ensemble Z comme suit :
_______ _______ ________________________________
(a , b)  (c , d )  (a . c  b . d , a . d  b . c) , où le symbole «  » désigne la multiplication
dans Z tandis que les symboles « . » et « + » représentent respectivement la multiplication et
l’addition dans IN. On démontre que la loi «  » ainsi définie dans Z est commutative et
associative (en vertu des propriétés de la loi « . » dans IN).
_______
Elle admet (1, 0) comme élément neutre (où 1 est l’élément neutre de la multiplication dans
_______ _______ _______ _____________________________________ _______
IN), puisque  (a , b)  Z , (a , b)  (1, 0)  (a . 1  b . 0 , a . 0  b . 1)  (a , b)
- Enfin, on démontre que Z contient une partie A telle que les monoïdes ( Z , ) et ( A , )
 _______ 
sont isomorphes. Considérons, pour ce faire, l’ensemble A   (a , 0) / a  IN  , où 0 est
 
l’élément neutre du monoïde ( IN ,  ) . A est trivialement un sous-ensemble de Z. Soit alors
________
l’application f : IN  A  Z définie par f ( a )  (a , 0) . L’application f est surjective
par construction. Montrons qu’elle est injective. Soient a et b des éléments de IN tels que
_______ _______
f ( a )  f ( b ). Alors (a , 0)  (b , 0) (par définition de l’application f). Donc
(a , 0)  (b , 0) [modulo ]  a  0  0  b  a  b (puisque 0 est l’élément neutre
du monoïde ( IN , ) . Par conséquent, l’application f est injective. f est donc une bijection.(1)
Montrons que l’application f est un morphisme du monoïde
( IN ,  ) sur le monoïde ( A , ) :  a , b  IN , on a :
________________________________________________________________________ 56
___________ ___________________ ________ ________
f (a  b)  (a  b , 0)  (a  b , 0  0 )  (a , 0)  (b , 0)  f ( a )  f ( b ) . Ce qui
traduit que f est bien un morphisme de monoïdes (2). Des affirmations (1) et (2), on déduit
que f est un isomorphisme de monoïdes, et donc que les monoïdes ( IN , ) et ( A , ) sont
isomorphes. Grâce à cet isomorphisme, les ensembles IN et A  Z sont identifiables. Par
suite, à un isomorphisme près, IN est une partie de Z  IN  IN  . (i.e. on a l’inclusion
________
IN  Z ) . Chaque élément a de IN s’identifie donc à son équivalent (a , 0) dans A  Z , et
l’opération « + » définie dans Z peut désormais être perçue comme un prolongement de
l’opération « + » définie dans IN i.e. la seconde est la restriction de la première à IN  A (le
symbole «  » indiquant l’isomorphisme entre ces deux ensembles) ; Cela justifie le fait que
nous avons décidé de noter ces deux opérations à l’aide du symbole identique « + ».
- Convention d’écriture : On convient de noter les classes d’équivalence situées au-dessus de
diagonale principale du graphe cartésien de IN  IN en choisissant comme représentants des
_______
couples de la forme (0, a), avec a  IN , i.e. les classes d’équivalence de tous les couples
(c , d ) IN  IN tels que d  a  c . De même, on choisira comme représentant de classes
_______
un couple de la forme (a, 0) pour toutes les classes d’équivalence situées en dessous de
diagonale principale du graphe cartésien de IN  IN , i.e. celles des couples
(c , d ) IN  IN tels que c  a  d . De tels représentants de classe ont la particularité que
chacun d’eux est le symétrique de l’autre pour l’addition dans IN. En effet,  a  IN , on a :
_______ ________ ________ ________
(a, 0)  ( 0, a)  (a , a)  (0 , 0) .
Ainsi, par exemple, on a :
_______
(0 , 1)   (0, 1) , (1, 2) , ( 2 , 3) , (3 , 4) , ... 
_______
(0 , 2)   (0, 2) , (1, 3) , ( 2 , 4) , (3 , 5) , ... 
_______
(0 , 3)   (0, 3) , (1, 4) , ( 2 , 5) , (3 , 6) , ... 
Etc.
_______
(1, 0)   (1, 0) , (2 , 1) , ( 3 , 2) , (4 , 3) , ... 
_______
(2 , 0)   (2, 0) , (3 , 1) , ( 4 , 2) , (5 , 3) , ... 
_______
(3 , 0)   (3, 0) , (4 , 1) , ( 5 , 2) , (6 , 3) , ... 
Etc.
_______
(0 , 0)   (0, 0) , (1, 1) , ( 2 , 2) , (3 , 3) , ...  (c' est donc la diagonale principale de IN  IN )
_____________ _____________
 ( a , b)  IN  IN , ( a , b)  (a  b , 0) (si a  b) ou ( a , b)  (0 , b  a) (si b  a)
(Thème d’étude : Vérifier la validité de cette dernière proposition, voir T.P.)
La forme particulière des couples ainsi choisis comme représentants de classes d’équivalence
suggère qu’on les appelle des nombres « opposés ». Pour simplifier leurs notations, on pose
alors :
________________________________________________________________________ 57
_________
 a  IN , ( a , 0)   a
_________
( 0 , a)   a
_________
( 0 , 0)  0 .
Le choix des représentants entiers a et l’usage de signes opposés (« + » et « – ») pour noter
ces classes d’équivalence justifient le fait que les éléments de Z sont appelés des nombres
_________
entiers relatifs. Les entiers de la forme ( 0 , a)   a seront appelés entiers négatifs (Ils sont
_________ _________
tous de la forme : ( a , b) avec a  b i.e. b  a  0 et on note : ( a , b)  0) tandis
_________
que ceux de la forme ( a , 0)   a seront dits entiers positifs. (Ils sont tous de la forme :
_________ _________
( a , b) avec a  b i.e. a  b  0 et on note : ( a , b)  0) .
L’ensemble Z s’écrit alors, en extension : Z  ...,  4,  3,  2,  1, 0,  1,  2,  3,  4, ...  .
Et, en tenant compte du fait la partie A   0,  1,  2,  3,  4, ...  de Z s’identifie (à un
isomorphisme près) à l’ensemble IN   0, 1, 2, 3, 4, 5, ...  , on est en droit de poser que :
 a  IN , a   a (à un isomorphisme près !). Il serait imprudent de croire, ou de faire
croire, que cette égalité va de soi. Faisons, en effet, remarquer que a est un nombre entier
_________
alors que  a  ( a , 0) ) est la classe d’équivalence du couple d’entiers ( a , 0)) .
Avec les conventions précédentes, le calcul sur les entiers relatifs obéit à des règles de signes
simples, justifiées par la définition de l’addition et de la multiplication, et sur lesquelles nous
n’allons pas nous appesantir du fait qu’elles sont élémentaires (et connues depuis le
secondaire).
V.1.2. Ordre dans Z
On montre sans peine que l’ensemble Z ainsi construit est totalement ordonné par la relation
«  », définie dans Z de la manière suivante (thème d’étude, voir TP) :
 _______ _______
a  b  c  d (i.e. pour (a, b)  0 et (c, d )  0) (1)

 ou
 _______ _______
 a  b  d  c (i.e. pour (a, b)  0 et (c, d )  0) (2)
( a , b )  (c, d )  
ou
 _______ _______
d  c  b  a (i.e. pour (a, b)  0 et (c, d )  0) (3)

 ou
 ( a , b)  (c, d) (i.e. si a  c et b  d ) (4)
En particulier, tout entier négatif est inférieur à 0 et inférieur à tout entier positif ; 0 est donc
supérieur à tout entier négatif et plus petit que tout entier positif non nul. Si deux entiers ont
des signes contraires, l’entier négatif est toujours le plus petit des deux. Par ailleurs, en
définissant la valeur absolue, notée x , d’un entier relatif x de la manière suivante :
________________________________________________________________________ 58
 x si x  0
x  
  x si x  0
on conclut que, lorsque deux entiers sont de même signe, le plus grand d’entre eux est celui
qui a la plus grande valeur absolue (s’ils sont tous deux positifs) ou celui qui a la plus petite
valeur absolue (s’ils sont tous deux négatifs).
V.1.3. Divisibilité dans Z
De même que dans IN, la division euclidienne de a par b (où a et b sont des entiers relatifs)
est une opération qui associe, aux deux entiers a et b, des entiers q et r tels que
a  b . q  r , avec r  b . Lorsque r  0, on a : a  b . q et b est un diviseur de
a (on dit aussi que « a est un multiple de b »).
Les notions de pgcd et de ppcm et les théorèmes étudiés dans le cadre de la divisibilité dans
IN sont valables pour la divisibilité dans Z, avec toutefois les nuances suivantes, notamment
en ce qui concerne le théorème de Bézout :
- Théorème de BEZOUT :
Soient a et b des entiers naturels tels que  ( a , b)  d .
(1°). Il existe alors des entiers naturels u et v tels que a u  b v  d .
(2°). On en déduit que si a et b des entiers sont des entiers premiers entre eux (ou étrangers),
alors il existe des entiers u et v tels que a u  b v  1.
Conséquence : Si a est un entier premier avec b et premier avec c, alors a est premier
avec le produit b  c .
- Théorème de GAUSS :
Soient a, b, et c des entiers naturels tels que a  0. Si a et b sont des entiers premiers
entre eux et si a divise le produit b  c , alors a divise c.
Conséquence : Si c est un entier qui est divisible par a et par b, et si a et b sont premiers
entre eux, alors on conclut que a est divisible par leur produit a  b .
V.2. L’ensemble Q des nombres rationnels
V.2.0. Note liminaire :
- Insuffisance de l’ensemble Z : Certaines équations algébriques, à coefficients dans Z,

n’admettent pas de solution dans Z. C’est le cas, par exemple, pour une équation de la forme
a x  b (où a , b  Z , avec a  0) , qui n’admet une solution dans IN que si l’entier
relatif b est divisible par l’entier relatif non nul a. Pour que cette solution, que nous pouvons
noter sous la forme b : a , ou b a 1 , ou encore b (du fait qu’elle dépend de la division)
a
existe dans tous les cas, il est impérieux que soit définie, de la même manière que l’on a défini
l’ensemble Z à partir du carré cartésien de IN, une « extension » K de Z – à partir du carré
cartésien assez spécial (que nous préciserons) de Z – dans laquelle les opérations
b : a , ou b a 1 , ou encore b auront toujours un sens (et, par ricochet, l’équation proposée
a
aura toujours une solution dans ce nouvel ensemble : cet ensemble à construire sera le
symétrisé de Z pour la multiplication).
________________________________________________________________________ 59
V.2.1. Construction de l’ensemble Q des nombres rationnels (ou
nombres quotients)
Soit Z l’ensemble des entiers relatifs. Soit l’ensemble des entiers relatifs non nuls. Posons que
Z *  Z   0   ...,  3,  2,  1, 1, 2, 3, .... Considérons à présent le produit cartésien
Z  Z *   ( a , b) / a  Z et b  Z * (i.e. b  0) .
- On définit sur Z  Z * la relation notée  ' par : « (a , b)  ' (c , d )  a . d  b . c »
Montrons que la relation  ' ainsi définie est une relation d’équivalence sur Z  Z * :
 (a , b) , (c , d ) , (e , f )  Z  Z * on a :
- a . b  b . a . Donc (a , b)  ' (a , b) ,  (a , b)  Z  Z * . La relation  ' est donc
réflexive.
- Supposons que (a , b)  ' (c , d ) . Alors on a : a . d  b . c . D’après la symétrie de
l’égalité dans un ensemble quelconque, on déduit que b . c  a . d ou encore :
c . b  d . a (en vertu de la commutativité de la multiplication dans Z). Ce qui traduit que
(c , d )  ' ( a , b) . La relation  ' est donc symétrique.
- Supposons, enfin, que l’on ait (a , b)  ' (c , d ) et (c , d )  ' (e , f ) . Par définition de  ' ,
on a donc : a . d  b . c (1) et c . f  d . e (2). Comme ces couples appartiennent à
Z  Z * , alors on sait que b  0 , d  0 et f  0 . En ce qui concerne l’entier relatif a, deux
cas sont possibles : soit a  0 , soit a  0 . Raisonnons alors par disjonction des cas :
Premier cas : Supposons que l’on ait a  0 . Alors, l’égalité (1) implique que b . c  0 . Et
comme b  0 , on conclut que c  0. En remplaçant c par cette valeur dans (2), il vient :
d . e  0 . On en déduit que e  0 (puisque d  0 ). Il en résulte que a . f  b . e  0. Ce
qui traduit que (a , b)  ' (e , f ) .
Deuxième cas : Supposons à présent que a  0 . Un raisonnement analogue au précédent
permet alors de conclure que l’on a également c  0 et e  0 . En multipliant membre à
membre les égalités (1) et (2), il vient : a . d . c . f  b . c . d . e . L’égalité précédente
peut s’écrire, compte tenu de la commutativité et de l’associativité de la multiplication dans Z,
sous la forme : a . f . c . d  b . e . c . d . Et comme tout élément non nul de Z est régulier
pour la multiplication (et comme c  0 et d  0 ) , alors on conclut que a . f  b . e . Par
suite, (a , b)  ' (e , f ) .
Dans tous les cas, on conclut que les hypothèses (a , b)  ' (c , d ) et (c , d )  ' (e , f )
permettent de conclure que (a , b)  ' (e , f ) . Donc la relation  est transitive. Il en résulte
que  est bien une relation d’équivalence sur Z  Z * .
Intéressons-nous à présent à l’ensemble-quotient de Z  Z * par la relation  ' , noté
Z  Z * , que nous désignerons en abrégé par Q. i.e. Q  Z  Z * . Les éléments de
' '
ce nouvel ensemble Q seront, rappelons-le ici, des classes d’équivalence modulo  ' de la
forme :
_______
(a , b)   (c , d )  Z  Z * / (a , b)  ' (c , d )   (c , d )  Z  Z * / (a . d  b . c .
 _______ 
- On définit dans Q  Z  Z *   (a , b) / (a, b)  Z  Z *  une loi de composition
'  
interne, dite addition et notée – toujours pour des raisons de simplification d’écriture – par le
même symbole « + » que celle définie dans Z, de la manière suivante :
________________________________________________________________________ 60
_______ _______ _______________________
(a , b)  (c , d )  (a . d  b . c , b . d ) . Bien que notés de la même manière, il faudra encore
faire remarquer, à ce stade, la différence entre les deux symboles « + » figurant dans cette
définition : celui qui est dans le produit situé à gauche désigne l’addition dans Q, tandis que le
signe « + » repris à droite représente l’addition dans Z. La multiplication considérée est celle
définie dans Z. On démontre facilement que la loi + ainsi définie est à la fois commutative et
_______
associative dans Q et que tout élément (a , b) de Q est régulier pour cette loi (en vertu des
propriétés de la multiplication « + » dans Z). En outre, on montre aisément que
_______
(0 , 1)   ( 0 , a) / a  Z *  est l’élément neutre de l’addition dans Q et que tout élément
_______ ___________ ________
(a , b) de Q admet l’élément (a , b)  (a ,  b) de Q comme symétrique pour cette
addition.
_______ _______ _______ ____________________ _______
- En effet, d’une part,  (a , b)  Q, on a : (a , b)  (0 , 1)  (a .1  b . 0 , b .1)  (a , b) . Donc
_______
(0 , 1) est l’élément neutre de l’addition dans Q.
_______
- D’autre part,  (a , b)  Q, on a :
_______ _______ _______________ _______ _______
(a , b)  (a , b)  (a  a , b  b)  (0 , c)  (0 , 1) (avec c  2b  0 , puisque b  0 ). Il en
_______ _______
résulte que l’élément (a , b) de Q est bien le symétrique de (a , b) pour la loi « + » définie
dans Q. Par suite, le monoïde ( Q ,  ) est un groupe abélien. (*)
 _______ 
- On définit, ensuite, dans Q  Z  Z *   (a , b) / (a, b)  Z  Z *  une loi de
'  
composition interne, dite multiplication et notée – toujours pour des raisons de simplification
d’écriture – par le même symbole «  » que celle définie dans Z, de la manière suivante :
_______ _______ ________________
(a , b)  (c , d )  (a . c , b . d ) . Bien que notés de la même manière, il faudra faire
remarquer encore, à ce stade, la différence entre les trois symboles «  » figurant dans cette
définition : celui qui est dans le produit situé à gauche désigne la multiplication dans Q, tandis
que les deux signes « . » repris à droite représentent la multiplication dans Z. On démontre
facilement que la loi  ainsi définie est à la fois commutative et associative dans Q et que
_______
tout élément (a , b) de Q est régulier pour cette loi (en vertu des propriétés de la
_______
multiplication «  » dans Z). En outre, on montre aisément que (1, 1)   ( a , a) / a  Z * 
_______
est l’élément neutre de la multiplication dans Q et que tout élément non nul (a , b) de Q
_______
admet l’élément (b , a) de Q comme symétrique pour cette multiplication.
_______ _______ _______ ___________ _______ _______
- En effet, d’une part,  (a , b)  Q, on a : (a , b)  (1, 1)  (a .1, b .1)  (a , b) . Donc (1, 1)
est l’élément neutre de la multiplication dans Q.
_______ _______ _______
- D’autre part,  (a , b)  Q, avec (a , b)  (0 , 0) (i.e. a  0 et b  0) , on a :
_______ _______ ___________ _____________ _______
(a , b)  (b , a)  (a . b , b . a)  (a . b , a . b)  (1, 1) (en vertu de la commutativité de la
________________________________________________________________________ 61
_______
multiplication dans Z). Il en résulte que l’élément (b , a) de Q est bien le symétrique de
_______
(a , b) pour la loi «  » définie dans Q.
On en déduit que le monoïde (Q*, ) est un groupe abélien. (**)
De (*) et (**) on déduit que (Q ,  , ) est muni d’une structure de corps commutatif (ou
champ). Nous fournirons plus de détails sur les structures (telles que celle de « groupe », celle
de « corps », brièvement évoquées dans les sections précédentes, dans le chapitre suivant de
notre cours.
- Identification de Z avec un sous-ensemble A de Q (ou plongement de Z dans Q)
On démontre, enfin, que Q contient une partie A telle que les monoïdes
( Z ,  , ) et ( A ,  , ) sont isomorphes. Considérons, pour ce faire, l’ensemble
 _______ 
A   (a , 1) / a  Z  , où 1 est l’élément neutre de la multiplication dans le monoïde
 
( Z ,  , ) . A est trivialement un sous-ensemble de Q. Soit alors l’application
________
f : Z  A  Q définie par f ( a )  (a , 1) . L’application f est surjective par
construction. Montrons qu’elle est injective. Soient a et b des éléments de Z tels que
_______ _______
f ( a )  f ( b ). Alors (a , 1)  (b , 1) (par définition de l’application f). Donc
(a , 1)  (b , 1) [modulo ]  a  1  1  b  a  1  b  1  a  b (puisque
tout élément du monoïde ( Z ,  ) est régulier pour l’addition. Par conséquent, l’application f
est injective. f est donc une bijection. (1)’
Montrons que f est un morphisme du monoïde
( Z , , ) sur le monoïde ( A , ,  ) :  a , b  Z , on a :
___________ ____________________ ________ ________
f (a  b)  (a  b , 1)  (a .1  1. b , 1 . 1 )  (a , 1)  (b , 1)  f ( a )  f ( b ) . En outre,
___________ _______________ ________ ________
f (a . b)  (a . b , 1)  (a . b , 1 . 1 )  (a , 1) . (b , 1)  f ( a ) . f ( b ) . Ce qui traduit que
f est bien un morphisme de monoïdes (2)’. De (1)’ et (2)’ on déduit que f est un
isomorphisme de monoïdes, et donc que les monoïdes ( Z ,  , ) et ( A ,  , ) sont
isomorphes. Grâce à cet isomorphisme, les ensembles Z et A  Q sont identifiables. Par
suite, à un isomorphisme près, Z est une partie de Q  Z  Z * . (i.e. on a l’inclusion
'
________
Z  Q ) . Chaque élément a de Z s’identifie donc à son équivalent (a , 1) dans A  Q , et les
opérations « + » et «  » définies dans Q peuvent désormais être perçues comme des
prolongements des opérations « + » et «  » définies dans Z i.e. les dernières sont les
restrictions des deux premières à Z  A (le symbole «  » indiquant l’isomorphisme entre
ces deux ensembles) ; Cela justifie le fait que nous avons décidé de noter ces deux opérations
à l’aide des mêmes symboles « + » et «  ».
- Conventions de notations : Les éléments de Q seront appelés des fractions de nombres

entiers relatifs (ou des nombres rationnels ou nombres quotients) et ils seront notés de la
manière suivante :
________________________________________________________________________ 62
_________
a
( a , b)  a . b 1  . Et, en vertu du « plongement » de Z dans Q (à un isomorphisme
b
_________
a
près), on notera simplement : ( a , 1)   a . Tout entier relatif a s’identifie donc à la
1
a
fraction .
1
V.3. Notes sur l’ensemble IR des nombres réels
V.3.0. La notion de nombre réel
La définition des nombres réels relève de l’Analyse [Source : Roger Caratini (1985), p. 31] :
dans l’une des versions de constructions de l’ensemble des nombres réels, en effet, ces
derniers sont définis comme la limite d’une série convergente. L’importance des réels en
Algèbre, notamment dans la construction du corps C des nombres complexes, impose que
nous en fournissions quelques détails au stade actuel où trois ensembles de nombres (IN, Z et
Q) viennent d’être construits. Signalons d’abord, en passant, que le corps Q est à son tour
insuffisant (au sens algébrique du terme), étant donné que des équations algébriques à
coefficients dans Q, comme par exemple x 2  2  0, n’admettent pas de solution dans Q.
Une solution de cette équation sera notée 2 . Les anciens mathématiciens considéraient un
nombre réel comme un symbole exprimant la mesure d’une grandeur (une longueur, une
surface ou un volume, par exemple. Il y a deux types de nombres réels : les rationnels et les
irrationnels. Ainsi, par exemple, les nombres rationnels sont représentables par des segments
divisibles en unités et en fractions d’unités. Ces anciens étaient, en outre, persuadés que même
les irrationnels sont aussi représentables par des segments ; ainsi la diagonale d’un carré dont
le côté mesure l’unité (i.e. 1) représente l’irrationnel 2 . De ce point de vue, la définition
d’un nombre réel est assez tronquée et approximative, ne parvenant pas à cerner toute la
complexité de cette catégorie de nombres qui contient non seulement les entiers, les
rationnels, mais aussi les irrationnels parmi lesquels on compte les nombres dits
transcendants (comme   3,14142... ou e  2, 71828... et tous les nombres qui leur sont
associés ou qui sont obtenus grâce à des opérations algébriques faisant intervenir l’un ou
l’autre de ces nombres).
V.3.1. Description élémentaire des coupures de Dedekind dans Q en vue

de définir un nombre réel
Nous exposons ci-dessous une définition simple de nombre réel, due au mathématicien
français Richard Dedekind (1831-1916) qui fut un disciple de Gauss et qui apporta une
importante contribution à la théorie des irrationnels en introduisant la notion de coupure que
nous présentons sommairement ci-dessous. Pour que celle-ci soit bien comprise, nous
commencerons par donner une définition de 2 .
a) Un cas particulier : définition de 2 : Soit l’ensemble Q des nombres rationnels (i.e. les
entiers relatifs auxquels s’ajoutent les fractions positives ou négatives). Rien ne nous interdit
de les ranger en deux classes différentes :
________________________________________________________________________ 63
- Première classe : celle qui contient tous les nombres négatifs, le zéro et les
nombres rationnels positifs a dont le carré a 2 est plus petit que 2.
- Deuxième classe : Tous les autres nombres rationnels.
Cette répartition est telle que l’on peut choisir un nombre a de la première classe et un nombre
b de la seconde tels que la différence b  a soit aussi petite que l’on veut (on exprime cette
condition en disant que l’écart des deux classes est nul). On dit qu’on a effectué une coupure
dans l’ensemble des nombres rationnels. Il est facile de constater qu’il n’existe pas, dans la
première classe, un nombre supérieur à tous les autres. Supposons, en effet, qu’un tel nombre
existe et notons-le x. puisqu’il appartient à la première classe, on a donc : x 2  2 (1). Par
ailleurs, tout nombre b  x appartiendrait à la deuxième classe (puisque x est supposé être le
plus grand nombre de la première classe). Or il est toujours possible – c’est ce que montre le
calcul prolongé à l’infini de la racine carré de 2 – de trouver un nombre b tel que b 2 soit
compris entre x 2 et 2, i.e. tel que x 2  b 2  2. Il existerait alors un nombre b tel que son
carré soit inférieur à 2, donc appartenant à la première classe, et plus grand que x, donc plus
grand que le plus grand de la première classe, ce qui conduit à une contradiction. On
aboutirait de la même façon à une contradiction si l’on supposait qu’il existe un nombre de la
deuxième classe qui soit plus petit que tous les autres nombres de cette classe. En résumé, la
coupure que nous avons réalisée sur l’ensemble des rationnels définit un nombre x qui ne peut
être un nombre rationnel (c’est-à-dire qui n’appartient ni à la première classe, ni à la seconde).
Le nombre défini par cette coupure se note 2 (lire : « racine carrée de 2 ») ; nous sommes
certain qu’il n’est pas rationnel et nous l’appelons, par conséquent, un irrationnel.
b) Définition générale : Divisons l’ensemble des rationnels en deux classes distinctes, non
vides, telles que :
1°. Tout nombre inférieur à un nombre de la première classe appartient à cette classe, qui sera
appelée classe inférieure I ;
2°. Tout nombre supérieur à un nombre de la seconde classe appartient à cette seconde classe,
dite classe supérieure S ;
3°. Il est possible de choisir deux nombres a et b appartenant respectivement à la première et à

la deuxième classe, tels que la différence b  a soit aussi petite que l’on veut.
On a ainsi effectué une coupure dans l’ensemble des rationnels. Les deux premières
conditions nous montrent que tout nombre de la classe inférieure I est plus petit que tout
nombre de la classe supérieure S et que, si un nombre n’est pas classé, il est supérieur à tout
nombre de I et inférieur à tout nombre de S. En vertu de la troisième condition, il existe au
plus un nombre x non classé. En effet, s’il y en avait deux, que nous notons x et y, la
différence ( b  a ) serait supérieure à la valeur absolue y  x , quels que soient a et b
choisis respectivement dans la classe inférieure I et dans la classe supérieure S, ce qui est en
contradiction avec la troisième condition.
En résumé, si l’on pratique une coupure dans l’ensemble Q des rationnels en respectant les
trois conditions précédentes, quatre cas peuvent se présenter :
________________________________________________________________________ 64
- Premier cas : il existe un nombre rationnel non classé, noté  . Cela signifie
que les nombres de la classe inférieure sont les nombres rationnels inférieurs à
 , et que les nombres de la classe supérieure sont les nombres rationnels
supérieurs à  ;  détermine la coupure et, inversement, la coupure définit
.
- Deuxième cas : il n’existe aucun nombre rationnel non classé, mais il existe
dans I un nombre  supérieur à tous les autres. Dans ce cas, les nombres de la
première classe sont les nombres inférieurs à  auxquels s’ajoute  lui-
même, et les nombres de la deuxième classe sont des rationnels supérieurs à
 . La coupure est déterminée par le rationnel  et, inversement,  est défini
par cette coupure.
- Troisième cas : il n’existe aucun nombre rationnel non classé et il existe dans S
un nombre  inférieur à tous les autres. Dans ce cas, les nombres de la
première classe sont les nombres rationnels inférieurs à  et les nombres de la
deuxième classe sont des rationnels supérieurs à  auxquels s’ajoute  lui-
même. Ici aussi, la coupure est déterminée par le rationnel  et, inversement,
 est défini par cette coupure.
- Quatrième cas : il n’existe aucun nombre rationnel non classé ; en même temps
il n’existe pas dans I de nombre supérieur à tous les autres, ni dans S de
nombre inférieur à tous les autres. Dans ce cas, on dit que la coupure définit un
nombre irrationnel (elle ne peut pas définir un nombre rationnel, puisque tous
ceux-ci sont classés) considéré comme inférieur à tous les nombres de S et
comme supérieur à tous ceux de I.
- L’ensemble des coupures ainsi définies, et qu’on nomme l’ensemble IR, est
l’ensemble des nombres réels.
V.3.2. Axiomes caractérisant l’ensemble des nombres réels
Les propriétés des nombres réels découlent de leur définition. Il est commode toutefois de les
présenter comme les conséquences d’un système d’axiomes explicitant cette définition (et qui
seront développés avec plus de détails dans le cours d’Analyse mathématique). En voici un
descriptif sommaire :
- Tout comme l’ensemble Q qui a servi de base à sa définition, l’ensemble IR

est aussi un corps commutatif pour les mêmes opérations définies dans Q (i.e.
pour l’addition et la multiplication définies dans Q) ;
- L’ensemble IR est muni d’une relation d’ordre total définie par

« x  y  x  y »;
- L’ensemble IR a la puissance du continu (ce qui permet de définir les

irrationnels comme faisant partie des réels), ce qui signifie que tout ouvert
] a , b [ de IR, comme par exemple ] 0 , 1[ , est équipotent à IR tout entier (i.e. il
existe une bijection f de ] a , b [ sur IR). On en déduit que l’aleph  de IR est
plus grand que celui de IN (que nous avions noté 0 ). i.e. ( de IR )  0 .
________________________________________________________________________ 65
CHAPITRE VI : STRUCTURES ALGÉBRIQUES
FONDAMENTALES
VI.1. Structures algébriques basées sur des lois de composition uniquement
internes
Nous avons vu apparaître, aussi bien dans la construction de l’ensemble des entiers relatifs
que dans celle des rationnels (et même, implicitement, dans celle des réels) des ensembles
munis de lois de composition diverses. Si ces lois vérifient un certain nombre de conditions
qui seront précisées dans la suite, on dit alors, en Algèbre, que les ensembles sur lesquels elles
sont définies possèdent une structure algébrique. Nous allons dégager ici les structures
fondamentales qui, comme nous le verrons plus loin, seront d’une grande utilité dans l’étude
de toutes les branches des mathématiques, même s’il faut admettre qu’elles n’interviennent
que de manière implicite dans certaines de ces branches. Nous commencerons d’abord par la
notion qui ne fait intervenir qu’une seule loi de composition interne, celle de groupe.
Historiquement, c’est aussi cette notion qui a été dégagée la première ; c’est l’œuvre
fondamentale d’un jeune mathématicien français appelé Evariste Galois (1811-1832), qui
découvrit les bases de la théorie des groupes grâce à ses travaux de recherche sur la
résolutions des équations algébriques. Nous examinerons ensuite les structures algébriques
rattachées à deux lois de composition (toutes internes, ou dont l’une est externe).
Il convient de signaler, en passant, que les ensembles considérés dans cette section sont tous
supposés non vides (cette contrainte découle du fait que, parmi les axiomes de définition de
chacune des structures que nous allons étudier, figure celui qui fait référence à l’existence
d’un élément neutre pour une certaine loi de composition interne ; Il en résulte que, par
exemple, tout groupe doit contenir au moins l’élément neutre de la loi de composition interne
qui est définie dans ce groupe. Il en est, par conséquent, de même pour n’importe quelle autre
structure algébrique (étudiée dans la présente section), puisque – comme nous le verrons –
elles sont toutes, en particulier, des groupes.
VI.1.1. Groupes
a) Définition : Soient G un ensemble et  une loi de composition interne définie sur G. On

dit que (G , ) est un groupe si la loi  possède les trois propriétés suivantes :
1°. La loi  est associative dans G ;
2°. Elle admet un élément neutre e dans G ;
3°. Tout élément de G admet un symétrique dans G pour la loi  .
Remarques : - Si, en plus, la loi  est commutative dans G, alors on dit que le groupe (G , )
est un groupe commutatif ou abélien.
Proposition :
- Soient x, y  G. On note x ' et y ' leurs symétriques respectifs dans G pour la loi  . Soit
( x  y ) ' le symétrique de x  y pour la même loi  . Alors on a : ( x  y ) '  y '  x ' .
En effet, on a : ( x  y )  ( y '  x ' )  x  ( y  y ' )  x '  x  x '  e , où e désigne

l’élément neutre du groupe (G ,  ) . De même, on a:
( y '  x ' )  ( x  y )  y '  ( x '  x)  y  y '  e  y  y '  y  e . On en déduit que
________________________________________________________________________ 66
l’élément x  y est symétrisable dans G et que son symétrique est ( x  y ) '  y '  x ' .
CQFD.
Exemples de groupes :
1) ( Z ,  ) , (Q ,  ) et ( IR ,  ) sont des groupes commutatifs. Soient

Q *  Q   0  et IR *  IR   0 . Alors (Q * , ) et ( IR * , ) sont aussi des groupes
commutatifs.
Attention ! ( IN , ) et ( Z * , ) ne sont pas des groupes. En effet, l’axiome (3°) n’est vérifié
ni pour le premier (dont le seul élément symétrisable pour l’addition dans IN est 0), ni pour le
second (dont les seuls éléments symétrisables pour la multiplication dans Z sont 1 et - 1).
2) Groupe symétrique : Soit E un ensemble fini dont le cardinal est n ( n  IN *) . Soit P

l’ensemble des permutations de E. Alors P est un groupe pour la composition des
applications, appelé groupe symétrique d’ordre n et noté S n . C’est un groupe fini dont le
cardinal est n ! (voir la section II.2.)
Exercice : Posons E  1, 2, 3. Détermine l’ensemble S 3 des permutations de E et dresse la

table de Pythagore du groupe symétrique ( S 3 , o) (i.e. la table de composition des éléments
de S 3 pour la loi « o » du groupe, qui est – rappelons-le – la composition des applications)
Solution : On a :
 
S3  1 ,  2 ,  3,  4 ,  5 ,  6 , avec :
1 2 3  1 2 3   1 2 3  1 2 3 1 2 3
 1    ,  2    ,  3    ,  4    ,  5   
 1 2 3   1 3 2   2 1 3   2 3 1   3 1 2 
 1 2 3
 6    (On remarquera que  1  Id E )
 3 2 1
Voici alors la table de Pythagore (à vérifier) du groupe symétrique ( S 3 , o) :
o 1 2 3 4 5 6
1 1 2 3 4 5 6
2 2 1 5 6 3 4
3 3 4 1 2 6 5
4 4 3 6 5 1 2
5 5 6 2 1 4 3
6 6 5 4 3 2 1
Commentaires importants à propos de cette table de Pythagore :
- L’élément neutre du groupe symétrique est bien  1  Id E (il se remarque par le fait que la
deuxième ligne et la deuxième colonne de ce tableau (qui correspondent aux différents
résultats obtenus à l’issue de la composition d’une permutation quelconque de E par  1 ) sont
identiques respectivement à la première ligne et à la première colonne du même tableau.
________________________________________________________________________ 67
- Au niveau de la partie contenant les résultats de la composition, chaque élément de S 3
n’apparaît qu’une et une seule fois sur chaque ligne et sur chaque colonne.
- Chaque élément de S 3 admet un symétrique dans S 3 pour la loi « o ». Ainsi par exemple,
les éléments  1 ,  2 ,  3 et  6 sont auto-symétriques (i.e. ils sont égaux à leurs symétriques
pour la loi « o »), tandis que  5 et  4 sont symétriques l’un de l’autre.
- La composition des applications étant associative, il n’est pas nécessaire de vérifier cette
propriété ici. Elle est sous-entendue et admise comme vraie. (Voir section III.3.)
Il en résulte que ( S 3 , o) est bien un groupe. Ce groupe n’est pas commutatif (car la
composition des applications n’est pas commutative (Voir section III.3.)).
b) Sous-groupe : Une partie F d’un groupe (G , ) est un sous-groupe de (G , ) si ( F , )

est lui-même un groupe.
Exemples :
- ( Z , ) et (Q ,  ) sont des groupes tels que Z  Q . On conclut alors que ( Z ,  ) est un
sous-groupe du groupe (Q ,  ) . (Q , ) à son tour est un sous-groupe du groupe ( IR ,  ) .
- On démontre que les sous-groupes du groupe additif ( Z ,  ) sont tous de la forme
n Z , n  IN , i.e. n Z   n k / k  Z , avec en particulier : 1 Z  Z et 0 Z   0 .
Ainsi, par exemple, on a : 2 Z  ... ,  6,  4,  2, 0, 2, 4, 6, ...  et on démontre facilement
que (2 Z , ) est un groupe abélien, donc un sous-groupe du groupe ( Z ,  ) . Idem pour
n’importe quelle partie n Z de Z.
Propriété fondamentale : a) Si ( F , ) est un sous-groupe d’un groupe (G , ) , alors

l’élément neutre e de (G , ) est le même que celui du sous-groupe ( F , ) .
c) Proposition et définition (sous-groupes triviaux) : Soit ( E , ) un groupe dont l’élément

neutre est noté e. Alors les parties  e   E et E  E sont telles que
 e ,  et (E ,  ) sont trivialement des sous-groupes de E. On les appelle justement les
sous-groupes triviaux du groupe E.
(Preuves évidentes, en vertu de la définition et de l’unicité (voir III.3.3.2.) de l’élément neutre

d’un monoïde ( E , ) ).
d) Sous-groupes cycliques d’un groupe
Soient (G , .) un groupe multiplicatif (i.e. la loi du groupe est notée par le symbole « . » de
multiplication) et a  G. On note « 1 » l’élément neutre du groupe (G , .) . On pose alors
a 1  a ; a 2  a . a ; a 3  a . a . a , et plus généralement :  n  IN *, a n  a . a . a . ... . a (n
facteurs). Nous conviendrons que a 0  1 (où 1 est l’élément neutre du groupe (G , .) . Avec
ces définitions, on peut établir les règles de calcul ci-après :
 m , n  IN , a m . a n  a m  n et a m  n  a m . n
Deux cas sont alors possibles.
- Premier cas : On suppose qu’il existe un entier naturel non nul n tel que a n  1. Un tel
entier n est défini comme l’ordre de l’élément a. On le note a  n . Soit, à présent,
________________________________________________________________________ 68
l’ensemble des puissances successives de a noté comme suit :
 a   1, a , a , a , ... , a 
2 3 n 1
On montre aisément que  a  est un sous-groupe du groupe (G , .) , qu’on appelle le sous-

groupe cyclique de G engendré par a. Dans ce cas, le sous-groupe cyclique  a  est d’ordre
fini.
- Deuxième cas : On prolonge la notion des puissances introduite ci-dessus dans G (à des
exposants négatifs) en posant : a  n  n . Soit alors l’ensemble noté toujours  a  des
1
a
puissances de a à exposants entiers relatifs :  a   ... , a 3 , a 2 , a 1 , 1, a1 , a 2 , a 3 , ....
On montre également que  a  est un sous-groupe du groupe (G , .) , isomorphe à Z
(puisqu’on établit aisément, dans ce cas, que l’application  : ( Z , )    a , ., définie

par  (n)  a , est bien un isomorphisme de monoïdes (voir III.3.4.)) et qu’il est d’ordre
n
infini (puisque Z l’est).

On en déduit que le groupe additif ( Z ,  ) est aussi un groupe cyclique. La loi de ce groupe
étant notée additivement, la notation « a n », ( n  Z ) , sera remplacée par
« n . a  a  a  ...  a (n termes) »
N.B. Tout sous-groupe cyclique est évidemment commutatif.
e) Groupe-produit de deux groupes
Soient (G , ) et ( H ,  ) deux groupes. On définit sur le produit cartésien G  H une loi de

composition interne notée    pa r : (a , b)    (c , d )  (a  c , b  d ) .
La loi    ainsi définie est associative car les lois  et  le sont. Elle admet
(e1 , e2 ) comme élément neutre, où e1 et e2 sont respectivement l’élément neutre du
groupe (G , ) et l’élément neutre du groupe ( H ,  ) . De plus, tout élément ( a , b) de
G  H admet l’élément ( a ' , b ' ) comme symétrique dans G  H pour la loi    , où a '
est le symétrique de a dans G pour la loi  , et b ' est le symétrique de b dans H pour la loi
 . Il en résulte que (G  H ,   ) est un groupe, appelé groupe- produit de G par H.
Exemple fondamental : Nous savons déjà que ( IR , ) est un groupe commutatif. Considérons
son carré cartésien IR 2  IR  IR , et définissons sur IR 2 une loi de composition interne
notée additivement par : (a , b)  (c , d )  (a  c , b  d ) .
On montre aisément que ( IR 2 ,  ) est un groupe commutatif.
- De même, on définit sur IR 3  IR  IR  IR   ( x , y, z ) / x  IR , y  IR et z  IR 
une loi de composition interne notée additivement de la manière suivante :
(a , b, c)  (d , e, f )  (a  d , b  e, c  f ) . A l’aide d’un raisonnement analogue à celui
appliqué à l’exemple précédent, on montre que ( IR 3 ,  ) est aussi un groupe commutatif.
- Plus généralement,  n  IN *  IN   0 , on définit sur l’ensemble-produit
n facteurs
   
IR  IR  IR  ...  IR   ( x1 , x2 , ..., xn ) / xi  IR,  i  [1, n]  IN 
n
une loi de
________________________________________________________________________ 69
composition interne notée additivement par :
( x1 , x 2 , ..., x n )  ( y1 , y 2 , ..., y n )  ( x1  y1 , x2  y 2 , ..., x n  y n ) ; On montre que
( IR n ,  ) est aussi un groupe commutatif. (En exercice, voir TP).
VI.1.2. Produit de sous-groupes d’un groupe multiplicatif
- Soient (G , .) un groupe multiplicatif et A et B des sous-ensembles de G. On définit le

produit des parties A et B de la manière suivante :
A  B  A B   a . b / a  A et b  B  . On pose : A  a / a  A . Et si
1 1
A est un singleton, i.e. si A   x , on écrit : A  B   x B  x B   x . b / b  B .

On notera que si c’est B qui est un singleton, i.e. si B   x , alors on écrit :
A  B  A   x   A x   a . x / a  A .
On vérifie aisément qu’une telle opération admet les propriétés suivantes :
 A , B , C  P (G ), ( A B) C  A ( BC ) , A . A  A 2  A .  A B  B 1 . A1 . En outre, si
1
H est un sous-groupe du groupe (G , .) , alors on a : H 1  H et H . H 1  H .
Remarque : En notation additive, i.e. pour un groupe additif (G ,  ) , i.e. un groupe G dont la
loi est notée à l’aide du symbole « + », on parle plutôt de somme de parties (ou sous-
groupes) du groupe et les opérations correspondant aux précédentes s’écrivent, mutatis
mutandis, sous la forme suivante :
A  B   a  b / a  A et b  B  . On pose :  A    a / a  A . Et si A est un
singleton, i.e. si A   x , on écrit : A  B   x   B  x  B   x  b / b  B .
On vérifie aisément qu’une telle opération admet les propriétés suivantes :
 A , B , C  P (G ), ( A  B )  C  A  ( B  C ) , A  A  A . En outre, si H est un sous-
groupe du groupe (G ,  ) , alors on a :  H  H et H  ( H )  H .
- Classes d’équivalence modulo un sous-groupe
Soient (G , .) un groupe et H un sous-groupe de G. On définit dans G une relation  par

« x  y  x 1 . y  H ». On montre aisément que  est une relation d’équivalence sur
G. On l’appelle « relation d’équivalence modulo H ». En effet :
-  x  G , on a : x 1 . x  1  H , où 1 est l’élément neutre du groupe (G , .) . La relation
 est donc réflexive.
- Soient x , y  H tels que x  y. Alors on a : x 1. y  H . H étant un sous-groupe de
G, on conclut que x 1 . y   y 1 . x 1   y 1 . x  H . Par suite, y  x. D’où la
1 1
relation  est symétrique.

- Soient, enfin, x , y, z  H tels que x  y et y  z. Alors on a : x 1. y  H et
y 1 . z  H . H étant un sous-groupe de G, il est stable pour la loi du groupe. Donc
x 1. y  . y 1. z   H  x 1 . ( y . y 1 ). z  x 1. 1 . z  x 1. z  H . On en déduit que
x  z. La relation  est donc transitive. Il en résulte que  est bien une relation
d’équivalence sur G.
________________________________________________________________________ 70
- Caractérisons tout d’abord les classes d’équivalence de G, modulo  :
 Premièrement, en nous souvenant que 1 est l’élément neutre du groupe et que son
inverse (ou symétrique) est 11  1, on a :
1 y  G  y  G
/ 11 . y  H  / y  H   G  H  H (car H  G ).
Donc 1  H .
 Soit à présent un élément quelconque x  H . On montre que x  x H . En effet, on
a les équivalences logiques suivantes :
y  x  x  y  x 1 . y  H  x . ( x 1 . y )  x H
 ( x . x 1 ) . y  x H  1. y  x H  y  x H . D' où l' égalité x  x H .
Il en résulte que l’ensemble-quotient de G par la relation  est : G


 x H / x  G .
On notera simplement G  G . D’où : G   x H / x  G .
H  
VI.1.3. Sous-groupes distingués d’un groupe
Soient (G , .) un groupe et H un sous-groupe de G. On dit que H est un sous-groupe distingué

dans G (ou « sous-groupe invariant de G », ou encore « sous-groupe normal de G ») si,
 x  G , on a : x H  H x . On note alors : H  G.
L’égalité précédente ( x H  H x ) peut s’écrire : x H x 1  H . On en déduit que :
H  G   x  G, on a x H x 1  H .
Remarques :
- Si (G , .) est un groupe abélien, tout sous-groupe de G est distingué dans G.
- Les sous-groupes triviaux de G sont toujours des sous-groupes distingués dans
G, i.e. 1   G et G  G .
VI.1.4. Groupe quotient
Soient (G , .) un groupe multiplicatif et H un sous-groupe de G qui est distingué dans G (i.e.

H  G ) on considère alors la relation d’équivalence modulo H et l’ensemble quotient
G   x H / x  G  . On dispose alors des résultats importants suivants :
H
Théorème et définition : On définit dans G une multiplication interne de la manière

H
suivante :  x , y  G , x H . y H  ( xy) H . Alors on a :
i)  x , y, z  G , ( x H . y H ) . z H  ( xyz) H  x H . ( y H . z H ).
ii)  x , y  G , x H . 1 H  x H . H  1 H . x H  x H
iii)  x , y  G , x H . x 1 H  x 1 H . x H  1 H  H .
 
On en déduit que G , . est un groupe, dit groupe quotient de G modulo H.
H
Preuve : triviale.
________________________________________________________________________ 71
Exemple : Soit Z l’ensemble des entiers relatifs. Nous savons déjà que ( Z ,  ) est un groupe
commutatif et que tout sous-groupe de ( Z ,  ) est de la forme (n Z ,  ) , (n  IN ). Le groupe
( Z ,  ) étant abélien, n Z  Z ,  n  IN . On définit alors sur Z la relation d’équivalence
modulo n Z (on dit aussi plus simplement « modulo n », voir III.3.2.). Le groupe quotient
 __ __ __ __ ______

correspondant se note alors Z   0 , 1 , 2 , 3 , ..., n  1  . L’opération « + » définie
nZ  
dans Z est, dans ce cas : x  y  x  y .
nZ
Voici, à titre illustratif, quelques-uns des groupes-quotient ainsi définis :
 __ __   __ __ __  __ __ __ __   __ __ __ __ __ 
Z   0 , 1 , Z   0 , 1 , 2 , Z   0 , 1 , 2 , 3 , Z   0 , 1 , 2 , 3 , 4 , Etc.
2Z   3Z   4Z   5Z  
Tous les groupes-quotient  Z ,   sont finis (résultat évident) et abéliens (puisque le
 n Z 
groupe ( Z ,  ) l’est).
VI.1.4. Homomorphisme (ou morphisme) de groupes
La notion de morphisme de groupes est apparentée à celle de morphisme de monoïdes

abordée plus haut (voir la section III.3.4.).
Définition : Soient (G ,  ) et ( H ,  ) des groupes et f : G  H . On dit que f est un
homomorphisme de groupes si :  x , y  G , f ( x  y )  f ( x)  f ( y ) .
Remarques :
- Si f est un morphisme injectif de groupes, on dit que f est un monomorphisme.
- Si f est un morphisme surjectif de groupes, on dit que f est un épimorphisme.
- Si f est un morphisme bijectif de groupes, on dit que f est un isomorphisme.
Exemple : L’application f : ( IR    0 , .)  ( IR , ) définie par : f ( x)  Log x. est un

homomorphisme de groupes. Il est en plus bijectif (voir la section III.3.4.). C’est donc un
isomorphisme de groupes.
VI.1.5. Anneaux
La structure d’anneau a été introduite par le mathématicien Dedekind dont les travaux
fondamentaux datent de 1872 (sur les irrationnels) et de 1879-1888) (sur les nombres
algébriques). Le mot « anneau » a été introduit par Hilbert (1897) ; Dedekind utilisait le
concept « ordre » pour désigner un anneau. On notera qu’il s’est écoulé environ 50 à 65 ans,
soit deux générations de mathématiciens, entre l’introduction de la structure de groupe (par
Galois) et l’invention de la théorie des anneaux.
On rappelle, ici, que la structure de groupe n’était définie que pour une loi de composition
interne. Nous allons maintenant définir une structure à deux opérations internes.
VI.1.5.1. Définition
Soient A un ensemble sur lequel sont définies deux lois de composition internes notées
respectivement par les symboles  et  . On dit que ( A,  ,  ) est un anneau si les
conditions suivantes sont vérifiées :
________________________________________________________________________ 72
(1°). ( A, ) est un groupe commutatif ;
(2°). La deuxième loi  est associative ;
(3°). La deuxième loi  est distributive (à gauche et à droite) par rapport à la première loi  .
Remarques : Soit ( A,  ,  ) un anneau.

- Si la loi  est, en plus, commutative, alors on dit que ( A,  ,  ) est un
anneau commutatif.
- Si la loi  admet un élément neutre e, alors on dit que ( A,  ,  ) est un
anneau unitaire.
Exemples :
1. Soit Z l’ensemble des entiers relatifs. On montre facilement que ( Z ,  , . ) est un

anneau commutatif et unitaire. Il en est de même pour ( Q ,  , . ) et ( IR ,  , . ) , où Q
et IR sont respectivement l’ensemble des rationnels et l’ensemble des réels. (A
montrer, voir TP)
2. On montre, de même, que  Z ,  , .  , où les deux lois internes sont
 n Z 
respectivement définies par : a  b  a  b et a . b  a . b , est aussi un
anneau commutatif et unitaire. (A montrer, voir TP)
3. On considère l’ensemble  2 ( IR) des matrices carrées d’ordre 2 à coefficients réels.
On définit dans  2 ( IR) une addition et une multiplication matricielles respectivement
a b m n am bn
par :         et par :
 c d   p q   c  p d  q 
 a b   m n   am  bp an  bq 
  .      . On montre que (  2 ( IR ) ,  , . ) est
 c d   p q   cm  dp cn  dq 
un anneau commutatif et unitaire. (Preuve : en exercice, voir TP)
 
4. L’ensemble A  a  b 2 / a  IR et b  IR est un anneau pour l’addition
et la multiplication classiques. (Preuve : en exercice, voir TP).
N.B. Pour des raisons de commodités et de simplification de notations, nous allons noter,
dans toute la suite, la première loi  de l’anneau additivement (i.e. à l’aide du symbole
« + ») et la seconde loi  multiplicativement (à l’aide du symbole « . »), même si, comme
nous le verrons plus tard, les lois ainsi notées n’ont rien à voir avec l’addition et la
multiplication habituelles ou classiques.
VI.1.5.2. Diviseurs de zéro dans un anneau
Soit ( A,  , .) un anneau. S’il existe, dans A, des éléments non nuls a et b (i.e.
a  0 et b  0) tels que a . b  0 , alors on dit que a et b sont des diviseurs de zéro.
________________________________________________________________________ 73
Exemples :
5. Considérons l’anneau Z   
 6 Z ,  , .  , avec Z 6 Z  0, 1, 2, 3, 4, 5 . On a :
 
2  0 , 3  0 , mais 2 . 3  6  0 [modulo 6 Z ] . Par suite, 2 et 3 sont des
diviseurs de zéro dans l’anneau  Z ,  , .  .
 6 Z 
1 0 0 0
6. Les matrices   et   sont toutes les deux non nulles, mais on a :
0 0 1 1
1 0 0 0 0 0
  .       0 . Ces deux matrices sont donc des diviseurs de
0 0 1 1 0 0
zéro dans l’anneau (  2 ( IR ) ,  , . ) des matrices carrées d’ordre 2 à coefficients réels.
VI.1.5.3. Anneau intègre (ou domaine d’intégrité)
Soit ( A,  , .) un anneau. On dit que A est un anneau intègre s’il n’existe aucun diviseur de
zéro dans A. Dans un anneau intègre A, l’égalité a . b  0 implique que a  0 ou b  0 .
Et, réciproquement, dans un anneau intègre ( A,  , .) , si a  0 et b  0, alors on a :
a . b  0.
VI.1.5.4. Sous-anneau
Soient ( A,  , .) un anneau et B une partie de A. On dit que B est un sous-anneau de ( A,  , .)

si ( B,  , .) lui-même est un anneau.
Exemples : ( Z ,  , .) est un sous-anneau de (Q,  , .) , qui est lui-même un sous-anneau de
( IR ,  , .) .
VI.1.5.5. Idéaux d’un anneau
Soient ( A,  , .) un anneau et I une partie de A. On dit que I est un idéal à gauche

(respectivement un idéal à droite) de l’anneau ( A,  , .) si
 x  I ,  a  A , a . x  I (respectivement x . a  I ) .
Si I est à la fois un idéal à gauche et à droite d’un anneau A, alors on dit que I est un idéal
bilatère de l’anneau ( A,  , .) .
Proposition : Tout idéal I d’un anneau A est, en particulier, un sous-anneau de ( A,  , .) .

Preuve : immédiate. (En exercice)
Exemples : 2 Z est un idéal de l’anneau ( Z ,  , .) . Il en est de même pour chaque

n Z (n  IN ) . Ce sont même des idéaux bilatères de l’anneau ( Z ,  , .) .
________________________________________________________________________ 74
VI.1.5.6. Anneau-quotient
On considère un anneau ( A,  , .) et un idéal bilatère I de cet anneau. On sait qu’en

particulier ( A ,  ) est un groupe additif commutatif. On définit alors, sur A, une relation 
par « x  y  x  y  I ». En appliquant le même raisonnement que celui qui a été
développé à la section (VI.1.2.), on montre aisément que  est une relation d’équivalence
sur A. Avec la particularité que les classes d’équivalence, ici, seront notées :
x  x  I ,  x  A. On considère alors l’ensemble-quotient A   x  I / x  A .
I
Théorème et définition : On définit dans A une addition et une multiplication internes
I
respectivement de la manière suivante :  x , y  A , ( x  I )  ( y  I )  ( x  y )  I et
( x  I ) . ( y  I )  ( xy)  I . Alors on a :
i)  x , y, z  A, [( x  I )  ( y  I )]  ( z  I )  ( x  y  z )  I  ( x  I )  [ ( y  I )  ( z  I )].
ii)  x , y  A , ( x  I )  (0  I )  x  I  (0  I )  ( x  I )
iii)  x , y  A , ( x  I )  ( x  I )  ( x  I )  ( x  I )  (0  I )  I
iv)  x , y  A , ( x  I )  ( y  I )  ( y  I )  ( x  I )
v)  x , y, z  A , [( x  I ) . ( y  I )]. ( z  I )  ( xyz)  I  ( x  I ) .[( y  I ) . ( z  I )].
vi)  x , y  A , ( x  I ) . (1  I )  ( x  I )  (1  I ) . ( x  I )
vii)  x , y  A , ( x  I ) [( y  I )  ( z  I )]  ( x  I )( y  I )  ( x  I )( z  I )
viii)  x , y  A , [( x  I )  ( y  I )] . ( z  I )  ( x  I )( z  I )  ( y  I )( z  I ) .
 
On en déduit que A , , . est un anneau, dit anneau-quotient de A modulo l’idéal I.
I
Preuve : triviale.
VI.1.6. Homomorphisme (ou morphisme) d’anneaux
La notion de morphisme d’anneaux est apparentée à celle de morphisme de monoïdes et à

celle de morphisme de groupes abordées plus haut (voir les sections III.3.4. et VI.1.4.).
Définition : Soient ( A ,  , . ) et ( B ,  , . ) des anneaux (dont les lois internes respectives sont
notées additivement et multiplicativement pour des raisons de simplification) et f : A  B
une application. On dit que f est un homomorphisme d’anneaux si :
 x , y  G , f ( x  y )  f ( x)  f ( y ) et f ( x . y )  f ( x) . f ( y ) .
N.B. : Il est très important de faire remarquer le fait que les deux additions figurant dans la
première égalité sont distinctes : celle qui est reprise dans le premier membre est l’addition
définie dans l’anneau A, tandis que celle qui apparaît dans le second membre est l’addition
dans l’anneau B. Il en est de même pour les deux multiplications figurant dans la deuxième
égalité ci-dessus.
Remarques :
- Si f est un morphisme injectif d’anneaux, on dit que f est un monomorphisme.
- Si f est un morphisme surjectif d’anneaux, on dit que f est un épimorphisme.
- Si f est un morphisme bijectif d’anneaux, on dit que f est un isomorphisme.
- Si f est un morphisme d’un anneau ( A ,  , . ) dans lui-même, alors on dit que f
est un endomorphisme de A.
________________________________________________________________________ 75
VI.1.7. Décomposition canonique d’un morphisme d’anneaux
Soient ( A ,  , . ) et ( B ,  , . ) des anneaux (dont les lois internes respectives sont notées
additivement et multiplicativement pour des raisons de simplification) et f : A  B un
homomorphisme d’anneaux. Soient I un idéal bilatère de l’anneau A et 
A , , .
I

l’anneau-quotient correspondant. Avec, mutatis mutandis, les notations (et appellations)
adoptées dans la section III.3.1.1., nous admettrons le théorème suivant :
Théorème et définitions :
__ __
i) L’application s : A  A , définie par :  x  A, s ( x)  x , (où x désigne la
I
classe d’équivalence de x dans E pour la relation d’équivalence  ) est un
morphisme surjectif d’anneaux.
__ __
ii) La relation b : A  f ( A) , définie par :  x  A, s ( x )  f ( x) , (où x
I
désigne la classe d’équivalence de x dans A pour la relation d’équivalence
modulo I) est un isomorphisme d’anneaux.
iii) (Résultat très important) : En déduire que, si le morphisme d’anneaux

f : A  B est surjectif, alors les anneaux A et B sont isomorphes.
I
iv) L’application i : f ( A)  B, définie par :  x  f ( A), i ( x)  x , est un

morphisme injectif d’anneaux.
v) En tenant compte des trois morphismes d’anneaux définis précédemment, le
morphisme d’anneaux f se décompose de la manière suivante : f  i o b o s
(où le symbole « o » désigne la composition des applications), selon le diagramme
commutatif ci-après, dit diagramme de décomposition canonique d’un
homomorphisme d’anneaux f : A  B :
A 
f
B
 i
s
A 

b
f ( A)
I
VI.1.8. Corps
Comme la structure d’anneau, la structure de corps a été découverte par les mathématiciens du
19ème siècle dans le cadre des recherches sur la théorie des nombres, à l’origine desquelles se
trouve Gauss. Les travaux de Kummer (entre 1850 et 1860), qui aboutissent à la notion de
nombre algébrique, ouvrent la voie à ceux de Dedekind, à qui l’on doit l’introduction générale
de la notion de corps. Ils furent complétés par l’œuvre axiomatique de Hilbert (1897). Les
principaux initiateurs de la théorie des corps sont les mathématiciens G. Frobenius, A.
Hurwitz, L. Kronecker et H. Weber.
________________________________________________________________________ 76
Comme nous le verrons dans la suite, un corps n’est – en définitive – qu’un anneau
particulier (dont la particularité sera précisée dans la présente section). Pour cette raison, les
propriétés étudiées précédemment dans le cadre de la structure des anneaux sont également
valables pour les corps. Nous n’y reviendrons donc plus, si ce n’est lorsque le besoin
s’impose.
VI.1.8.1. Définition
Soit K un ensemble sur lequel sont définies deux lois de composition internes respectivement
notées additivement et multiplicativement. On dit que ( K ,  , . ) est un corps si les deux
conditions suivantes sont vérifiées :
( a1 ) ( K ,  , . ) est un anneau commutatif ;
( a 2 ) ( K * ,  , . ) est un groupe (avec K *  K   0  ).
Remarque : Soit ( K ,  , . ) un corps. Si, en plus, la multiplication, notée « . », est

commutative, alors on dit que K est un corps commutatif ou un champ.
VI.1.8.2. Sous-corps
Toute partie K’ d’un corps ( K ,  , . ) qui est telle que ( K ' ,  , . ) est lui-même un corps
s’appelle un sous-corps du corps ( K ,  , . ) .
Exemples : Soient Q l’ensemble des nombres rationnels et IR celui des nombres réels. D’après
la construction du premier (voir V.2.1.) et les axiomes définissant le second (voir V.3.2.), on
conclut que ( Q ,  , . ) et ( IR ,  , . ) sont des corps commutatifs tels que Q  IR . On en
déduit que ( Q ,  , . ) est un sous-corps du champ ( IR ,  , . ) .
Théorème : Tout corps ( K ,  , . ) est un anneau intègre

Démonstration : Puisque tout élément non nul du corps K est inversible, alors le produit
a . b  0 , avec a  0 et b  0 , implique que a  0 ou b  0 . (En supposant, en effet,
que a  0 , et en composant, à gauche, par l’inverse a 1 de a dans K, il vient :
a 1 . a . b  a 1 . 0  0  (a 1 . a) . b  0  1 . b  0  b  0 . Raisonnement
analogue si l’on pose que b  0 , ce qui conduit à la conclusion que a  0) . CQFD.
Théorème : L’anneau-quotient  Z ,  , .  est un corps ssi n est un entier naturel

 nZ 
premier.
Preuve : (CS) Supposons que n soit premier et montrons alors que Z n Z est un corps.
Puisque Z n Z est un anneau commutatif et unitaire (et comme la multiplication dans

Z Z
n Z est associative), il suffit de montrer tout élément non nul a de n Z est inversible (pour
la multiplication). Soit alors a  Z n Z , avec a  0. Comme n est premier, alors l’entier
naturel a est premier avec n. On en déduit qu’il existe deux entiers relatifs u et v tels que
a . u  n . v  1. Donc a . u  n . v  1. Et d’après les opérations algébriques sur les
________________________________________________________________________ 77
classes d’équivalence dans l’anneau Z , il vient a . u  n . v  1  a . u  n . v  1.
nZ
Et comme n  0 , on conclut que a . u  1. Il en résulte que a est inversible dans Z n Z .
Par suite, Z , qui est déjà un anneau commutatif (par hypothèse), est un groupe pour la
nZ
multiplication. D’où Z n Z est un corps.
(CN) Supposons que Z n Z est un corps. Montrons alors que l’entier n est nécessairement
premier. Supposons, par l’absurde, que n n’est pas premier. (Et montrons que cette hypothèse
nous amène à une contradiction). Comme n n’est pas premier, alors il admet des diviseurs
autres que 1 et n, et il existe des diviseurs a et b de n (où 1  a , b  n ) tels que
n  a . b , avec a  1, a  n , b  1 et b  n (puisque la division de n par a ou par b
est exacte). Par suite, on a : n  a . b  a . b , et comme n  0 , alors on conclut que
a . b  0 . Les diviseurs d’un entier naturel étant des entiers non nuls, on conclut que a et b
sont des diviseurs de zéro. Ce qui contredit l’hypothèse selon laquelle Z n Z est un corps. On
en déduit que notre supposition de départ est fausse ; c’est donc sa négation qui est vraie.
Donc, l’entier n est premier. CQFD.
VI.1.8.3. Caractéristique d’un corps
Soit ( K ,  , . ) un corps. On appelle caractéristique du corps K le plus petit entier non nul n
(s’il existe) tel que,  a  K , on ait : n . a  0 . On note alors : Caract K  n .
N.B. La caractéristique d’un corps ( K ,  , . ) est aussi, par définition, la caractéristique de

l’anneau ( K ,  , . ) sous-jacent à la structure de corps.
Remarque : S’il n’existe pas d’entier non nul n vérifiant la propriété précédente, alors on dit
que le corps ( K ,  , . ) est de caractéristique nulle. i.e. Caract K  0 .
Exemples :
- Les corps finis Z p Z (p entier premier) ont comme caractéristique p. i.e.
Caract Z  p.
pZ
- Les corps commutatifs ( Q ,  , . ) et ( IR ,  , . ) admettent 0 comme
caractéristique. i.e. Caract Q  0 et Caract IR  0 .
VI.1.8.4. Idéaux d’un corps
Théorème : Soient ( K ,  , . ) un corps. Les seuls idéaux de K sont les idéaux triviaux, c’est-
à-dire l’idéal nul  0  et le corps K lui-même.
Preuve : Soit, en effet, I un idéal du corps K. Supposons que I   0 . Montrons alors que
l’on a nécessairement I  K . L’inclusion I  K est triviale, par définition d’un idéal d’un
________________________________________________________________________ 78
anneau. Montrons simplement que K  I : Soit x  K . Alors deux cas sont possibles : soit
x  0, soit x  0.
- Si x  0, alors on a trivialement que x  I (puisque 0  I , I étant, en particulier, un
sous-anneau de K).
- Supposons, à présent, que x  0. Donc x est inversible dans K. Soit alors x 1 son inverse
dans K. Par hypothèse, I   0 . Donc il existe dans I au moins un élément non nul y. Son
inverse y 1 existe donc dans K. Comme I est un idéal de K, et comme y  I et y 1  K ,
alors on conclut que y 1 . y  1  I .
Et, comme x  K et 1  I , alors on a : x . 1  x  I . D’où l’inclusion K  I . On en
déduit que I  K . CQFD.
VI.2 Structures algébriques basées sur une loi de composition interne et une
loi de composition externe
Un peu d’histoire
A la fin du 19ème siècle, les structures de groupe, d’anneau, de corps étaient correctement
définies. Ces notions permettaient une mise en ordre des connaissances en algèbre et en
analyse, et leur exploitation s’est révélée très féconde, tant pour l’étude de la théorie des
équations que pour celle de la théorie des fonctions. Dans la même période, les
mathématiciens s’intéressent aux ensembles des vecteurs (le mot est introduit par Hamilton ;
les vecteurs à n dimensions apparaissent chez Grassmann vers 1946) et à l’algèbre linéaire. En
1888, Peano, commentant l’œuvre de Grassmann, introduit la définition axiomatique des
ensembles de vecteurs qu’on appelle espaces vectoriels et que nous étudions ci-après.
Après 1920, les algébristes se sont aperçus que les espaces vectoriels étaient un cas particulier
d’une structure plus générale : la structure de module. Cette dernière joue un rôle de premier
plan dans certaines branches très abstraites des mathématiques contemporaines, comme la
topologie et l’algèbre homologique. Venons-en à présent à la définition axiomatique de ces
deux structures apparentées.
Il peut se faire que sur l’ensemble E muni d’une structure de groupe commutatif pour une
certaine loi interne, notée additivement, soit définie aussi une loi de composition externe, à
opérateurs dans un corps commutatif K (resp.un anneau commutatif A). Ce sont de telles
structures que nous allons laconiquement étudier dans la présente section, en précisant
toutefois qu’elles seront abordées avec plus de détails dans le cours d’algèbre (IIème partie).
VI.2.1. Notions sur la structure d’espace vectoriel
Soient E un ensemble muni d’une loi de composition interne notée additivement (symbole
« + », définie par : ( a , b )  a  b ) et d’une loi externe, à opérateurs dans un corps
commutatif K, notée multiplicativement et définie de K  E vers E, par (  , a )   . a .
On dit que ( E ,  , . ) est un espace vectoriel sur IR si les conditions suivantes sont vérifiées :
- ( e1 ) ( E ,  ) est un groupe commutatif ;
- ( e2 ) La loi externe possède les propriétés suivantes :
  ,   K ,  a, b  E :
________________________________________________________________________ 79
  . ( a  b)   . a   . b
 (    ). a   .a   .a
 (  .  ) . a   . ( . a )
 1. a  a
Remarque : Si ( E ,  , . ) est un espace vectoriel sur un corps commutatif K, alors on dit que
( E ,  , . ) est un K-espace vectoriel.
Exemples :
- ( IR ,  , . ) est un espace vectoriel sur le corps IR des réels, donc c’est un IR-espace
vectoriel. On vérifie facilement que les axiomes précédents sont tous vérifiés.
- On considère l’ensemble IR 2  IR  IR   (a , b) / a  IR et b  IR . On définit
dans IR 2 une addition interne par : (a , b)  (c, d )  (a  c , b  d ) et une
multiplication externe, à opérateurs dans IR, par :  . (a , b)  ( . a ,  . b) , où   IR .
On montre que ( IR 2 ,  , . ) est un IR-espace vectoriel (en exercice).
VI.2.2. Notions sur la structure de module
Soient M un ensemble muni d’une loi de composition interne notée additivement (symbole
« + », définie par : ( a , b )  a  b ) et d’une loi externe, à opérateurs dans un anneau
commutatif et unitaire A, notée multiplicativement (symbole « . ») et définie de A  M vers
M, par : (  , a )   . a .
On dit que ( M ,  , . ) est un module sur A si les conditions suivantes sont vérifiées :
- ( e1 ) ( M ,  ) est un groupe commutatif ;
- ( e2 ) La loi externe possède les propriétés suivantes :
  ,   A,  a , b  M :
  . ( a  b)   . a   . b
 (    ). a   .a   .a
 (  .  ) . a   . ( . a )
 1. a  a
Remarques :
- Si ( M ,  , . ) est un espace vectoriel sur un anneau commutatif et unitaire A,
alors on dit que ( A ,  , . ) est un A-module.
- La notion de module généralise celle d’espace vectoriel. Tout espace vectoriel
est un module sur un corps commutatif.
Exemple : Tout IR-espace vectoriel ( E ,  , . ) est, en particulier un IR-module (puisque IR,

qui est bien un corps commutatif, est en particulier un anneau commutatif et unitaire). Donc,
par exemple, ( IR ,  , . ) et ( IR 2 ,  , . ) sont des IR-modules.
________________________________________________________________________ 80
CHAPITRE VII. NOTIONS ÉLÉMENTAIRES SUR
L’ENSEMBLE C DES NOMBRES COMPLEXES
Un peu d’histoire …
Les nombres complexes ont été introduits par les algébristes italiens du 16ème siècle (et en
particulier par Bombelli) pour résoudre les équations du 3ème et du 4ème degrés à une inconnue.
Ils ont d’abord constitué un sujet d’embarras pour les mathématiciens (qui estimaient que leur
introduction dans les calculs, comme outils de résolution, était considérée comme
hypothétique tout au moins), puis ont été étudiés de manière systématique par Gauss et
Hamilton (1833).
VII.1. L’ensemble C des nombres complexes
VII.1.0. Note liminaire :

Insuffisance de l’ensemble IR : Certaines équations algébriques, à coefficients dans IR,
n’admettent pas de solution dans IR. C’est le cas, par exemple, pour une équation de la forme
a x 2  b x  c  0 (où a , b, c  IR , avec a  0) , pour laquelle   b 2  4ac  0
(comme par exemple l’équation : x 2  1  0) qui n’admet aucune solution réelle. D’où la
nécessité de construire (par une technique dite « adjonction de racine ») un sur-corps ou une
extension de IR dans laquelle toute équation algébrique, et en particulier l’équation
x 2  1  0, par exemple, admet au moins une solution.
VII.1.1. Construction de l’ensemble C des nombres complexes
Soit IR l’ensemble des nombres réels. Considérons à présent le produit cartésien

IR 2  IR  IR   ( a , b) / a  IR et b  IR  . Nous avons vu précédemment, dans un
exercice (proposé comme exemple, voir VI.2.1.) que ( IR 2 ,  , . ) est un IR-espace vectoriel.
C’est aussi un anneau commutatif, intègre et unitaire. Mais ce n’est pas, a priori, un corps.
Dans l’objectif d’en faire un corps commutatif, nous allons définir une multiplication interne
« . » sur IR 2 telle que tout élément non nul de IR 2 admette un inverse (donc un symétrique
pour la loi « . ») dans IR 2 . On convient de caractériser l’égalité de couples de IR 2 de la
a  c
manière suivante : (a , b)  (c, d )  
b  d
- Posons IR  C .
2
- En prenant en compte l’addition définie dans IR 2  C par

« (a , b)  (c, d )  (a  c , b  d ) » (et qui le munit d’une structure de groupe
commutatif, on définit, à présent, dans C  IR  IR   (a , b) / a  IR et b  IR 
une loi de composition interne, dite « multiplication » et notée – toujours pour des raisons de
simplification d’écriture – par le même symbole « . » que celle définie dans IR, de la manière
suivante : (a , b) . (c, d )  (ac  bd , ad  bc) .
On démontre facilement que la loi « . » ainsi définie est à la fois commutative et associative
dans C et que tout élément non nul ( a , b) de C est régulier pour cette loi (en vertu des
propriétés de la multiplication « . » dans IR). En outre, on montre aisément que (1 , 0) est
l’élément neutre de cette multiplication dans C et que tout élément non nul ( a , b) de C
________________________________________________________________________ 81
 a b 
admet l’élément (a' , b' )   2 , 2  de C comme inverse (ou symétrique) pour
2 
 a  b 2
a  b 
cette multiplication.
On en déduit que le monoïde (C*, ) est un groupe abélien. Il résulte de tout ce qui précède
que (C ,  , ) est muni d’une structure de corps commutatif (ou champ).
- Identification de IR avec un sous-ensemble A de C (ou plongement de IR dans C) :
On démontre, enfin, que C contient une partie A telle que les monoïdes
( IR ,  , ) et ( A ,  , ) sont isomorphes. Considérons, pour ce faire, l’ensemble
A   (a , 0) / a  IR , où 0 est l’élément neutre de l’addition dans le monoïde
( IR ,  , ) . A est trivialement un sous-ensemble de C. Soit alors l’application
f : R  A  C définie par f ( a )  ( a , 0) . L’application f est surjective par
construction. Montrons qu’elle est injective. Soient a et b des éléments de IR tels que
f ( a )  f ( b ). Alors (a , 0)  (b , 0) (par définition de l’application f). Donc a  b .
D’où f est injective. f est donc un isomorphisme de monoïdes (1)
Montrons que f est un morphisme du monoïde
( IR , , ) sur le monoïde (C , ,  ) :  a , b  IR , on a :
f (a  b)  (a  b , 0)  (a , 0)  (b , 0)  f ( a )  f ( b ) . En outre,
f (a . b)  (a . b , 0)  (a . b  0 . 0 , a . 0  0 . b )  (a , 0) . (b , 0)  f ( a ) . f ( b ) .
Ce qui traduit que f est bien un morphisme de monoïdes (2)’. Par ailleurs, on a :
f (1)  (1, 0) , où (1, 0) est l’élément neutre de la multiplication dans C. De (1)’ et (2)’ on
déduit que f est un isomorphisme de monoïdes, et donc que les monoïdes
( IR ,  , ) et ( A ,  , ) sont isomorphes. Grâce à cet isomorphisme, les ensembles IR et
A  C sont identifiables. Par suite, à un isomorphisme près, IR est une partie de C. (i.e. on a
l’inclusion Z  C ) , et donc A  IR est un corps contenu dans le corps C, donc un sous-
corps de C. Chaque élément a de IR s’identifie donc à son équivalent (a , 0) dans A  Q , et
les opérations « + » et «  » définies dans C peuvent désormais être perçues comme des
prolongements des opérations « + » et «  » définies dans IR i.e. les dernières sont les
restrictions des deux premières à IR  A (le symbole «  » indiquant l’isomorphisme entre
ces deux ensembles) ; Cela justifie le fait que nous avons décidé de noter ces deux opérations
à l’aide des mêmes symboles « + » et «  ».
Ainsi donc :
(a , 0)  a  a  IR . En particulier, on a :
(1, 0)  1,
(1, 0)   1,
(7, 0)  7 , Etc.
- Considérons, spécialement, l’élément (0 , 1) de C, que nous allons noter par la lettre « i »,
i.e. i  (0 , 1) . On a alors, avec les conventions précédentes,
i 2  (0 , 1)  (0 , 1)  (1, 0)   1, c’est-à-dire : i 2   1. Le nombre i ainsi obtenu,
que nous appellerons « nombre imaginaire », est donc une racine, dans C, de l’équation
x 2  1  0, puisque i 2  1   1  1  0 .
- Conventions de notations :
________________________________________________________________________ 82
Soit (a , b)  C . Les éléments de C seront appelés des nombres complexes.
On a : (a , b)  (a , 0)  (0 , b)  a (1, 0)  b (0 , 1)  a .1  b . i  a  b i . Donc
tout nombre complexe z  (a , b)  C sera donc désormais noté : a  b i . Grâce à cette
convention de notations, les opérations internes (addition et multiplication) définies sur C
s’écrivent simplement et respectivement comme suit :
(a  b i )  (c  d i )  (a  c)  ( b  d ) i
(a  b i ) . (c  d i )  (a c  bd )  ( ad  bc ) i
avec la précision supplémentaire que i 2   1.
En tenant compte de ces conventions, les calculs algébriques classiques sur les nombres
complexes ne relèvent que de l’algèbre et de l’arithmétique élémentaires. (Voir TP et TPE).
________________________________________________________________________ 83
CHAPITRE VIII. NOTIONS DE BASE SUR LE CALCUL
MATRICIEL
VIII.0. INTRODUCTION
Le calcul matriciel fait partie de l’outillage mathématique indispensable dans l’étude de divers
domaines du savoir scientifique moderne comme la biologie et la chimie, la physique et les
mathématiques pures, les sciences économiques et les statistiques, l’informatique et les
sciences de l’environnement, Etc.
L’objectif de ce chapitre est de fournir à l’étudiant en architecture et urbanisme les notions de
base sur les matrices et systèmes linéaires qui lui permettront de mieux comprendre les
différentes applications de ces notions dans le cadre de sa formation.
VIII.1. MATRICES ET TYPES DE MATRICES
(Cfr TP et TPE ; à suivre !)
VIII.2. OPERATIONS ALGEBRIQUES SUR LES MATRICES
VIII.3. DETERMINANT D’UNE MATRICE CARREE
VIII.4. INVERSION D’UNE D’UNE MATRICE CARREE
VIII.5. RESOLUTION DE SYSTEMES D’EQUATIONS LINEAIRES
________________________________________________________________________ 84

Cours D'algebre g0 Au Ucb

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Cours D'algebre g0 Au Ucb

Transféré par

Droits d'auteur :

Formats disponibles

ENSEIGNEMENT SUPÉRIEUR ET UNIVERSITAIRE

UNIVERSITÉ CATHOLIQUE DE BUKAVU

FACULTÉ D’ARCHITECTURE ET URBANISME

COURS D’ALGÈBRE DESTINÉ AUX

Par Prof. Dr Adrien DUNIA MWATI

TABLE DES MATIÈRES ......................................................................................................... 2

1. CARATINI Roger (1985). Les mathématiques, Bordas, Milan (Italie).

3. LIPSCHUTZ Seymour, (1973). Algèbre linéaire : cours et problèmes. Série

4. PISOT Charles, ZAMANSKY Marc, (1959). Mathématiques générales : Algèbre et

5. PISOT Charles, ZAMANSKY Marc, (1965). Introduction à l’Algèbre et l’Analyse

6. QUEYSANNE Michel, (1968). Algèbre MP et Spéciales AA’, Armand Colin, Paris.

I.2. Partie d’un ensemble

I.3. Notions élémentaires de logique mathématique – Symboles logiques usuels

a.0. Proposition logique

a.1. Axiomes, théorèmes, propositions, lemmes, corollaires

a.2. La négation d’une proposition logique

a.3. Les quantificateurs logiques

a.3. Tautologie – Antilogie

b) Notions de base sur le calcul propositionnel et sur les méthodes

b.1. Les connecteurs logiques

b.1.1. La conjonction logique

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

b.1.2. La disjonction inclusive

On appelle « disjonction inclusive » le connecteur « ou », noté  , qui, à tout couple (p, q) de

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

P.6. Propriétés mixtes

b.1.3. L’implication logique

P.2. ( p  q)   ( q)  ( p)  (Règle de la contraposition)

P.3. ( p  q )  (q  p ) (L’implication directe p  q (dite « condition nécessaire ») est

P.4. ( p  q)  r    p  (q  r )  (L’implication logique n’est pas associative)

b.1.4. La bi-implication logique ou équivalence logique

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

b.1.5. La disjonction exclusive logique

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

Ce qui prouve bien l’équivalence des deux membres de l’égalité proposée.

b.2. Formes propositionnelles

c. Méthodes usuelles de démonstration en sciences mathématiques

Notons, de prime abord, que le raisonnement mathématique est essentiellement une

b) Règle 2 : Règle du « modus tollens »

d) Règle 4 : Règle de la contraposition

Voici, en effet, sa table de vérité :

c.2. Démonstration par l’absurde

c.3. Démonstration par contre-exemple

c.4. Démonstration par récurrence

Démontrer que,  n  IN (ou  n  IN  0 , selon le cas) :

I.4. Opérations algébriques sur les ensembles

Soient A et B des ensembles quelconques.

On appelle intersection de A et B, et on note A  B , l’ensemble des éléments qui

- Si A  B , alors A  B  A . (B est l’élément neutre de l’intersection définie dans

On appelle réunion de A et B, et on note A  B, l’ensemble des éléments qui appartiennent à

- Si A  B , alors A  B  B. (B est l’élément absorbant de la réunion définie dans

Remarque : Propriété mixte

Thème d’étude : Soient E, F et G des ensembles quelconques. Alors on a :

I.4.3. Partie complémentaire d’un ensemble

Une partition d’un ensemble E est un ensemble de parties E1 , E 2 , E3 , ..., E n de E vérifiant

I.4.5. Différence de deux ensembles

Soient A et B des ensembles. On appelle différence de A et B, et on note A \ B ou A  B,