Université Ibn Khaldoun – Tiaret Département de l’Informatique

Faculté des Mathématiques et de l’Informatique Module : Algèbre 01 (1ère Année LMD 2022-2023)

Fiche de TD n° 03

EXERCICE 01 :

Soit 𝑃∗ l’ensemble des nombres premiers strictement supérieurs à 2. Et soit ℛ la

"#$
relation définie sur 𝑃∗ par : ∀𝑝, 𝑞 ∈ 𝑃∗ : 𝑝ℛ𝑞 ⇔ ∈ 𝑃∗
%

- Étudier la réflexivité, la symétrie, l’antisymétrie et la transitivité de ℛ.

EXERCICE 02 :

Soit 𝕊 la relation définie sur ℝ par :

∀𝑥, 𝑦 ∈ ℝ: 𝑥𝕊𝑦 ⟺ 𝑥 − 𝑦 = 𝑥 % − 𝑦 % .
1) Montrer que 𝕊 est une relation d’équivalence.
&̇ ̇ .
2) Déterminer 0,̇ 6 7 , √2
%

EXERCICE 03 :

Soit 𝜓 la relation définie sur ]1, +∞[ par :

' (
∀𝑥, 𝑦 ∈ ]1, +∞[ ∶ 𝑥𝜓𝑦 ⟺ '! #& ≥ (! #&.

1) Montrer qu’il s’agit d’une relation d’ordre.

2) L’ordre est-il total ?

EXERCICE 04 :

Soit 𝕋 la relation définie sur ℤ% par :

∀(𝑎, 𝑏), (𝑐, 𝑑) ∈ ℤ% ∶ (𝑎, 𝑏)𝕋(𝑐, 𝑑 ) ⇔ (𝑎 𝑑𝑖𝑣𝑖𝑠𝑒 𝑐 𝑒𝑡 𝑏 ≤ 𝑑).
1. Est-ce- que 𝕋 est une relation antisymétrique ?
2. Montrer que 𝕋 est une relation d’ordre sur ℕ% . L’ordre est-il total ?

EXERCICE 05 : (supplémentaire).

Soit 𝐸 un ensemble muni d’une relation ℛ réflexive et transitive. On définit sur 𝐸

la relation 𝕊 par : ∀𝑥, 𝑦 ∈ 𝐸 ∶ 𝑥𝕊𝑦 ⟺ (𝑥ℛ𝑦 𝑒𝑡 𝑦ℛ𝑥).
- Montrer que 𝕊 est une relation d’équivalence.