補題
G を有限アーベル群とする。
n を G の位数とする。
C^* を複素数体の乗法群とする。
x ≠ 1 を G の任意の元とする。
このとき f ∈ Hom(G, C^*) で f(x) ≠ 1 となるものがある。

証明
>>84より明らかである。