Je suis un mathématicien amateur mais en plus je suis vieux.
Cela m'arrive donc assez fréquemment mais c'est la première fois dans ce chapitre 5.
En plus je ressent un certain malaise en lisant la correction que je ne comprends pas.
Il y a peut-être un problèmes nécessitant une correction.
C'est pour cela que j'espère que l'on me reprochera pas d'avoir publié une copie de quelques pages du livre.
je suppose qu'on me demande (au moins) de démontrer que quelque soi x,y de E et une opération quelconque * sur E:
x*(x*y)=(y*x)*x=y
implique
* est commutative.
Pour essayer de contourner la difficulté j'utilise la contraposée:
il existe x,y de E et une opération * sur E tels que :
x*y différent de y*x
implique
x*(x*y) différent de (y*x)*x ou ou (y*x)*x différent de y
mais encore car on a aucune garantie que * permette x*t=u*x même si t différent de u
puisqu'on sait seulement que * est non commutative.
il existe * sur E ,x et y de E , x*y=t et y*x=u et t différent de u, x*t différent de u*x
implique
x*(x*y)= x*t différent de (y*x)*x= u*x
donc :
quelque soit x et y de E, quelque soit * sur E:
* non commutative
implique
if est faut de dire x*(x*y)=(y*x)*x
CQFD
c'est aussi un peux désorientant mais à mon avis plus facile à vérifier.
Bien que la démonstration soit plus longue.