有限群表示论

✍ dations ◷ 2025-11-28 05:01:17 #群表示论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 圣萨尔瓦多圣萨尔瓦多(西班牙语:San Salvador)简称萨京,是萨尔瓦多的首都及第一大城。最早中美洲的比比尔族(pipil)曾在今圣萨尔瓦多一带建立了首都Cuzcatlán,但后来被遗弃。其后在16世纪,西
  • 里耶镇里耶镇位于湖南省龙山县南部的酉水之滨。2002年6月在里耶镇发现了战国时期的古城、古井,并出土了36000余枚秦朝竹简(里耶秦简)。此古城是战国时楚国抵御秦兵的城堡。其中一枚写
  • 甲基氯化镁甲基氯化镁(英语:Methylmagnesium chloride)是化学式为CH3MgCl的有机金属化合物,是高度可燃及对湿气敏感的化合物,也是最简单的格氏试剂,可由化学材料行购得,多半会是四氢呋喃的溶
  • 粪锈伞科粪锈伞科(学名:Bolbitiaceae),也称粪伞科,是担子菌门伞菌目的一个科,于1948年由洛夫·辛格定义。截至2008年共有17个属,包含287个物种。本科物种的蕈伞表面具有由拟子实层型(hymenod
  • 大诺梅农山坐标:45°36′43″N 7°14′10″E / 45.612°N 7.236°E / 45.612; 7.236大诺梅农山(意大利语:Grand Nomenon),是意大利的山峰,位于该国西北部,由瓦莱达奥斯塔大区负责管辖,属于格拉
  • 安盟集团安盟集团(Groupama),也称安盟-甘集团,是总部位于法国巴黎的一家保险公司,成立于1986年。公司名Groupama是农业互助保险集团(法语:Groupe des Assurances Mutuelles Agricoles)的简写
  • 贝寿同贝寿同(1875年-1941年6月),字季眉(美),江苏吴县(今苏州)人,是中国近代最早的现代建筑师之一,为贝聿铭的叔祖。贝寿同出身苏州贝氏家族,为贝晋恩之弟贝澂的第4子,早年属庠生,曾就读于南洋公
  • 吴国麟吴国麟(?-?)为中国清朝武官官员,本籍福建。行伍出身的吴国麟于1799年(嘉庆4年)奉旨接替李共,于台湾地区担任台湾水师协副将。而隶属台湾镇之下的此官职是台湾清治时期的这阶段,全台湾
  • 邓之屏邓之屏(1534年-?年),字惟邦,四川重庆府巴县人,民籍,治《易经》,年二十六岁中式嘉靖三十八年己未科第二甲第七十三名进士。五月二十四日生,行四,曾祖邓林;祖邓大用;父邓合,知县;母郭氏;继母刘
  • 大阪府知事列表大阪府知事列表为日本大阪府历代知事(官选:35任33人/公选:16任7人)一览。粗体字当选1947年(昭和22年)4月5日 (投票率 : 59.93%)1951年(昭和26年)4月30日 (投票率 : 73.50%)1955年(昭和30