汉娜·诺伊曼猜想

✍ dations ◷ 2025-12-09 00:10:36 #群论

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

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

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

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

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

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

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

相关

  • 及物动词在语法学上,及物动词(又叫他动词、外动词)是需要支配一个直接主词和一个或一个以上宾语的动词。此与不搭配宾语的不及物动词相对。一个搭配间接宾语和直接宾语的动词又称“双及
  • 考南德安德烈·弗雷德里克·考南德(法语:André Frédéric Cournand,1895年9月24日-1988年2月19日),法国医生和生理学家。他与沃纳·福斯曼和迪金森·伍德拉夫·理查兹因发明心脏导管术
  • 乌拉尔山脉乌拉尔山脉(俄语:Ура́льские го́ры,简称Ура́л)是俄罗斯境内大约南北走向的一座山脉,它位于俄罗斯的中西部。山脉位于乌拉尔地理区域内,与乌拉尔联邦管区和乌
  • 大别山区域医疗中心大别山区域医疗中心,是一家位于中华人民共和国黄冈城东新区白潭湖南面的区域性医疗中心,属于黄冈市中心医院的新院区。中心用地900亩,总建筑面积达25万平方米,床位2000张,建设标
  • 澳洲地区热带气旋季澳洲地区热带气旋,是指在一季内,于赤道以南及90°E以东至160°E以西的澳洲地区水域,所产生的热带气旋的一段时间,可说是风季的一种。虽然现时各气象台并没有定下任何热带气旋季
  • 莫迪博·凯塔莫迪博·凯塔(法语:Modibo Keïta,1915年6月4日-1977年5月16日),马里共和国首任总统,社会主义活动家。凯塔出生于巴马科的一个穆斯林家庭,先后在巴马科和达喀尔接受教育。1936年后,凯
  • 丹尼斯·普莱斯丹尼斯·普莱斯(1915年6月23日-1973年10月6日 )是一名英国演员。普莱斯1937年6月首次登台,在克罗伊登轮演剧院演出,同年9月6日在伦敦女王剧院演出了《理查二世》。1940年至1942年
  • 埃尼埃尼,全称为国家碳化氢公司(Eni,Ente nazionale ldrocarburi),是意大利政府成立的国家控股公司,专门经营石油产品,是世界第七大石油集团公司之一,也是在世界大炼油公司中排第8位。埃
  • Glest是跨平台免费开源3D即时战略电脑游戏,具有高度的自定义特性。开发组主要位于西班牙。取材于中世纪背景,包含2个阵营,魔法和科技。2.0版本之后有许多变化,不仅增加了大量单位,升级
  • 比尔空军基地 (加利福尼亚州)比尔空军基地(英语:Beale Air Force Base)是位于美国加利福尼亚州尤巴县的一个人口普查指定地区。比尔空军基地的座标为39°08′10″N 121°26′11″W / 39.13611°N 121.43639