.

UNIVERSITÉ DES COMORES Année Universitaire 2023-2024

FACULTÉ DES SCIENCES ET TECHNIQUES
MENTION MATHÉMATIQUES Fiche n°4
MM1-S1

TD-Algèbre 1
Exercice 1 :
1. Soit R la relation binaire définie sur E = {0, 1, 2, 3, 4} par : xRy ⇐⇒ x + y est
divisible par 3.
(a) R est-elle réflexive ?
(b) R est-elle symétrique ?
(c) R est-elle antisymétrique ?
(d) R est-elle transitive ?
2. Une relation binaire R sur un ensemble E est dite circulaire si ∀ x, y, z ∈ E, on
a : (xRy) ∧ (yRz) =⇒ zRx. Montrer qu’une relation est réflexive et circulaire si et
seulement si elle est une relation d’équivalence.
Exercice 2 :
1. Dans C on définit la relation R par : zRz 0 ⇐⇒ |z| = |z 0 |
(a) Montrer que R est une relation d’équivalence.
(b) Déterminer la classe d’équivalence de chaque z ∈ C.
2. Soit R la relation définie sur R par : xRy ⇐⇒ xey = yex .
(a) Montrer que R est une relation d’équivalence.
(b) Préciser, pour x fixé dans R, le nombre d’éléments de la classe de x modulo R.
Exercice 4 : Soit R la relation définie sur Z × Z∗ par : (x, y)R(x0 , y 0 ) ⇐⇒ xy 0 = x0 y.
1. Montrer que R est une relation d’équivalence.
2. Pour tout (x, y) ∈ Z × Z∗ , déterminer (x, y), puis calculer (0, 1) et (6, 2)
3. Montrer que (Z × Z∗ )/R est en bijection avec Q.
Exercice 4 : On dit qu’une relation binaire sur un ensemble E est une relation de pré-
ordre si elle est réflexive et transitive. Soit P une relation binaire de pré-ordre sur E. On
considère la relation binaire R définie sur E par : xRy ⇐⇒ (xPy et yPx).
1. Montrer que R est une relation d’équivalence.
2. Montrer que l’on peut définir sur l’ensemble quotient E/R une relation binaire S
par : x S y ⇐⇒ xPy.
3. Montrer que S est une relation d’ordre sur E/R .
4. On considère le cas E = R2 et la relation P définie par : (x1 , x2 )P(y1 , y2 ) ⇐⇒ x1 6 y1 .
(a) Montrer que P est une relation de pré-ordre sur E et étudier la relation d’ordre
associée.
(b) L’ordre est-il total ou partiel ?