汉娜·诺伊曼猜想

✍ dations ◷ 2025-12-10 18:01:18 #群论

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

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

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

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

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

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

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

相关

  • 耗散结构耗散系统(Dissipative system)是指远离热力学平衡状态的开放系统,此系统和外环境交换能量、物质和熵而继续维持平衡,对这种结构的研究,解释了自然界许多以前无法解释的现象。耗散
  • 欧文县欧文县(Irwin County, Georgia)是美国乔治亚州南部的一个县。面积939平方公里。根据美国2000年人口普查,共有人口10,495人。县治奥西拉 (Ocilla)。成立于1818年12月15日。县名
  • 魁北克市-温莎走廊魁北克市-温莎走廊(英语:Quebec City–Windsor Corridor;法语:Corridor Québec-Windsor)是加拿大的一片地理区域。该区域从东北的魁北克省魁北克市起,向西南延伸至安大略省温莎市
  • 安纳布尔纳峰安纳布尔纳峰(英语:Annapurna,梵语、尼泊尔语、尼瓦尔语:अन्नपूर्ण)位于喜马拉雅山脉、尼泊尔中北部境内,海拔8,091米,是世界第十高峰。安纳布尔纳山峦长55公里(34英里),包括
  • 张雨绮张雨绮(1986年8月8日-),本名张爽,中国大陆新生代女演员,山东德州人,毕业于上海戏剧学院附属上海市戏曲学校。因出演周星驰科幻电影《长江7号》的女主角,成为继黄圣依后又一位知名的
  • 托马斯·斯特尔那斯·艾略特托马斯·斯特恩斯·艾略特,OM(Thomas Stearns Eliot,1888年9月26日-1965年1月4日),美国英国诗人、评论家、剧作家,其作品对二十世纪乃至今日的文学史上影响极为深远。1948年,60岁的
  • 冲水马桶抽水马桶,又称冲水马桶,约翰·哈林顿(Dr. John Harington)被认为是第一个发明抽水马桶的人,1778年由约瑟夫·布拉梅(英语:Joseph Bramah)发明,是以杠杆原理把定量水由水箱拉下,把排泄
  • 北卡罗来纳大学系统北卡罗来纳大学是北卡罗来纳州的公立大学系统。由十六所公立四年制大学及一所名为北卡罗来纳科学与数学学校(North Carolina School of Science and Mathematics)的寄宿中学所
  • 博尔巴赫河 (鲁尔河支流)坐标:51°25′39″N 7°20′45″E / 51.42750°N 7.34583°E / 51.42750; 7.34583博尔巴赫河(德语:Borbach),是德国的河流,位于该国西部,流经北莱茵-威斯特法伦州,属于鲁尔河的右支
  • 山西惇山西惇(日语:山西 惇,1962年12月12日-),日本男演员、配音员。出身于京都府京都市。身高170cm。B型血。本名畑中敦史(はたなか あつし)。所属的经纪公司是株式会社Ricomotion(日语:キュ