群構造の分類における同型性の役割