既約表現
群の元は行列として表現することができる。この文脈で「表現する」というのは特定の明確な意味を持つことに注意すべきである。群の表現は、群の元全体の成す集合から行列の成す一般線型群への写像のことを言う。記法として、G の元はラテン小文字 a, b, c, ... で表し、群の乗法は記号を省略して G の元 ab とは a と b との積のこととする。表現を D とするとき、群の元 a の表現行列は
D ( a ) = ( D ( a ) 11 D ( a ) 12 ⋯ D ( a ) 1 n D ( a ) 21 D ( a ) 22 ⋯ D ( a ) 2 n ⋮ ⋮ ⋱ ⋮ D ( a ) n 1 D ( a ) n 2 ⋯ D ( a ) n n ) {\displaystyle D(a)={\begin{pmatrix}D(a)_{11}&D(a)_{12}&\cdots &D(a)_{1n}\\D(a)_{21}&D(a)_{22}&\cdots &D(a)_{2n}\\\vdots &\vdots &\ddots &\vdots \\D(a)_{n1}&D(a)_{n2}&\cdots &D(a)_{nn}\\\end{pmatrix}}}