汉娜·诺伊曼猜想

✍ dations ◷ 2025-11-06 15:42:22 #群论

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

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

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

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

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

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

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

相关

  • 密西西比河密西西比河(英语:Mississippi River),位于北美洲中南部,是北美最大的水系,流域面积约为300万平方千米。它也是北美最长的河流,源头在美国明尼苏达州西北部海拔446米的艾塔斯卡湖(英
  • 田纳西州田纳西州(英语:State of Tennessee),位于美国南方,首府为纳许维尔,是美国音乐圣地,也是美国乡村音乐的中心。其他著名城市还有孟菲斯。美国2012年人口估算显示,田纳西州共有人口645.
  • 抽象形态抽象化(英语:Abstraction)是指以缩减一个概念或是一个现象的资讯含量来将其广义化(Generalization)的过程,主要是为了只保存和一特定目的有关的资讯。例如,将一个皮制的足球抽象化
  • 圣克鲁斯群岛战役圣克鲁斯群岛战役(Battle of the Santa Cruz Islands)发生于1942年10月26日,有时称为圣克鲁斯战役或南太平洋海战,是第二次世界大战太平洋战场上第4场航母战役。同时也是美国海
  • 马鲁古省马鲁古省或摩鹿加省(印尼语:Provinsi Maluku;英语:Moluccas Province)是印度尼西亚东部的一个省,辖境包括马鲁古群岛的中部和南部。首府和主要城市是位于安汶岛上的安汶。2010年普
  • 叶超叶超(1913年6月-1988年1月15日),湖北省黄陂县人,中国人民解放军少将。早年入学湖北省立师范学校,并参加学生运动;后奔赴延安,进入抗日军政大学第十四队。1937年,随赖传珠抵达武汉组建
  • B·H·李德·哈特第一次世界大战巴塞尔·亨利·李德·哈特爵士(英语:Sir Basil Henry Liddell Hart,1895年10月31日-1970年1月29日),英国军事记者、军事理论家、战略学家。主要著作有:《大战略——
  • 丹·贾维斯丹·贾维斯,MBE(英语:Dan Jarvis,1972年11月30日-),是一位英格兰政治人物,其党籍为工党,他的父母都是工党成员。从政前曾于陆军服役,官拜少校。于亚伯大学攻读国际关系学学士学位,1996
  • Baum-Welch算法在电气工程、计算机科学、统计计算和生物信息学中,Baum-Welch算法是用于寻找隐马尔可夫模型(HMM)未知参数的一种EM算法,它利用前向-后向算法来计算E-Step的统计信息。Baum-Wel
  • 毕海澜毕海澜(Harlan Page Beach,1854年-1933年3月4日),美国公理会在华传教士。1854年,毕海澜出生于美国新泽西州South Orange,1874年毕业于 Andover 的Phillips Academy,1878年毕业于耶鲁