バーンサイドの定理
G 上の任意の有理整数値類関数 u に対し、群環の一般論より
は有理整数環 Z 上整であり、特に g の共役類上で1、それ以外で0をとるような類関数 u を選んだときの
は代数的整数である。