対称群の分類と応用