Elements of infinite order in a profinite group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T12:55:44Z http://mathoverflow.net/feeds/question/455 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/455/elements-of-infinite-order-in-a-profinite-group Elements of infinite order in a profinite group Andrew Critch 2009-10-13T21:19:42Z 2011-06-19T15:17:38Z <p>Say G is a profinite group with elements of arbitrarily large order. Do elements of infinite order exist (A) if we assume G is abelian? (B) in general?</p> <p>A start for (A): we can ask the same question for the closure of the torsion subgroup of G (a subgroup since G is abelian), so WLOG we can assume the torsion subgroup is dense in G.</p> http://mathoverflow.net/questions/455/elements-of-infinite-order-in-a-profinite-group/459#459 Answer by John Goodrick for Elements of infinite order in a profinite group John Goodrick 2009-10-13T21:42:02Z 2009-10-13T23:55:57Z <p>(B) is probably difficult since it is listed as an open problem in the book <em>Profinite Groups</em> by Ribes and Zalesski (2009). [Question 4.8.5b (p. 401): "Is a torsion profinite group necessarily of finite exponent?"]</p> http://mathoverflow.net/questions/455/elements-of-infinite-order-in-a-profinite-group/460#460 Answer by Eric Wofsey for Elements of infinite order in a profinite group Eric Wofsey 2009-10-13T21:42:39Z 2009-10-13T21:42:39Z <p>In the abelian case, elements of infinite order have to exist, for any compact group. Let G(n) be the (closed) subgroup of n-torsion elements. If G were the union of the G(n), then by the Baire category theorem, some G(n) would have to have nonempty interior. This would imply G(n) is open so G/G(n) is finite by compactness, which would imply the order of elements of G is bounded.</p> http://mathoverflow.net/questions/455/elements-of-infinite-order-in-a-profinite-group/6800#6800 Answer by Lior Bary-Soroker for Elements of infinite order in a profinite group Lior Bary-Soroker 2009-11-25T12:58:56Z 2009-12-04T17:47:49Z <p>There are also many infinite order elements in the Haar measure sense:</p> <p>Recall that a profinite group is compact, hence it has a probability Haar measure. If <i>G</i> is abelian and it has an element of order > <i>n</i>, then <i>G</i> has either &#8484;<code>/</code><i>p</i>&#8484; for <i>p</i> > n+1 or &#8484;<code>/</code><i>p</i><sup><i>k</i></sup>&#8484; for small <i>p</i> and suitably large <i>k</i> as a quotient. Thus under the assumption that <i>G</i> has elements of unbounded order we get that either the former is a quotient for infinitely many primes, or the latter is a quotient for a fixed prime and infinitely many powers. </p> <p>Now the ratio of elements in each of the finite quotients of order bigger than \$n\$ tends to \$1\$. By standard arguments of measure theory, this implies that the probability measure of elements in \$G\$ of order bigger than \$n\$ is \$1\$ (when <i>p</i> tends to infinity or <i>p</i> is fixed and <i>k</i> tends to infinity). Taking intersection over all \$n\$'s give that the probability that an element will have an order bigger than any positive integer, i.e., infinite order, is \$1\$. </p> http://mathoverflow.net/questions/455/elements-of-infinite-order-in-a-profinite-group/19901#19901 Answer by Yiftach Barnea for Elements of infinite order in a profinite group Yiftach Barnea 2010-03-31T00:21:23Z 2010-03-31T00:21:23Z <p>I would like to add that the restricted Burnside problem is equivalent to the fact that a finitely generated profinite group of finite exponent is finite. Now, this was of course proved by Zelmanov. But he also proved a stronger result: every finitely generated compact Hausorff torsion group is finite, see ZelÊ¹manov, E. I., On periodic compact groups, Israel J. Math. 77 (1992), no. 1-2, 83--95. In particular, every finitely generated torsion profinite group is finite, i.e. the Burnside problem is true for profinite groups. BTW, Zelmanov has a more general result regarding when a pro-p group is finite (I don't remember now the exact formulation, it should be something like all generators have finite order and the associated graded Lie algbera satisfies an identity), however, he only published a sketch of the proof which I think is in E. Zelmanov, Nil Rings and Periodic Groups, The Korean Mathematical Society Lecture Notes in Mathematics, Korean Mathematical Society, Seoul, 1992.</p> <p>The question whether a torsion profinite group is of finite exponent is still open as far as I know and is considerd very difficult. (Burnside type problems seem to be very difficult.) </p>