Soit un magma unifère doté de élément neutre . Montrez que est unique.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
On suppose que est un autre élément neutre. En particulier, cela signifie que, pour :
Mais comme est un élément neutre, par définition, pour :
Donc on peut conclure que .
