首页 >

汉娜·诺伊曼猜想

✍ dations ◷ 2025-12-07 01:01:08 #群论

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

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

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

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

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

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

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

相关

布列塔尼半岛布列塔尼半岛（法语：Bretagne，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium"
拉雪兹神父公墓拉雪兹神父公墓（法语：Cimetière du Père-Lachaise，官方名称：cimetière de l'Est，意指“东公墓”）是法国巴黎市区内最大的墓地，位于巴黎第20区，面积超过43万平方米。它是巴黎第一
消化酵素消化酶（英语：digestive enzymes）是将聚合的高分子降解为他们的构建单元的酶类，以促进他们被身体吸收。消化酶类可在动物（及人）的消化管内找到，在那里帮助食物的消化，他们也存在于细
外交危机中华民国外交危机，可以指：
联合抵制1984年夏季奥运会联合抵制1984年夏季奥运会通常被称为“抵制洛杉矶奥运会”，是苏联政府在四年前美国与多国联合抵制1980年夏季奥运会后主导的对洛杉矶奥运会进行抵制的一次行动，一共有18个国家
美国钢铁协会美国钢铁协会（英语：American Iron and Steel Institute）美国钢铁生产商之间的行业组织。它的前身是美国历史最悠久的贸易协会之一，历史可以追溯到1855年。1908年，该组织改称现名，
衍射镜衍射镜是一种刻有一系列同心圆线的镜片，它会使一道光线散成很多道，可使人在脑中产生立体形像。衍射镜会运用于摄影上。一般的DVD-ROM之中，也会用到衍射镜。
坎德里坎德里（Kandri），是印度马哈拉施特拉邦Nagpur县的一个城镇。总人口5295（2001年）。该地2001年总人口5295人，其中男性2679人，女性2616人；0—6岁人口685人，其中男351人，女334人；识字率67.69
王竑明《三才图会》载《兵部尚书王公像》王竑（1413年－1488年），字公度，陕西河州（今属甘肃省）人，中国明朝重臣，官至兵部尚书。明英宗正统四年（1439年）进士。正统十一年授户科给事中，豪迈负气节
汝南郡汝南郡，中国古代郡名，在今河南省、安徽省境。发源于汝南郡的知名郡姓有：汝南袁氏、汝南周氏等。秦汉之际，其地属陈郡，于西汉初年置郡。汉高帝十一年（前196年）以陈郡置淮阳国。至迟