有限群表示论

✍ dations ◷ 2025-11-27 17:09:45 #群表示论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 京都大学坐标:35°1′34″N 135°46′51″E / 35.02611°N 135.78083°E / 35.02611; 135.78083京都大学(日语:京都大学/きょうとだいがく Kyouto daigaku;英语译名:Kyoto University),简称
  • 海带汤海带汤(谚文:미역국)是韩国菜中用海带烹制成的一种汤。用干燥的海带浸水10至20分钟使之回复原来大小,然后加入用麻油炒过的牛肉,再加入水、酱油及其他材料煮沸即成。另一种做法的
  • 黄叔璥黄叔璥(1682年-1758年),字玉圃,号笃斋,顺天府大兴县人(今属北京),清朝政治人物,康熙己丑进士。为首任巡台御史。其所著之《台海使槎录》、《南征纪程》等书对于闽南、台湾文化的研究具
  • 弗洛勒斯岛弗洛勒斯或花岛(葡萄牙语:Flores,“花”的意思)是印尼小巽他群岛中的一个岛屿,人口约150万, 最大城市是毛梅里。弗洛勒斯位于松巴哇岛和科莫多岛以东,阿洛群岛以西;其东南方则是帝汶
  • 北达科他州立大学北达科塔州立大学是美国北达科塔州的一所公立大学,正式名称是北达科塔州立农业与实用科学大学(North Dakota State University of Agriculture and Applied Sciences),1890年设
  • 奥历山大·津琴科奥历山大·禾洛迪米洛域克·津琴科(乌克兰语:Олександр Володимирович Зінченко,Oleksandr Volodymyrovych Zinchenko;1996年12月15日-),是一名乌克
  • 莎伦·安布罗斯莎伦·帕特里夏·安布罗斯(英语:Sharon Patricia Ambrose;旧姓康奈利(英语:Connelly);1939年9月9日-2017年4月1日),是美国的民主党政治人物,前哥伦比亚特区议会(英语:Council of the Dist
  • 路易·里尔路易·大卫·里尔(法语:Louis David Riel,1844年10月22日-1885年11月16日),是加拿大历史上的一位著名政治家,曼尼托巴省的建立者,加拿大草原三省梅蒂人的精神领袖。他曾两次领导反抗
  • 丰盛额丰盛额(满语:ᡶᡝᠩᡧᡝᠩᡤᡝ,穆麟德:),清朝大臣,军机大臣,满洲镶黄旗人。丰盛额被封为一等英诚公,雍正十三年(1735年),丰盛额担任都统。命他办理军机事务。乾隆帝即位后,裁撤军机处,回到
  • 旭日干旭日干(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti