6.7. Χρησιμοποιώντας την προσεταιριστικότητα της _*,

       (a _* b) _* (b΄ _* a΄) = (a _* (b _* b΄)) _* a΄ = (a _* e)) _* a΄ = a _* a΄ = e.

       Oμοίως, (b΄ _* a΄) _* (a _* b) = (b΄ _* (a΄ _* a)) _* b = b΄ _* b = e.

       Tώρα λόγω μοναδικότητας του αντιστρόφου, (a _* b)΄ = b΄ _* a΄.

Επιστροφή

Επιστροφή στα Περιεχόμενα