1. On développe : Si et , alors et , donc , c'est-à-dire .
2. Commutativité. L'expression est symétrique en et .
Associativité. En appliquant deux fois l'identité de la question 1 : expression symétrique en , et . Donc .
Neutre. On a , et : le neutre est .
Symétrique. On cherche tel que , c'est-à-dire , soit : Ce réel appartient bien à : si l'on avait , il viendrait , ce qui est absurde.
3. Posons . C'est une bijection de sur , de réciproque , et la question 1 s'écrit :
C'est le même phénomène qu'à l'exercice 3, question 3, où l'addition de était déguisée par .