変換群の分類とその性質