Exercices corrigés
Exercice 1.
Soit {E} un ensemble muni d’une loi {\star} associative et commutative.
On suppose de plus que pour tout {x} de {E}, {x\star x=x}.
- Donner des exemples d’une telle situation.
- Montrer que {x{\mathcal R}y\Leftrightarrow x\star y=y} définit une relation d’ordre.
- Montrer alors que : {\forall(x,y)\in E^2,\;\sup\{x,y\}=x\star y}.
|
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Exercice 2.
Soit {(E,\le)} muni d’une loi {\star} telle que : {\begin{array}{l}\forall\, (a,b,x)\in E^{\,3},\\\begin{cases}a\star b\le a,\quad a\star b\le b\\(x\le a)\text{\ et\ }(x\le b)\Rightarrow x\le a\star b\end{cases}\end{array}}
-
Montrer que la loi {\star} est commutative.
- Prouver que pour tout {a} de {E}, {a\star a=a}.
- Vérifier que :{\begin{cases}a\le b\Rightarrow a\star c\le b\star c\\(a\le b)\text{\ et\ }(c\le d)\Rightarrow a\star c\le b\star d\end{cases}}
- Montrer que la loi {\star} est associative.
|
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Exercice 3.
Soit {E} un ensemble muni d’une loi {\star} associative.
Pour tout {a} de {E}, on pose : {\forall x\in E,\;\begin{cases}d_a(x)=x\star a\\g_a(x)=a\star x\end{cases}}
- On suppose qu’il existe {a\in E} tel que {g_a,d_a} soient surjectives.
Montrer que {E} possède un neutre pour {\star}.
- On suppose que les applications {g_a} et {d_a} sont toujours surjectives.
Montrer alors que tout élément de {E} est inversible pour {\star}.
|
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Exercice 4.
Soit {E} un ensemble fini muni d’une loi produit associative.
Montrer que, pour tout {a\in E}, il existe {m\in\mathbb{N}} tel que l’élément {x=a^m} vérifie {x^2=x}. |
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :