Jabarkan Definisi dari Subgrup karakteristik

Subgrup  dari grup  disebut subgrup karakteristik jika untuk setiap automorfisme  dari , menaruh rumus ; setelah itu rumusnya adalah .

Itu sama saja dengan membutuhkan kondisi yang lebih kuat  =  untuk automorfisme  of , karena  menyiratkan inklusi terbalik .