凯莱表

✍ dations ◷ 2024-12-23 10:05:20 #有限群,数学用表

凯莱表,以19世纪英国数学家阿瑟·凯莱命名,通过在正方形表格中排列一个群的所有元素的所有可能乘积来描述有限群的结构,这让人想起了加法或乘法表。群的很多性质,比如是否为阿贝尔群,哪个元素是哪个元素的逆元,和群的中心的大小和内容,都可以通过检查它的凯莱表来轻易得出。

凯莱表的一个简单例子是群 {1, -1} 在普通的乘法下的表格:

凯莱表是在凯莱 1854 年的论文《On The Theory of Groups, as depending on the symbolic equation θn = 1》中首次提出的。在这个论文中,它们被简单的称为表格并只被用做展示,后来为了纪念其创造者而叫做了凯莱表。

因为很多凯莱表描述不是阿贝尔群的群,对于所有这个群中的 和 ,关于群的二元运算的乘积 不保证等于 的乘积。为了避免混淆,约定了在表格的每一行中所有格内的第一个因子(凯莱的术语为“近因子”)都是相同的,而在每一列中所有格内的第二个因子(“远因子”)是相同的,比如下面的例子:

凯莱最初设置的表格把单位元放在首位,排除了上表中对对单独的行与列表头的需要。例如,它们不出现在下列表格中:

在这个循环群 Z3 的例子中, 是单位元,因此出现表格的左上角。容易看出 2 = 和 = 。尽管如此,多数现代课本和本文都为了明确性而包含了行与列的表头。

凯莱表告诉我们一个群是否为阿贝尔群。因为阿贝尔群的群运算是符合交换律的,阿贝尔群的凯莱表是沿着对角线对称的。上述的 3 阶的循环群和 {1, -1} 在普通乘法下的群都是阿贝尔群,可以通过检查其凯莱表的对称性来验证。作为对照,最小的非阿贝尔群 6阶二面体群没有对称的凯莱表。

因为结合律被作为了群的公理,在处理群的凯莱表的时候它总是可以保证。但是凯莱表还可以用来刻画拟群的运算,它不把结合律假定为公理(实际上,凯莱表可以用来刻画任何有限原群的运算)。不幸的是,一般不可能象交换律那样通过简单查看凯莱表来确定一个运算是否符合结合律。这是因为结合律依赖于 3 项等式 ( a b ) c = a ( b c ) {\displaystyle (ab)c=a(bc)} , 和 都是群的元素,而 和 是不同的。接着有一行表示元素 ,对应于 的列包含乘积 ,类似的对应于 的列包含乘积 。如果这两个乘积相等,就是说我们假设的行 包含相同的元素两次,则 将等于 。但是因为消除律成立,我们可以得出结论出如果 = ,则 = 。导致了矛盾。所以我们的假设不正确,行不能包含相同的元素。完全同样的证明足以证明列的情况,所以我们推出结论每行与列都不包含一个元素多于一次。因为群是有限的,鸽笼原理保证群的每个元素在每行与列中精确的出现一次。因此,凯莱表是拉丁方阵的例子。

由于群的结构,你可能要经常填充缺少元素的凯莱表,甚至对所考虑的群运算都没有完整的刻画。例如,由于每行与列必须包含这个群中的所有元素,如果所有元素都要放入其中一次,而只有一个空位,在不知道关于群的任何其他事情的时候,未被放置的那个元素必定占据这个空位。关于群的这个和其他观察一般允许我你们对所考虑的群知之甚少就能构造出这些群的凯莱表。

因为在任何群中,即使在非阿贝尔群中,所有元素都是与它自己的逆元可交换的,这可以得出单位元在凯莱表中针对表的对角线对称分布。正好处在对角线上的单位元表示对应的元素是自身的逆元。

由于凯莱表的行与列的次序实际上是任意的,如下排序方式是很方便的: 开始于群的单位元,它总是自身的逆元,首先列出是自身的逆元的所有元素,随后相互毗连的列出互逆元素对。

接着对于特定次序下的有限群,很容易刻画出它的“单位元架构”,这么命名是因为单位元在凯莱表中沿主对角线聚集,要么直接在其上,要么错开一个位置。

证明有不同的单位元构架的群不能同构是相对平凡的,但逆命题不成立(比如,循环群 和四元群 不同构但有相同的单位元构架)。

考虑带有元素 , , , , 和 的 6 元素的群。按惯例, 是群的单位元。因为单位元总是自身的逆元,而逆元是唯一的,群中有 6 个元素的事实意味着至少有一个非 元素必须是自身的逆元。所以有下列可能的构架:

在我们的特定例子中,不存在第一种类型的 6 阶群,实际上,简单的因为特定的单位元构架可以被构想出来,但不一般性的意味着存在对应的群。值得注意(可平凡证明)所有元素都是自身逆元的任何群都是阿贝尔群。

一旦特定的单位元构架确定,就有可能开始填充出凯莱表。例如,选取上述第二种类型的 6 阶群的单位元构架:

明显的, 行与 列可以立即填充。完成后,可能需要(在这里是必须的)做一个假定,它可能在后来导致一个矛盾,简单的意味着最初的假定是错的。我们假定 = 。那么:

左乘 于 = 得到 = 。再右乘 得到 = 。右乘 于 = 得到 = 。左乘 于 = 得到 = ,再右乘 得到 = 。在填充这些乘积入表格之后,我们发现 和 在 行中仍未触及;因为我们知道群的每个元素必须在每行中精确的出现一次,只有 和 还未处理,我们知道 必须等于 或 ;但是它不能等于 ,因为如果这样将蕴含 等于 ,而它们是不同的。因此我们有了 = 和 = 。

进一步的,因为 的逆元是 ,右乘 于 = 得出 = 2。再左乘 得出 = 。再右乘 得出 = 。

填充入所有这些乘积,凯莱表变为:

由于每行都必须出现群的所有元素精确的一次,容易看出在 行的两个空位必须被 或 占据。但是,如果你检查包含这两个空位的列,也就是 和 列,就会法相 和 已经在二者中被填充过了,这意味着无论如何 和 都不能放入行 中,它们总是违反置换规则。由于我们的代数演绎直到此时都是可靠的,我们只能得出早先基础假定 = 事实上是错误的的结论。本质上,我们猜测并猜测错了。但我们知道了: ≠ 。

唯一剩下的两种可能性是 = 或 = ;我们期望这两个猜测有相同结果,即不别同构之异时,因为 和 是互逆的,表示它们的字母固然的可以互换。所以不失去一般性的假定 = 。如果我们再次导致一个矛盾,那么我们就要假定没有 6 阶群有这种单位元构架了,因为我们穷尽了所有可能性。

下面是它的凯莱表:

左乘 于 = 得到 = 。右乘 得 = ,左乘 得到 = 。右乘 得到 = ,左乘 得到 = 。把这些乘积填入凯莱表中(新增加的为红色):

因为 行缺少 和 并且因为 不能等于 (否则 就会等于 ,而它们是不同的),我们可以得出 = 。左乘 得出 = ,右乘 得出 = 。左乘 得出 = ,右乘 得出 = 。类似的,右乘 于 = 得到 = 。更新表格,新加入的使用蓝色:

因为 行缺少 和 ,并且因为 不能等于 ,得出 = ,因此 必须等于 。右乘 得出 = ,左乘 得到 = 。通过类似的方式还可得出 = 和 = 。填充入表格(最新增的使用绿色):

因为 行只缺少 ,我们得知 2 = ,因此 2 = 。我们已经设法填充了整个表格而没有得到任何矛盾,我们已经发现了一个 6 阶群: 检查显示它是非阿贝尔群。这个群事实上是最小的非阿贝尔群,二面体群 D3:

上述性质依赖于某些群公理的有效性。自然会考虑其他代数结构比如半群、拟群和原群的凯莱表,而上述某些性质就不成立了。

相关

  • 天母白屋建于1953年,是为1950年代韩战时期驻台美军兴建之美军顾问团宿舍,因外墙白色雨淋板之特征,且位于台北市天母地区,故名天母白屋。建筑物为一层楼,黑瓦白墙,外有庭院,内多设有壁炉,颇具
  • β加速器β加速器又称电子感应加速器,是一种加速电子(β粒子)的粒子加速器,第一座β加速器是在是1940年在美国伊利诺伊州的伊利诺伊大学运行。它主要是由一个环状真空管嵌在一做巨大的电
  • 2008年美国职棒大联盟全明星赛< 2007年2009年 >2008年美国职棒大联盟全明星赛是大联盟历史上第79届全明星赛,比赛于2008年7月15日至16日在纽约洋基的主场洋基体育场举行。比赛从15日晚上8点47分开始,16日
  • 1-丁炔1-丁炔,化学式C4H6,是一种极易燃的炔烃,无色气体,用于合成某些有机物。可溶于乙醇和乙醚。可二聚生成C2H5C≡CH=CHC2H5或C2H5C≡C-C(C2H5)=CH2。可以发生炔烃的一般反应。叁键碳所
  • 晋荣晋荣(1846年-20世纪?),字景侯,号锡三,杨氏,内务府正黄旗汉军奎昌佐领下人,光绪九年癸未科进士,曾任甘肃巩昌府伏羌县知县。光绪九年(1883年)癸未科,中式进士。同年五月,著交吏部掣签分发
  • 今村雅弘今村雅弘(1947年1月7日-),日本政治家,出身于佐贺县鹿岛市,为自由民主党的众议院议员议员(7次当选)。在自民党内属于二阶派(志帅会)。历任农林水产副大臣(第1次安倍改造内阁、福田康夫内
  • 古泥古泥,十六国时期北燕大臣。古泥在北燕天王冯跋属下任单于右辅。418年五月,北魏皇帝拓跋嗣派征东将军长孙道生、安东将军李先、给事黄门侍郎奚观等人,率领精兵二万人袭击北燕;亲
  • 刷剧疯狂观看(英语:binge-watching),也被称为马拉松观看、刷剧、追剧,是指长时间观看多集电视节目或网络节目的行为,通常是指连续观看同一部电视剧集或网络剧集。最早在2014年二月的一
  • 椙山浩一椙山浩一(日语:すぎやま こういち,本名椙山 浩一,1931年4月11日- )是日本音乐作曲家,日本音乐著作权协会理事成员,日本国家基本问题研究所董事会成员,日本国际双陆棋社团名誉主席。他
  • 前略。我与猫和天使同居。台湾出版小说封面《前略。我与猫和天使同居。》(日语:前略。ねこと天使と同居はじめました。)原作为绯月薙、明星かがよ担任插画,2010年7月31日由HJ文库出版发行的日本轻小说作