有限群表示论

✍ dations ◷ 2025-12-05 23:54:05 #群表示论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 胡贝尔罗伯特·胡贝尔(英语:Robert Huber,1937年2月20日-)生于慕尼黑,德国化学家,1988年诺贝尔化学奖得主。1901年:范托夫 | 1902年:费歇尔 | 1903年:阿伦尼乌斯 | 1904年:拉姆齐 | 1905年:拜
  • 布卢姆茨伯里坐标:51°31′34″N 0°07′04″W / 51.5262°N 0.1178°W / 51.5262; -0.1178布卢姆茨伯里(Bloomsbury),是伦敦市区内的一个地区,行政上属于卡姆登区的管辖范围,位在内伦敦的西北
  • 耶稣之地地图耶稣之地地图(Jesusland map)是2004年美国总统大选之后出现在网络上的一个讽刺地图,形容美国红州与蓝州之间巨大的政治鸿沟。在耶稣之地地图中,美国的蓝州部分和加拿大合并成为
  • Step by Step《Step by Step》是韩国男子团体东方神起在日本发行的第9张单曲。于2007年1月24日由rhythm zone公司发行。单曲分为“CD+DVD 初回限定盘”“CD ONLY 通常盘”两种版本发行。
  • 林煇焜林煇焜(1902年─1959年),台北淡水(今新北市淡水区)人,曾任淡水信用合作社专务理事、台北市政府机要秘书,著有台湾最早的新闻连载小说《争へぬ运命》(命运难违)。林煇焜出生自淡水望族
  • 中国科学院古脊椎动物与古人类研究所中国科学院古脊椎动物与古人类研究所(简称中科院古脊椎所),中国科学院直属研究单位之一,最早前身为1929年4月于北京成立的地质调查所新生代研究室,其后几经改隶改名,于1960年改称
  • 鹧鸪麻属鹧鸪麻属(学名:)是梧桐科下的一个属,为乔木植物。该属仅有鹧鸪麻()一种,分布于东非和热带亚洲。
  • 连姆·艾肯连姆·艾肯(Liam Aiken,1990年1月7日-)是一名曾在多部影片担任过主角的美国演员。其比较有名的作品有《外星神犬》,和《雷蒙·斯尼奇的不幸历险》。连姆·艾肯出生在纽约的曼哈顿
  • 异步电路异步电路的逻辑是循序逻辑的普遍本质,但是由于它的弹性关系,他也是设计上困难度最高的。最基本的储存元件是锁存器。锁存器可以在任何时间改变它的状态,依照其他的锁存器信号的
  • 江市站江市站是位于湖南洪江市江市镇的一个铁路车站,邮政编码418115。车站建于1978年,有焦柳铁路经过该站,现仅办理货运业务,不办理客运业务。车站距离月山站1260公里,隶属广铁集团,是四