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

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

Επιστροφή

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