n elemanlı bir kümeden kendine giden n! eşleme vardır. Bu eşlemeler bileşke işlemi altında bir grup oluşturur. n elemanlı bir kümenin permütasyonlarından oluşan bu gruba n. simetrik grup denir ve Sym(n) olarak gösterilir.
Her sonlu grubun, bir n doğal sayısı için Sym(n)’in bir altgrubuna izomorf olduğunu gösteriniz.