類関数
可換体 K に対し、群 G は(G から K への写像全体の成す)配置集合 K に
s.f: t ↦ f(sts)
で、自然に作用する。G 上の K-値類函数はこの表現の不動点であり、従ってその全体はベクトル空間 K の部分線型空間を成す。
G 上の K-値類函数の成すベクトル空間は、G の共軛類全体の成す集合を C とすれば、K に自然に同型である。