汉娜·诺伊曼猜想

✍ dations ◷ 2025-12-10 04:41:57 #群论

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

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

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

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

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

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

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

相关

  • 原生质膜细胞膜,又称原生质膜(英语:cell membrane 或 plasma membrane 或 cytoplasmic membrane),为细胞结构中分隔细胞内、外不同介质和组成成分的界面。原生质膜普遍认为由磷脂质双层分
  • 含水量测量含水量(又称水分含量,含湿量)是指某材料中水的多少,该材料可能是指土壤、岩石、陶瓷亦或水果、木头等等。含水量在诸多科技领域中均有广泛应用,它一般用比值来表示,其大小可以从零
  • 清晰法案清晰法案(为成法律前即众所周知的C-20草案)(英语:The Clarity Act)是由加拿大国会立法通过,条文定义了加拿大政府在一个省进行可能脱离联邦的投票时加入协商讨论。这规定为了进行
  • 混沌模型在计算机界,混沌模型是一种软件开发的结构。其创始者曾使用 L.B.S.Raccoon 的笔名在这里(请帮助修正死链)指出,诸如螺旋模型和瀑布模型的项目管理模型虽然擅长于管理日程表和员
  • 弗拉察弗拉察(保加利亚语:Враца)位于保加利亚西北部巴尔干山脉脚下,是弗拉察州的首府,人口71,356人(2005年)。索菲亚(首都)布尔加斯 · 普罗夫迪夫 · 瓦尔纳多布里奇 · 普列文
  • 南桦铁道南桦铁道一度为位在桦太南部桦太大泊郡千岁村旧属铁道省桦太东线之铁道路线,即从新场站到留多加郡留多加町留多加站间连结的私人铁道。
  • 科学不端行为科学不端行为指的是在进行科学研究过程中违反基本学术伦理的行为。医学期刊《刺胳针》的一篇文章《》对此词汇定义如下:科学不端行为可能使得行为人与其他接触到其行为结果之
  • 钱爱玉钱爱玉(1949年9月-),生于浙江嵊县长乐镇,越剧女演员,擅长小旦。1963年9月,进入嵊县越剧团。1985年,进入浙江越剧院。艺术上师承王文娟。代表作有越剧《汉宫怨》(饰演许平君)、《盘夫
  • 服装CAD服装CAD,CAD是计算机辅助设计的一种,应用于轻工业的行业软件。它能够如同Auto CAD软件一样,轻松、方便、快捷的设计服装图样,对制作好的服装图样通过打印机输出。这样,我们就能
  • 狭山藩狭山藩(日语:狭山藩/さやまはん  */?)是日本江户时代的一个藩。位于河内国丹南郡,藩厅在狭山阵屋(今大阪府狭山市),藩主是后北条氏,家格属于外样大名,于江户城诘席时份在柳之间。后