<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://groupprops.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Hanna_Neumann_conjecture</id>
	<title>Hanna Neumann conjecture - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://groupprops.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Hanna_Neumann_conjecture"/>
	<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;action=history"/>
	<updated>2026-08-11T03:02:16Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.41.2</generator>
	<entry>
		<id>https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5716&amp;oldid=prev</id>
		<title>Vipul: 2 revisions</title>
		<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5716&amp;oldid=prev"/>
		<updated>2008-05-07T23:42:54Z</updated>

		<summary type="html">&lt;p&gt;2 revisions&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 23:42, 7 May 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-notice&quot; lang=&quot;en&quot;&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
	<entry>
		<id>https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5715&amp;oldid=prev</id>
		<title>Vipul: /* Progress towards the conjecture */</title>
		<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5715&amp;oldid=prev"/>
		<updated>2007-06-07T15:27:38Z</updated>

		<summary type="html">&lt;p&gt;&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Progress towards the conjecture&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:27, 7 June 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l20&quot;&gt;Line 20:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 20:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;She then asked whether the factor of 2 can be dropped.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;She then asked whether the factor of 2 can be dropped.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;==Offshoots==&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Myasnikov has raised the following question:&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Let &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; be positive integers, and &amp;lt;math&amp;gt;H&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; nontrivial finitely generated subgroups of a free group such that &amp;lt;math&amp;gt;rank(H) = n&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;rank(K) = m&amp;lt;/math&amp;gt;. Which numbers between 1 and &amp;lt;math&amp;gt;(n-1)(m-1)&amp;lt;/math&amp;gt; can be realized as &amp;lt;math&amp;gt;rank(H \cap K) - 1&amp;lt;/math&amp;gt;? In particular, can &amp;lt;math&amp;gt;(n-1)(m-1) - 1&amp;lt;/math&amp;gt; be realized?&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==References==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==References==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
	<entry>
		<id>https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5714&amp;oldid=prev</id>
		<title>Vipul at 15:21, 7 June 2007</title>
		<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Hanna_Neumann_conjecture&amp;diff=5714&amp;oldid=prev"/>
		<updated>2007-06-07T15:21:18Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{conjecture|presentation theory}}&lt;br /&gt;
&lt;br /&gt;
{{conjecture proposed by|Hanna Neumann}}&lt;br /&gt;
&lt;br /&gt;
==Statement==&lt;br /&gt;
&lt;br /&gt;
Let &amp;lt;math&amp;gt;H&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; be [[finitely generated group|finitely generated]] nontrivial subgroups of a free group. Then:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;rank(H \cap K) - 1 \le (rank(H) - 1 )(rank(K) - 1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Progress towards the conjecture==&lt;br /&gt;
&lt;br /&gt;
===Neumann&amp;#039;s own work===&lt;br /&gt;
&lt;br /&gt;
Hanna Neumann, in her paper &amp;#039;&amp;#039;On the intersection of finitely generated free groups&amp;#039;&amp;#039;, proved the following:&lt;br /&gt;
&lt;br /&gt;
Let &amp;lt;math&amp;gt;H&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; be [[finitely generated group|finitely generated]] nontrivial subgroups of a free group. Then:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;rank(H \cap K) - 1 \le 2(rank(H) - 1 )(rank(K) - 1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
She then asked whether the factor of 2 can be dropped.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* &amp;#039;&amp;#039;On the intersection of finitely generated free groups&amp;#039;&amp;#039; by Hanna Neumann,  &amp;#039;&amp;#039;Publ. Math. Debrecen&amp;#039;&amp;#039; 4 (1955-56) 186-169&lt;br /&gt;
* &amp;#039;&amp;#039;On the intersection of finitely generated subgroups of a free group&amp;#039;&amp;#039; by Robert G. Burns, &amp;#039;&amp;#039;Math Z.&amp;#039;&amp;#039; 119 (1971), 121-130&lt;br /&gt;
* &amp;#039;&amp;#039;On intersections of finitely generated subgroups of free groups&amp;#039;&amp;#039; by Walter D. Neumann, &amp;#039;&amp;#039;Groups-Canberra 1989&amp;#039;&amp;#039;, &amp;#039;&amp;#039;Lecture Notes in Mathematics Vol. 1456&amp;#039;&amp;#039;&lt;/div&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
</feed>