正規化群
本はありません。