induced representationのちゃんとした議論をちょっと理解したけど、物理のお気持ち数学とは結構違うな