• Aucun résultat trouvé

RELATIONS D'ÉQUIVALENCE. ENFIN Zp

N/A
N/A
Protected

Academic year: 2022

Partager "RELATIONS D'ÉQUIVALENCE. ENFIN Zp"

Copied!
3
0
0

Texte intégral

(1)

RELATIONS D'ÉQUIVALENCE. ENFIN Zp !

ALEXANDRE GIROUARD

6. Relation d'équivalence

Soit E un ensemble. Un sous-ensemble R ⊂ E×E est appelé une relation d'équivalence s'il vérie les conditions suivantes :

(1) pour chaque a∈E,(a, a)∈R, (2) si(a, b)∈R alors (b, a)∈R,

(3) si(a, b)∈R et(b, c)∈R alors (a, c)∈R.

On notera aRb plutôt que (a, b) ∈ R. Diverses autres notations seront utilisées selon le contexte : a∼b, a∼=b, a≡b et même a =b.

Soit ∼ une relation d'équivalence sur un ensemble E. La classe d'équivalence de a∈E est le sous-ensemble

[a] ={b ∈E : a∼b}.

Une partition de E est une famille de sous-ensembles non-vides dis- joints de E dont l'union est E.

Proposition 6.1. Soit une relation d'équivalence sur un ensemble E. Les classes d'équivalence forment une partition de E.

Exercice 6.2. Montrez que pour chaque partition P d'un ensemble E, il existe une relation d'équivalence dont les classes sont les sous- ensembles de cette partition.

6.1. Quelques exemples.

Sur tout ensemble, l'égalité est une relation d'équivalence.

Sur Mn(R),

A∼B ⇔ ∃T ∈GL(n,R) :B =T AT−1

Soit E l'ensemble des polygones dans le planR2, la relation : A∼B ⇔ il existe ψ ∈Isom(R2) telle queψ(A) =B est une relation d'équivalence.

1

(2)

2 ALEXANDRE GIROUARD

Exercice 6.3. Soit E un ensemble. Est-ce que R = E ×E est une relation d'équivalence ? Si oui, quelles sont ses classes d'équivalence ? Exercice 6.4. Est-ce quea∼b ⇔a≤b est une relation d'équivalence sur R ? Si oui, quelles sont ses classes d'équivalence ?

Exercice 6.5. SoitDune droite du planR2 contenant l'origine. Mon- trez que la relation

a∼b ⇔a−b∈W

est une relation d'équivalence. Interpréter géométriquement les classes d'équivalence de cette relation.

7. Le groupe Zn

Soit n∈N. Rappelons que

nZ={nk : k∈Z}

est un sous-groupe deZ. On dénit sur Z la relation d'équivalence a∼b⇔a−b ∈nZ.

L'ensemble des classes d'équivalence de cette relation est noté Zn. Exercice 7.1. Montrez que

Zn ={[0],[1],[2],· · · ,[n−1]}.

Sur Zn on dénit une opération de la manière suivante:

[a] + [b] = [a+b].

L'opération sur les classes est dénie en utilisant des représentants des classes, il faut donc vérier que cette dénition ne dépend pas du choix des représentants. Si [a0] = [a] et [b0] = [b], on doit voir que [a0+b0] = [a+b]. Or, [a0] = [a] signiea ∼b. C'est-à-dire qu'il existe k ∈Ztel quea0 =a+nk. De même, il existe l∈Z tel queb0 =b+nl. On a donc

a0+b0 = (a+nk) + (b+nl) = a+b+n(k+l).

Ceci signie que a0+b0 ∼a+b.

Proposition 7.2. L'ensembleZn muni de l'opération[a] + [b] = [a+b]

est un groupe. Son élément neutre est [0]. Démonstration.

Puisque [0]∈Zn, cet ensemble n'est pas vide.

(3)

RELATIONS D'ÉQUIVALENCE. ENFIN Zp ! 3

Soit [a],[b],[c]∈Z. On utilise la dénition de l'opération : ([a] + [b]) + [c] = [a+b] +c

= [(a+b) +c] = [a+ (b+c)] par transitivité de l'addition dans Z

= [a] + [b+c]

= [a] + ([b] + [c]).

[0] + [a] = [0 +a] = [a] et [a] + [0] = [a+ 0] = [a].

[a] + [−a] = [a+ (−a)] = [0] et [−a] + [a] = [(−a) +a] = [0]. Ce groupe est abélien.

Exercice 7.3.

Quel est le sous-groupe de Z7 engendré par [4] ? Quel est le sous-groupe de Z8 engendré par [4] ? Quels sont tous les sous-groupes de Z7 ?

Quels sont tous les sous-groupes de Z8 ?

Exercice 7.4. Montrez que le groupe Z4 est isomorphe à un sous- groupe du groupe dihédral D4.

Exercice 7.5. Dressez la liste de tous les sous-groupes deS3. Certains de ces sous-groupes sont-t-ils isomorphes entre eux ?

Références

Documents relatifs

[r]

Comme tous les termes sont multiples de 11, pour minimiser la somme, le problème revient à composer 10 facteurs entiers distincts dont la somme soit minimale, en utilisant 2 fois la

Il ne peut y avoir 2 termes divisibles par 5 parmi ceux divisibles par 77, car la somme des quotient serait au moins égale à 1+2+3+5+7+10=28 (il y au plus deux termes

Une requête booléenne q du calcul relationnel est satisfiable s’il existe une base de données (finie) D telle que D j= q. Théorème

– Pour chacun des indicateurs formatifs (qui est un CI), nous devons poser différentes questions / utiliser. nous devons poser différentes questions / utiliser

Malgrange on peut éviter d’utiliser la résolution globale des singularités dans la démonstration du théorème 2.1.1. à condition d’utiliser le

[r]

Cette définition généralise la notion de langage régulier au sens du théorème de Kleene (cf. 1.1.3), c'est-à-dire engendré par une expression régulière. Notons que nous