$A=S_k\times S_l$'yi doğal biçimde $S_{k+l}$'nin içine gömebiliyoruz. Peki $A$ grubu içinde, komponentlerinin işareti aynı olanların oluşturduğu altgrubun $S_{k+l}$ içindeki görüntüsü ilgiye mahsar bir altgrup mu?
Yani, görüntünün alternating grup ile kesişimi olmasından başka.