$Teorem:$ $G,H$ iki grup olsun. Eğer $G$ , $H$'nin bir özalt grubuna izomorfsa ve $H$ de $G$'nin bir özalt grubuna izomorfsa $G \sim H$ olur.
$G \sim H$ ile ne kastediyorsun?
$G$ izomorftur $H$
Yanlış. $G=\prod_{i=0}^ {\infty} S_3$ ve $H=A_3 \times \prod_{i=1}^ {\infty} S_3$ olsun. $H$ grubu $G$'nin içine birim fonksiyon ile $G$ grubu $H$'nin içine (ilk koordinatı birim eleman yapan) sağa kaydırma fonksiyonu ile gömülüyor ama bu gruplar izomorfik değil.