群論の核心的研究対象(対称変換と代数系)