對於偶數階有限群 G 的絕對不可約特徵 χ,如果 χ 的指標為 +,則存在唯一的平方類 disc(χ) ∈ K×/(K×)2,使得對於 K 的任何擴張域 L 和任何賦予特徵 χ 的 LG 模 V,V 上所有非退化 G 不變二次型 Q 的判別式均為 disc(Q) = disc(χ)(L×)2。
如果 χ 的指標為 o,則特徵域 L = Q(χ) 是一個複數域。令 K := L+ 表示 L 的最大實子域,並令 N := NL/K(L×) 為 K× 的範數子域。如果存在賦予特徵 χ 的 G 的 L 表示 V,則存在由某個全正定埃爾米特型(比如 H)生成的 G 不變 L/K 埃爾米特型的一維 K 空間。特別是,所有非零 G 不變 L/K 埃爾米特型都具有相同的判別式 disc(H)。