群の表現
T を群 G の代数的閉体上における有限次元既約表現とすると、すべての T(g) と可換な変換は恒等変換の定数倍に限られる。
また適当な相似変換によってブロック対角型になる(簡約できる)表現を直可約表現、直可約でない表現を直既約表現という。
有限群の同値でない複素数体上の有限次元既約表現の数は、群の共役類の数と等しい。