正交群表示

群的兩個表示 group 和 被稱為正交的，如果

對於 ，其中總和是對錶示的所有元素 求和。