有限群表示论

✍ dations ◷ 2025-06-19 07:36:01 #群表示论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 乍得沙赫人乍得沙赫人(Sahelanthropus tchadensis),又名乍得人猿,是一种只有化石的猿,相信是生存于700万年前(7Ma)。它被称为最古老的人属祖先,是人类及黑猩猩的最近共同祖先。它是属于中新
  • 吉尔吉斯斯坦索姆索姆(吉尔吉斯语:сом,拉丁化:som,ISO代码:KGS)是吉尔吉斯共和国的法定货币。1索姆可分为100泰因(тыйын,拉丁化:tyiyn,或译为“提因”)。1993年5月,吉尔吉斯斯坦决定退出卢布区,并
  • 北方美国北方陆军(英语:United States Army North,ARNORTH),原美国第五集团军(英语:Fifth United States Army),这是美国陆军的陆军服务组成司令部,美国北方司令部的组成部分。任务是进行
  • 王家梁王家梁(英语名:Edison Wang,1987年9月11日-),台湾男演员。王家梁曾就读台北市立大安国民中学,并参加该校的篮球校队。并在19岁时与美国海军陆战队的表哥一起健身。出道后,于2015年出
  • 古文 (消歧义)古文可能指:
  • 劳里斯 (南卡罗来纳州)劳里斯(英文:Lowrys),是美国南卡罗来纳州下属的一座城市。城市类型是“Town”。其面积大约为3.16平方英里(8.19平方公里)。根据2010年美国人口普查,该市有人口200人,人口密度约为每
  • 计量单位统一代码计量单位统一代码(英文:Unified Code for Units of Measure,缩写:UCUM)是一个用于向人和机器明确无歧地表示计量单位的代码系统。此代码集(code set)之中收录着ISO 1000、ISO 2955-
  • 岑可法岑可法(1935年1月出生),广东南海人。工程热物理专家,浙江大学机械与能源工程学院教授。1952年毕业原中山大学附属中学(现广东实验中学)。1952年考入武汉大学工学院电机系,1953年院
  • 方有臣方有臣(1915年-1990年),万县大兴乡金狮村人,雇农家庭出身。1934年4月在四川天全县兴隆场参加红军,编入红第四方面军第四军,参加了二万五千里长征。1936年加入中国共产党。抗日战争
  • 今井悠贵今井悠贵(,1998年12月20日-)是日本男演员、模特。出生于埼玉县,隶属于株式会社プロダクション尾木经纪公司。今井悠贵早年曾参与组合“CORICORI”,并因演唱歌曲《邮政王》而走红。