Probl`emes de Math´ematiques
Deux structures alg´ebriques
´Enonc´e
Deux structures alg´ebriques
Le probl`eme est constitu´e de deux parties ind´ependantes.
Partie 1
Soit (E, ≤) un ensemble ordonn´e, muni d’une loi de composition ∗ telle que :
∀ x, a, b ∈ E,
(cid:26) (x ≤ a et x ≤ b) ⇒ x ≤ a ∗ b
a ∗ b ≤ a et a ∗ b ≤ b
1. Montrer que la loi ∗ est commutative, associative, et que : ∀ a ∈ E, a ∗ a = a.
2. Montrer qu’un ´el´ement a est neutre pour ∗ si et seulement s’il est maximum pour ≤.
3. (E, ∗) peut-il ˆetre un groupe ?
Publicité
4. Dans le cas g´en´eral, si le neutre de E existe, quels sont les ´el´ements inversibles de E ?
5. Donner un exemple de la situation d´ecrite dans l’´enonc´e :
(a) ou max(E) existe et ou E n’est pas r´eduit `a un singleton.
(b) o`u max(E) n’existe pas.
Partie 2
Soit E un ensemble non vide muni d’une loi T v´erifiant :
∀ a, b, c ∈ E,
a T a = b T b
(a T c) T (b T c) = a T b
a T (a T b) = b
Publicité
(1)
(2)
(3)
Pour simplifier l’´ecriture, on notera e l’´el´ement de E d´efini par : ∀ a ∈ E, a T a = e.
On d´efinit ensuite une loi ∗ en posant : ∀ a, b ∈ E, a ∗ b = a T (e T b).
1. Montrer que e est neutre pour la loi ∗.
2. Montrer que tout ´el´ement a de E poss`ede un sym´etrique a0 pour la loi ∗.
3. Montrer successivment que, pour tous a, b, c de E :
(a) (a T b)0 = b T a
(b) a T (b T c) = (a T b) T c0
(c) (a T b) T c = a T (b T c0)
(d) (a T b)0 = a0 T b0
(e) a ∗ b = a T b0.
Publicité
4. En d´eduire que la loi ∗ est associative et commutative. Conclusion ?
c(cid:13)EduKlub S.A.
Page 1
Tous droits de l’auteur des œuvres r´eserv´es. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et priv´ee sont interdites.
www.klubprepa.net
Jean-Michel Ferrard
Probl`emes de Math´ematiques
Deux structures alg´ebriques
´Enonc´e
5. Montrer que, dans ZZ ou IR, on d´efinit ainsi l’addition `a partir de la soustraction !
6. On remplace la condition (3) par (a T (b2 T b)) T b = a :
(a) Montrer que (E, ∗) est un groupe.
Publicité
(b) En choisissant pour E l’ensemble des permutations d’un ensemble X et en d´efinissant
la loi T par f T g = f ◦ g−1, montrer que (E, ∗) peut ne pas ˆetre ab´elien.
7. On remplace la condition (3) par a T b2 = a.
(a) Montrer que (E, ∗) est un groupe, non n´ecessairement ab´elien (exemple ?).
(b) Si on remplace de plus (2) par (a T b) T (a T c) = c T b, montrer que (E, ∗) est ab´elien.
c(cid:13)EduKlub S.A.
Page 2
Tous droits de l’auteur des œuvres r´eserv´es. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et priv´ee sont interdites.
www.klubprepa.net
Jean-Michel Ferrard