6.3.6. Από την 6.3.4. το e είναι ταυτοτικό στοιχείο, και από την 6.3.5. το a΄ είναι

          αντίστροφο του a. Αφού η * είναι προσεταιριστική, η G είναι ομάδα.

 

Επιστροφή

 

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