汉娜·诺伊曼猜想

✍ dations ◷ 2025-09-19 00:24:27 #群论

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

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

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

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

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

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

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

相关

  • 道琼斯通讯社道琼斯公司为美国著名的出版财经信息出版品的公司。该公司于1882年由记者查尔斯·道,爱德华·琼斯,查尔斯·博格斯特莱斯创立。像纽约时报和华盛顿邮报一样,该公司虽然是公共交
  • 山雷酋长山雷(‘Hin-mah-too-yah-lat-kekt’,美国拼字法(英语:Americanist phonetic notation)为‘Hinmatóowyalahtq'it’;一般被称为约瑟夫酋长或小约瑟夫;1840年3月3日-1904年9月21日)是内
  • 张伯声张伯声(1903年6月20日-1994年4月4日),河南荥阳人,中国构造地质学家。曾就读于河南留学欧美预备学校,1926年毕业于清华学校。1928年获美国芝加哥大学化学系学士学位。1980年当选为
  • 布拉迪斯拉发老城布拉迪斯拉发老城(斯洛伐克语:Staré Mesto)指的是斯洛伐克首都布拉迪斯拉发的历史中心。布拉迪斯拉发老城虽然面积不大,但完好保留中世纪时期的城市景观,拥有布拉迪斯拉发城堡等
  • 玛占玛占(1612年8月9日(万历四十年 / 壬子年七月十三)-1638年12月29日(崇德三年十一月二十五)),满洲爱新觉罗氏。清太祖努尔哈赤孙、礼烈亲王代善第六子,母侧福晋哈达纳喇氏。天聪九年(163
  • 扬斯基扬斯基(英语:Jansky,符号Jy)是一个非国际标准制的光谱光通量密度单位,或是光谱辐照度单位,等效于10−26瓦特每平方米每赫兹。一个光源的通量密度是光谱辐照度
  • 编码率编码率(Code rate)或信息率(information rate) 是指在电信和信息论数据流中有用部分(非冗余)的比例。也就是说,如果编码率是,则对每位有用信息,编码器总共产生位的数据,其中是多余
  • 若昂四世约翰四世(葡萄牙语:João, 发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
  • 黄濑和哉黄濑和哉(日语:黄瀬 和哉,1965年3月6日-),日本资深男性动画师、作画监督、动画导演。出身于大阪府。现为动画公司Production I.G董事。黄濑从小学时期开始,受到电视动画《宇宙战舰
  • 菅爱理菅爱理(日语:菅 愛理,10月19日-),日本女性配音员。LEOPARD STEEL(日语:レオパード・スティール)所属。出身于福冈县。从小时候就喜欢动画,大学时期曾经一次在研讨会上做演讲时,被称赞为