15.9. Η φ είναι ομομορφισμός:

         φ(xy) = axya^-1 = ax(a^-1a)ya^-1 = (axa^-1)(aya^-1) = φ(x)φ(y).

         Η φ είναι 1-1: 

         φ(x) = axa^-1 = e x = a^-1a = e Kerφ = {e} (θεώρημα 15.3.) φ 1-1.

         Η φ είναι επί: 

         Εστω y G. Τότε x = a^-1ya G, και y = φ(x).

Επιστροφή

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