汉娜·诺伊曼猜想

✍ dations ◷ 2025-10-19 19:16:29 #群论

群论中,汉娜·诺伊曼猜想是关于一个自由群的两个有限生成子群的交的秩,1957年由汉娜·诺伊曼提出。2011年伊戈尔·米涅耶夫(Igor Mineyev)和乔尔·弗里德曼(Joel Friedman)各自证明了这个猜想。

设, ≤ ()是自由群()的两个非平凡有限生成子群, = ∩ 为其交,这个猜想指

其中对群,rank()为其秩,即的生成集合的最小大小。按尼尔森-施赖埃尔(Nielsen-Schreier)定理,自由群的子群也都是自由群,而自由群的秩等于任一个自由基底的大小。

这个猜想的灵感来自Howson在1954年的一条定理。他证明了一个自由群的任何两个有限生成子群的交都是有限生成的,即是有有限秩。他并证明了若和是自由群()有限生成子群,其秩分别为 ≥ 1及 ≥ 1,那么 ∩ 的秩适合

汉娜·诺伊曼在一篇1956年的论文中,改进了上限

诺伊曼在1957年的附录中,把上限改进到

她又猜想上式右边去掉因数2也成立,这就是以其命名的猜想。

相关

  • 后置词后置词(postposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置、时间、作用对象或行为主体等。与前置词相反,后
  • 公元前1世纪公元前100年1月1日至前1年12月31日的这一段期间被称为前1世纪。
  • 拉美西斯十世拉美西斯十世(英语:Ramesses X)古埃及新王国时期第二十王朝的第九任法老。(约公元前1111年—约公元前1107年在位),在位时期埃及危机持续加深,墓地工人由于长期缺粮而不断罢工,利比亚
  • 澳洲有袋总目见内文澳大利亚有袋总目(学名:Australidelphia),是脊椎动物门哺乳纲的一个总目,包含约四分之三的有袋类动物,包括澳大利亚所有有袋类动物以及南美洲部分物种。美洲的其他所有有袋
  • 巴兰几亚市巴兰基亚(西班牙语:Barranquilla)是位于哥伦比亚北部加勒比海畔的马格达莱纳河三角洲的一座城市,也是大西洋省的首府,人口约170万(2006年)。巴兰基亚始建于1629年,19世纪中叶成为贸
  • 希夫碱希夫碱(英语:Schiff base),或译为席夫碱、施夫碱、偶氮甲碱(Azomethine),是一类在氮原子上连有烷基或芳基的较稳定的亚胺,名字来源于化学家雨果·希夫。它的通式为R1R2C=N-R3,R3为芳
  • 技术制图技术制图(英语:technical drawing、draughting或drafting,通称工程制图)是创建标准化工程图纸(technical drawing(s),也称技术图纸)以描述对象的功能或结构的技术。它是一门专业基
  • 扎卡里·多诺霍扎卡里·泰勒·“扎克”·多诺霍(英语:Zachary Tyler "Zach" Donohue,1991年1月8日-)生于康乃狄克州哈特福,是一名美国男子花样滑冰运动员,主攻冰舞。他的家乡在麦迪逊。他在10岁时
  • 徐志平徐志平(1957年8月5日-),台湾的中国文学、台湾文学研究者和现代汉语文学创作者,客家人,博士,笔名思存,现在是国立嘉义大学中国文学系特聘教授。(今桃园市杨梅区)瑞埔国民小学、仁美国民
  • 德林达依省德林达依省(缅甸语:တနင်္သာရီတိုင်းဒေသကြီး Tanintharyi),旧名“丹那沙林”(Tenasserim),是缅甸的一个省,位于克拉地峡以北的狭长地带。德林达依西临安达曼海