表示论
同 "G" 和 "K" 的表示论相关的变换是从 "G" 到 "K" 的限制表示，以及从 "K" 到 "G" 的诱导表示，这些是很好理解的；它们的理论包含球函数。