汤普森群

✍ dations ◷ 2025-10-29 22:01:04 #群论

数学上,汤普森群(英语:Thompson groups)是理查德·汤普森1965年在几份未发表的手写笔记中,提出的三个群,通常记为⊂⊂。这三个群中受到最广泛研究的是群。有时汤普森群单单指群。

这三个汤普森群有许多不寻常性质,当中尤以为甚,因此成为了群论中不少猜想的反例。这三个群都是有限展示的无限群。和是罕有的无限但为有限展示的单群。不是单群,但其换位子群是单群。对换位子群的商/是秩2的自由阿贝尔群。是全序群,有指数增长率,无子群同构于秩2自由群。

群是否可均群的问题,争议颇大,有两方各执一端:E. Shavgulidze和Justin Moore各自发表预印论文,声称是可均群;另外Azer Akhmedov和Leva Beklaryan也各自发表预印论文,声称不是可均群。但是这些预印论文的证明随后都发现有错误。至今难以猜测是否可均群。

现时已知不是初等可均群,假如不是可均群,则会成为有限展示群的冯纽曼猜想的另一个反例。这个猜想指有限展示的非可均群都有子群同构于秩2自由群,自提出后多年未解,直至2003年才被推翻。

Higman (1974)提出了一个以有限展示单群组成的无限族,汤普森群是这个族中一个特例。

群的一个有限展示如下:

其中是换位子−1−1.

虽然可表达为有两个生成元及两个关系元的有限展示,但用以下的无限展示较容易理解:

以上两个展示间的关系为 0=, = 1−−1 对>0。

群可以用有序有根的二叉树上的运作表示。群也可以表达为单位区间上由所有如下所述的分段线性同胚组成的群:同胚保持区间的定向,不可微点都是二进有理数(即形为/2的数,其中, 为整数),每段的斜率都是2的幂。

将单位区间的端点等同,便可以视群为在单位圆上作用,而群是在中加入单位圆的同胚→+1/2 mod 1而生成的群。在二叉树上的对应操作是把根节点下方的两棵树交换。群是在群中加入一个不连续映射而生成的群,这映射固定半开区间[0,1/2)的点,并用最显然的方法交换区间[1/2,3/4)和[3/4,1)。在二叉树上的对应操作为把根节点的右子节点下的两棵树(如有的话)交换。

相关

  • 超氧化物超氧化物(英语:Superoxide)是含有超氧离子(超氧根离子,O2−)的一类化合物,是氧气分子的单电子还原产物,广泛存在于自然界中。超氧离子是一个自由基,一个氧原子带有一个未成对电子,与氧
  • Visceral pleura脏胸膜(英语:Visceral pleura)覆盖于肺表面,并深入至叶间裂内的一层胸膜,叫做脏胸膜。脏胸膜与肺实质连接紧密,所以又称其肺胸膜。
  • 第一共和国建立法兰西第一共和国(法语:République française)是法国历史学家对1792年9月到1804年5月间多个共和政体习惯上的统称。在法国大革命期间,法国经历了短暂的君主立宪时期(1791年9月4
  • 管口亚纲见内文管口亚纲(学名:Cyrtophoria),亦作叶咽亚纲(层状咽头亚纲, Phyllopharyngia),俗称管口类,是纤毛虫门原生生物之下的一个分类元,属于九大类群的其中之一,有物种150种。依据纤毛虫
  • 瀚海瀚海可以指:
  • 无齿鲹无齿鲹,又称黄金鲹、黄鹂无齿鲹,俗名为虎斑瓜,为辐鳍鱼纲鲈形目鲈亚目鲹科的其中一个种。本鱼最早由瑞典博物学家彼得·福斯克斯(PeterForsskål)于1775年首次对这一物种进行了科
  • 柏户刚柏户刚(日语:柏戸 剛/かしわど つよし ,1938年11月29日-1996年12月8日),原名富㭴刚,日本山形县东田川郡山添村(现在鹤冈市)出身的前大相扑力士。第47代横纲。身高1.88米,重148公斤,所属
  • 汉语自动句法分析汉语自动句法分析包含对汉语句法的定义以及自动分析方法。对于如何定义,从汉语语言学家的角度来看,往往是考虑如何生成句子的问题;从计算语言学家的角度来看,则往往是一个思考如
  • 苦力怕苦力怕(英语:Creeper,亦称为蠕行者、爬行者)是瑞典游戏设计师马库斯·阿列克谢·泊松设计的一个虚构游戏怪物,是《我的世界》游戏的象征怪物,同时也是《我的世界》的吉祥物。其最
  • 陈峰民陈峰民(1977年10月29日-)为台湾的棒球选手,曾效力中华职棒La New熊,守备位置为捕手。由于近年来经常入选中华成棒队,曾与叶君璋、高志纲并列台湾三大捕手。2010年遭组头与队友蔡英