most recent 30 from http://mathoverflow.net 2013-05-18T16:21:10Z http://mathoverflow.net/feeds/question/70090 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70090/finitely-generated-subgroup Adterram 2011-07-12T06:43:41Z 2011-07-12T17:12:55Z

<p>G is a finitely generated group and F is its subgroup.</p> <p>Q: Under what known sufficient conditions can we guarantee that F is finitely generated? (e.g. G is Abelian)</p>

http://mathoverflow.net/questions/70090/finitely-generated-subgroup/70092#70092 Martin Brandenburg 2011-07-12T07:01:03Z 2011-07-12T07:18:11Z

<p>A consequence of the Nielsen-Schreier theorem is the following: If a group generated by $n$ elements, then every subgroup of <em>finite</em> index $k$ is generated by $kn−k+1$ elements. See also <a href="http://www.artofproblemsolving.com/Forum/viewtopic.php?t=62075" rel="nofollow">this</a> aops discussion; there jmerry gives a direct algebraic proof.</p>

http://mathoverflow.net/questions/70090/finitely-generated-subgroup/70094#70094 Max 2011-07-12T07:55:58Z 2011-07-12T08:02:06Z

<p>If $G$ is polycyclic, then every subgroup is finitely generated. In fact, one of several ways to define a polycyclic group is to demand that it is a solvable group for which all subgroups are finitely generated. So, this might seem kind of tautological, but polycyclic groups have other definitions and they come up quite a bit in various areas.</p> <p>This is a special case of the class of Noetherian groups, also known as slender groups, in which are defined by having the property that every subgroup is finitely generated. You can find some more information on this subject in <a href="http://mathoverflow.net/questions/26059/example-of-noetherian-group-every-subgroup-is-finitely-generated-that-is-not-fi" rel="nofollow">this MO question</a>.</p>

http://mathoverflow.net/questions/70090/finitely-generated-subgroup/70099#70099 Yiftach Barnea 2011-07-12T08:46:20Z 2011-07-12T17:12:55Z

<p>If you look at the toplogical case, then a profinite group has finite rank if all its closed subgroups are finitely generated (toplogically). Now a pro-$p$ group of finite rank can be characterized in many ways. For instance, a pro-$p$ group has finite rank if and only if it is a Lie group over the $p$-adic integers if and only if it is linear over the $p$-adics if and only if it has polynomial subgroup growth if and only if the associtaed graded Lie algebra (with respect to the Zassenhous-Lazard filtration) is nilpotent.</p>

http://mathoverflow.net/questions/70090/finitely-generated-subgroup/70116#70116 HW 2011-07-12T13:42:08Z 2011-07-12T13:42:08Z

<p>Further to Max's answer, and in an effort to make this very general question more specific, I have a feeling that the following question is open.</p> <blockquote> <p>Is every finitely presented slender group virtually polycylic?</p> </blockquote> <p>The existence of continuum-many Tarski monsters is strong evidence that there is no reasonable classification of finitely generated slender groups. </p>