既約ユニタリ表現は「許容的(admissible)」である必要があり（ハリッシュ・チャンドラ加群（英語版）(Harish-Chandramodule)のように）、容易に許容表現が非退化な不変半双線型形式を持つことを示すことができるが、いつこの形式が正定値となるかを決定することが困難である。
虽然不可约酉表示必须是“可容许表示”（例如钱德拉模），并且要检测出可容许表示是否具有非退化的不变半双线性形式是比较容易的，然而要判断这个形式是否正定却非常困难。