更新时间:2022-08-26 11:49
射影表示是与相应射影线性群密切相关的一种表示。
设G为一个群,K为域,n为正整数。把K上n维线性空间V的全线性群记作GL(V)。G 到GL(V)的映射P称为G 的具有因子集a的射影表示,如果对所有的g1,g2,∈ G,均有
这里 a 为积集合G × G到乘法群Kˣ的映射。G的射影表示P称为不可约的,如果V中没有非平凡子空间W,使W在一切P(g),g ∈ G下不变。
设GL(V1),GL(V2) 分别是K上线性空间V1,V2的全线性群。P1和P2分别是G到GL(V1)内的,和到GL(V2) 内的射影表示。说P1,P2是等价的,如果有V1到V2的同构映射T使对一切 g ∈ G,
成立,这里c为G到Kˣ的映射。
当K为特征0的代数封闭域时,有限群G的不可约射影表示的次数为G的阶的因子。
为了了解一个群的构造,我们常常研究它到某个具体的群内的同态。我们将这种同态称为表示。最常见的具体的群有矩阵群(即矩阵组成的群)和置换群,所以常见的表示就是矩阵表示和置换表示。在矩阵表示的情况下,人们自然地把矩阵当成线性变换来看待,从而可以使用线性代数的丰富成果以得到深入的结论。