0 Jika () adalah himpunan semua automorfisma dari , dimana

= : , maka () subgrup dari

Bukti

(i) Akan ditunjukkan () tertutup terhadap operasi (komposisi) pada

Ambil sebarang , di () dan
Diperoleh
= 1
= 1 1
= 1 1
= 1
=
= untuk setiap
Sehingga ()
Karena , di () berlaku () maka () tertutup terhadap
operasi (komposisi) pada
 0 Jika () adalah himpunan semua automorfisma dari , dimana
= : , maka () subgrup dari

Bukti (lanjutan)
1
(ii) Akan ditunjukkan () memuat elemen invers yaitu () , ()
Ambil sebarang
Karena G grup maka , 1
1
Sehingga = 1 ()
1
Karena () , () maka () memuat elemen invers

Berdasarkan Lemma (hal. 39) jika (i), (ii) dipenuhi maka subgrup dari

Catatan
() disebut grup automorfisma dalam dari
 0 Misalkan : () pemetaan dengan = 1
Maka
1) adalah homomorfisma dengan Ker =
2) () /
Bukti
1) Akan ditunjukkan adalah homomorfisma Akan ditunjukkan Ker =
Ambil sebarang , di diperoleh = 1 Ker = = I, I identitas di ()
Ambil sebarang , maka = 1 = I
1 1 1
1 = = 1 = I ,
= 1 1 = 1 1
1 = ,
= 1 1
1 1 = 1 = ,
= = ,
= 1 1
=
= 1 1 1
1
= 1 1
= 1 1
Sehingga = 1 = 1 1 =
Karena , di berlaku = maka
homomorfisma
 0 Misalkan : () pemetaan dengan = 1
Maka
1) adalah homomorfisma dengan Ker =
2) () /
Bukti
2) Akan ditunjukkan () /
Berdasarkan Teorema (hal. 57) untuk menunjukkan () / maka perlu
ditunjukkan adalah homomorfisma dengan Ker = (sudah dibuktikan)
dan pemetaan pada.
Akan ditunjukkan pemetaan pada yaitu di , 1 1 =
Ambil sebarang di ()
Diperoleh
1 = 1 1
=
Karena di , 1 1 = maka pemetaan pada.

: () pemetaan pada, homomorfisma dengan Ker = maka

berdasarkan Teorema (hal. 57), () /
Lemma
Misalkan grup dan : automorfisma
Jika dan = , maka =

Bukti
Karena automorfisma maka berlaku
= 1 , untuk setiap
= 1
=
=
Sehinga = =

Contoh
Misalkan 4 , + grup dan 4 4 automorfisma
4 = 0 , 1 , 2 , 3

+ 0 1 2 3 Diperoleh
0 0 1 2 3 0 4 dan 0 = 1 , maka 0 = 0 sehingga 0 = 0 =1
1 1 2 3 4 1 4 dan 1 = 4, maka 1 = 1 sehingga 1 = 1 =4
2 2 3 4 5 2 4 dan 2 = 2 , maka 2 = 2 sehingga 2 = 2 =2
3 3 4 5 0 3 4 dan 3 = 4, maka 3 = 3 sehingga 3 = 3 =4