離散群
本はありません。