有限群表示论

✍ dations ◷ 2025-11-29 08:47:46 #群表示论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 加富尔号航空母舰加富尔号航空母舰(意大利语:Cavour;舷号:CVH550)是意大利21世纪的第一艘新航母。本舰于2001年开工建造、2004年在热那亚下水,2008年服役,造价约17500亿里拉,其中1400亿里拉用于后勤
  • 伏尔加河伏尔加河(俄语:Волга,又译窝瓦河),位于俄罗斯西南部,全长3,692公里,是欧洲最长的河流,也是世界最长的内流河,流入里海。伏尔加河是欧洲流域最广以及流量最大的河流,流经欧洲俄罗
  • 戴维·朱利叶斯戴维·朱利叶斯(英语:David J. Julius,1955年11月4日-),美国生理学家。他是加利福尼亚大学旧金山分校教授,曾获邵逸夫生命科学及医学奖。朱利叶斯是纽约布里顿海滩人,1977年在麻省理
  • 潘长江潘长江(1957年7月1日-),出生于黑龙江省牡丹江市东宁县,辽宁省铁岭县评剧团出身,著名电影演员、电视演员、小品演员、歌手和主持人。1979年,潘长江认识了东宁县政府机关公务员杨云,19
  • 冈多科罗冈多科罗(Gondokoro)是南苏丹一个城市,邻近首都朱巴,是南苏丹和其北邻苏丹两国的贸易重镇。位于白尼罗河东岸,喀土穆以南1,200千米(750英里)。其重要性在于距离冈多科罗位于尼罗
  • F·莫里·亚伯拉罕F·莫里·亚伯拉罕(英语:F. Murray Abraham,1939年10月24日-),美国男演员,凭借1984年音乐传记电影《莫扎特传》获奥斯卡最佳男主角奖,该片由米洛斯·福曼执导,描述音乐神童沃尔夫冈·
  • 罗马民选官民选官(古典拉丁语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Al
  • 董超 (1915年)董超(1915年-),男,山东新泰人,中华人民共和国军事人物,中国人民解放军少将,第五届全国人大代表。
  • 梁竹潭梁竹潭(越南语:Lương Trúc Đàm/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H
  • 宗室成朗成朗(1790年-1844年),字明斋,号润芳,镶蓝旗宗室。嘉庆二十一年丙子科举人,二十五年庚辰科进士。道光十年十一月授礼部主事,十三年授刑部广西司员外郎,二十年三月授御史,二十三年正月授