Axiomes réduits de la structure de groupe
Olympiades mathématiques, énigmes et défis
-
tournesol
- Membre Irrationnel
- Messages: 1509
- Enregistré le: 01 Mar 2019, 19:31
-
par tournesol » 13 Fév 2022, 21:38
Bonjour à tous
Soit E non vide muni d'une LDCI que l'on notera multiplicativement
Montrer que (E,loi) est un groupe ssi
x,y,z
E (xy)z=x(yz) et
t
E xty=z
-
catamat
- Membre Irrationnel
- Messages: 1179
- Enregistré le: 07 Mar 2021, 11:40
-
par catamat » 14 Fév 2022, 16:40
Bonjour
Intéressant!
Je me lance pour l'élément neutre...
Soit y élément de E, il existe T élément de E tel que yTy=y
donc yTyT = yT
Notons e cet élément yT qui vérifie ee=e
Soit x un élément de E, il existe t élément de E tel que xte=x
donc xtee=xe
ou xte=xe puisque ee=e
or xte=x
donc x=xe
De même il existe u élément de E tel que eux=x
donc eeux=ex
ou eux = ex
et donc x=ex
On a pour tout élément x de E, ex=xe=x, e est élément neutre pour cette loi
-
tournesol
- Membre Irrationnel
- Messages: 1509
- Enregistré le: 01 Mar 2019, 19:31
-
par tournesol » 14 Fév 2022, 18:00
Bien vu catamat
Que peux tu alors dire de y ?
-
GaBuZoMeu
- Habitué(e)
- Messages: 6023
- Enregistré le: 05 Mai 2019, 10:07
-
par GaBuZoMeu » 14 Fév 2022, 19:08
Bonjour,
Quel y ?
Une fois qu'on a un élément neutre e, c'est quasiment fini : chaque élément x a un inverse à droite t (tel que xte=e) et un inverse à gauche u (tel que eux=e) et u=u(xt)=(ux)t=t.
-
tournesol
- Membre Irrationnel
- Messages: 1509
- Enregistré le: 01 Mar 2019, 19:31
-
par tournesol » 14 Fév 2022, 19:58
Bonsoir ,
catamat écrit yT=e donc y est inversible à droite.
Mais TyTy=Tey=Ty
Donc Ty=e' vérifie e'e'=e' et on a déjà montré qu'une telle propriété impliquait la neutralité de e' et comme un neutre c'est unique , CQFD
-
catamat
- Membre Irrationnel
- Messages: 1179
- Enregistré le: 07 Mar 2021, 11:40
-
par catamat » 14 Fév 2022, 22:42
Merci Tournesol, je ne connaissais pas du tout ou alors j'ai oublié
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 5 invités