乒乓引理

✍ dations ◷ 2025-04-03 17:14:08 #群论,离散群

群论中,乒乓引理给出了一个充分条件,保证一个群中数个子群所生成的群是这些子群的自由积。

使用乒乓引理的论证法可以追溯至19世纪后期,通常认为是菲利克斯·克莱因最先使用,他研究克莱因群的子群常常用到。雅克·蒂茨在他一篇1972年的文章中,证明著名的蒂茨两择性(Tits alternative)结果,一个主要工具就是乒乓引理。这结果指出任何有限生成的线性群,或是一个逼肖可解群(virtually solvable group),或是包含一个秩2的自由子群。乒乓引理及其引申结果广泛应用于几何拓扑学及几何群论。

设为群,作用在集合上,12是的非平凡子群,是12生成的群。若有两个不交非空子集12,使得

则是12的自由积,即 H = H 1 H 2 {\displaystyle H=H_{1}*H_{2}} 是二面体群。

设是用12的元素写出的非空简约字。若 w = a 1 b 1 a 2 b 2 a k {\displaystyle w=a_{1}b_{1}a_{2}b_{2}\cdots a_{k}} 12的阶不都等于2,不失一般性,假设 | H 1 | > 2 {\displaystyle \left|H_{1}\right|>2} , 写出的非空简约字等于1,则只可能是 a b a b {\displaystyle ab\cdots ab} > 0有 ( a b ) n = 1 {\displaystyle (ab)^{n}=1} ,则为二面体群 D 2 n {\displaystyle D_{2n}} ,则 H = H 1 H 2 {\displaystyle H=H_{1}*H_{2}} 为群,作用在集合上。又设1, 2, ... , 是的非平凡子群,且当中至少一个的阶不小于3。若有两两不交的非空子集1, 2, ... , ,使得当 i j {\displaystyle i\neq j} 1, 2, ... , k所生成的群是其自由积,即

这条定理的证明与两个子群时的证明类似。

矩阵 ( 1 2 0 1 ) {\displaystyle {\begin{pmatrix}1&2\\0&1\end{pmatrix}}} 1, 2都同构于无限循环群。因为1, 2, 1, 2适合乒乓引理的条件,由乒乓引理得出1, 2生成的群为其自由积,而两个无限循环群的自由积为秩2的自由群。

相关

  • 药物依赖物质依赖(英语:Substance dependence)或称药物成瘾(drug addiction),指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后,若突然停止服用药物,可能出现药物戒断症
  • 木卫四木卫四又称为“卡里斯托”(Callisto、发音: /kəˈlɪstoʊ/、希腊文:Καλλιστώ),是围绕木星运转的一颗卫星,由伽利略·伽利莱在1610年首次发现。木卫四是太阳系第三大卫星
  • 流派艺术运动,或艺术流派,是指一种在艺术上具有共同宗旨和目标,被一群艺术家在一段时期内(从几个月至数十年不等)所遵循的潮流或风格。每个连贯的艺术运动都被归为一种新的先锋派,所以
  • 勾践勾践(?-前464年),又写作句践;在出土文物“越王勾践剑”里写为鸠浅;司马贞《史记索隐》引《纪年》作菼执,是中国春秋时代后期的越国君主。有关他的先世,有说“其先禹之苗裔”,亦有说“
  • 冯·迪索哈尼亚·莱丽 文森特·辛克莱尔 波琳·辛克莱范·迪塞尔(英语:Vin Diesel,1967年7月18日-),原名马克·辛克莱·文森特(Mark Sinclair Vincent),美国演员,出生于阿拉米达县,父亲有意
  • 班布里奇岛班布里奇岛(Bainbridge Island),又译班布里奇岛,是在美国华盛顿州基沙普县内的一个岛城,坐落于普吉特海湾。2010年美国人口普查时人口为23,025人。在2005年7月,CNN/Money和Money杂
  • 藻苔属藻苔科(学名:Takakiaceae)在生物分类学上是苔藓植物门藻苔纲的一个科。藻苔科只有藻苔属(学名:Takakia)一个属,其下有两个物种,来自北美洲西部及亚洲中、东部。长久以来,藻苔属一直都
  • 安东尼奥·斯帕利诺安东尼奥·斯帕利诺(意大利语:Antonio Spallino,1925年4月1日-2017年9月27日),意大利男子击剑运动员。他曾获得1952年夏季奥运会男子花剑团体银牌,1956年夏季奥运会男子花剑团体金
  • 流离的王妃《流离的王妃》,原名:「流転の王妃」の昭和史―幻の“満州国”。记述爱新觉罗·溥杰与嵯峨浩之间故事的回忆录。由嵯峨浩在1980年代著作,1984年出版。
  • 漫画选集漫画选集(Comics anthology)是将短篇漫画等作品汇编而成的独立出版品。