G bir grup olsun. G'nin bir a∈G elemanı tarafından bir transformasyonu aGa−1 = {aga−1 | g∈G } biçimindedir. Tabii ki eğer G'nin bir H altgrubu, G'de normalse, G'nin a tarafından transformasyonu altında invaryanttır. Yani aHa−1=H olur. Bu transformasyon altında invaryantlık aslında normal altgrubun tanımı olarak da verilebilir.
Yani, G'nin her inner otomorfizması, H⊲G normal altgrubunun genelde inner olmayan bir otomorfizmasını verir. Buraya kadar ortada bir soru yok. Soru şu : Bunun tersi mümkün mü? Yani,
G rastgele bir grup olsun. G'yi, G⊲G′ olacak şekilde öyle bir G′ grubuna gömebilir miyiz ki G'nin bütün otomorfizmaları aslında G′ grubunun bir transformasyonu( inner otomorfizması) olsun?