首页 >

汉娜·诺伊曼猜想

✍ dations ◷ 2025-12-02 06:00:59 #群论

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

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

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

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

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

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

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

相关

卡尔·罗哲斯卡尔·罗杰斯（Carl Ranson Rogers，1902年1月8日－1987年2月4日），20世纪美国心理学家，人本主义的创始者之一。首创非指导性治疗，又称案主中心治疗，强调人具备自我调整以恢复心理健康的
南乔治亚岛和南桑威奇群岛面积国家领袖立国历史南乔治亚和南桑威奇群岛（英语：South Georgia and the South Sandwich Islands；缩写：SGSSI）为英国在大西洋南部的海外属地。该属地由一连串既偏远且荒凉的岛
东北英格兰东北英格兰（英语：North East England），英国英格兰下辖的9个次级行政区之一，东面临海，主要以小型城市为主，包括桑德兰和纽卡斯尔。注：“”为1974年的区划。
刃脊刃脊是一种陡峭的刀状山脊，也叫刃岭、刀岭。通常是由两条冰川侵蚀山脊两侧而形成。也有一些是由两个相邻的冰斗后退而形成刃脊。
财政秘书财政秘书（Financial secretary），又称财务秘书、财政干事、司库，是掌管一个公营或私营组织的财政事宜的职位。财政秘书通常是工会内最重要的职位之一。在市政府或州政府，财政秘
托马斯·恩奎斯特托马斯·卡尔·约翰·恩奎斯特（1974年3月3日－）是一位瑞典前职业网球运动员。他很快被认为瑞典人是唯一可以追循斯特凡·埃德伯格和比约·博格的脚步，在ATP排名高达第4位（他在1999
谷镜汧谷镜汧，1896年—1968年，中国著名病理学家，中国现代病理学奠基人之一。浙江余姚梁辉乡杨潭村人。与胡正祥、侯宝璋、梁伯强、林振纲等同为中国近代最早的一批病理学家。曾就读苏
士家士家出于曹操设立的“士家制”。士家有特别户籍，士家中的成年男子世代当兵，或服特殊劳役，士家中的妇孺和尚未轮带的男子，也要为政府耕田或服役。士家的身份低于平民，且不得与平民
小杉健治小杉健治（日语：小杉健治／こすぎけんじ，1947年3月20日－），日本著名推理小说作家。小杉健治高中毕业后曾到电脑专门学校进修，有一段时间在电脑公司工作。1986年，健治以《原岛律师的
贝恩施泰因湖坐标：54°15′09″N 12°22′12″E / 54.2525°N 12.37°E / 54.2525; 12.37贝恩施泰因湖（德语：Bernsteinsee），是德国的湖泊，位于该国东北部，由梅克伦堡-前波美拉尼亚州负责管辖，处