有限群表示论

✍ dations ◷ 2025-12-03 02:13:37 #群表示论

在数学里,表示理论是以线性变换的群来分析一般抽象群的一种技术。相关的介绍请见群表示,此条目则讨论含有有限个元素的群的表示理论。

此条目中的所有线性变换都是有限维的,且除了有另外提起外,都假定为复数。的表示是一个群同构 ρ: → GL(,C),由 至一般线性群 GL(,C) 的映射。因此,要选定一个表示,则只要将群内的每个元素配定一个方阵,其中方阵的相乘和群元素间的运算会是一样的。

若矩阵是实数的,则称 ρ 是 的一个实表示。换句话说, ρ() ⊂ GL(,R)。

表示 ρ: → GL(,C) 定义了 在向量空间 Cn 上的群作用,而且此一作用也可以完全决定 ρ 。因此,要选定一个表示,选定在表示的向量空间上的作用即已足够。

换言之,群 在复向量空间 上的作用可以推导出群代数 C 在向量空间 上的左作用,反之亦然。因此,表示会等价于左 C-模。

群代数 C是一个在复数上,以 作用的 || 维代数。(参见彼德-外尔定理中紧致群的例子。)而实际上, C是 × 的一个表示。更具体地来说,若 12 是 的元素,且 是 C 中相对应至 的 的一个元素,则

C 也可以以三种方式来做为 的表示:

这些都可以在 × 作用中被“找到”。

对许多的群而言,用矩阵来表示完全是一件很自然的事情。例如,一个二面体群 4 - 正方形的对称,即可以两个镜射矩阵的表示来产生:

这里, 是由 (,) 映射至 (− ,) 的镜射,而 则是由 (,) 映射至 (,) 的镜射。这些矩阵的相乘一共可以产生构成此群的八个矩阵。如上所述,可以以矩阵来表示,或者也可以以在二维向量空间 (,) 上的作用来表示。

此一表示是“真实的”-亦即,在矩阵和群的元素之间是一对一对应的,因为不存在在群作用下不变的 (,) 的子空间。

相关

  • 膝外翻膝外翻(英语:Genu valgum),又名X型腿,是指双腿伸直时膝关节形成一个角度使两膝相互接触。严重的外翻畸形通常使得双腿同时伸直的时候让两侧足部无法相互接触。外翻意味着膝关节的
  • 地磁赤道处的两倍在电磁学里,有两种偶极子(dipole):偶极子的性质可以用它的偶极矩描述。电偶极矩( p {\displaystyle \mathbf {p} }
  • 托尼·赫尔博肯海德的霍尔男爵托尼·威廉·霍尔, CBE(英语:Anthony William Hall,1951年3月3日-),早年工作在英国广播公司(BBC),1993年成为新闻部主管。从2001年起,霍尔在皇家歌剧院担任首席执行
  • 谬误列表谬误与谬论是不恰当的推理,一般而言谬误指不当的推理思路,而谬论指不当的推理言论,可能是说者有不当思路,或说者无不当思路,但意图使听者产生不当思路或其言论明显容易误导听者产
  • 失职行为失职行为(malpractice、渎职行为;不端行为;不正当行为;专业人员失职行为;公务员职权滥用罪)在侵权行为法中亦称专业过失(英语:Professional negligence in English law),即是"专业上的
  • 下诺夫哥罗德州下诺夫哥罗德州(俄语:Нижегородская область,罗马化:Nizhegorodskaya oblast)是俄罗斯联邦主体之一,属伏尔加联邦管区。面积为76,900平方公里,人口3,524,028(20
  • 小行星1085小行星1085(1085 Amaryllis)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1927年8月31日发现。小行星1085的轨道半长轴为3.1831309 UA,离心率为0.048。
  • 爨归王爨归王,唐朝爨氏豪酋。唐玄宗时爨归王为南宁州(今云南省曲靖市)都督。驻石城(今云南省曲靖市)。攻杀东爨盖聘、盖启父子。入据升麻川(今云南省寻甸县、嵩明县)。天宝初年,剑南节度使
  • 教宗亚加一世教宗圣亚加一世(拉丁语:Sanctus Agapetus PP. I;?-536年4月22日)原名不详,于535年5月13日至536年4月22日为教宗。
  • 圣马丁与乞丐《圣马丁与乞丐》(西班牙语:San Martín y el mendigo,英语:Saint Martin and the Beggar)是一幅西班牙矫饰主义画家艾尔·葛雷柯的绘画作品,约完成于1597至1599年间,现由美国华盛