TY - JOUR

T1 - Densities in free groups and ℤk, visible points and test elements

AU - Kapovich, Ilya

AU - Rivin, Igor

AU - Schupp, Paul

AU - Shpilrain, Vladimir

N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.

PY - 2007

Y1 - 2007

N2 - In this article we relate two different densities. Let Fk be the free group of finite rank k > 2 and let a be the abelianization map from Fk onto ℤk. We prove that if S ⊆ ℤk is invariant under the natural action of SL(k, ℤ) then the asymptotic density of S in ℤk and the annular density of its full preimage α-1(S) in Fk are equal. This implies, in particular, that for every integer t > 1, the annular density of the set of elements in Fk that map to t-th powers of primitive elements in ℤk is equal to 1/tkζ(k), where ζis the Riemann zeta-function. An element g of a group G is called a test element if every endomorphism of G which fixes g is an automorphism of G. As an application of the result above we prove that the annular density of the set of all test elements in the free group F(a, b) of rank two is 1 - 6/π2. Equivalently, this shows that the union of all proper retracts in F(a, b) has annular density 6/π2. Thus being a test element in F(a, b) is an "intermediate property" in the sense that the probability of being a test element is strictly between 0 and 1.

AB - In this article we relate two different densities. Let Fk be the free group of finite rank k > 2 and let a be the abelianization map from Fk onto ℤk. We prove that if S ⊆ ℤk is invariant under the natural action of SL(k, ℤ) then the asymptotic density of S in ℤk and the annular density of its full preimage α-1(S) in Fk are equal. This implies, in particular, that for every integer t > 1, the annular density of the set of elements in Fk that map to t-th powers of primitive elements in ℤk is equal to 1/tkζ(k), where ζis the Riemann zeta-function. An element g of a group G is called a test element if every endomorphism of G which fixes g is an automorphism of G. As an application of the result above we prove that the annular density of the set of all test elements in the free group F(a, b) of rank two is 1 - 6/π2. Equivalently, this shows that the union of all proper retracts in F(a, b) has annular density 6/π2. Thus being a test element in F(a, b) is an "intermediate property" in the sense that the probability of being a test element is strictly between 0 and 1.

UR - http://www.scopus.com/inward/record.url?scp=34547422760&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34547422760&partnerID=8YFLogxK

U2 - 10.4310/MRL.2007.v14.n2.a9

DO - 10.4310/MRL.2007.v14.n2.a9

M3 - Article

AN - SCOPUS:34547422760

VL - 14

SP - 263

EP - 284

JO - Mathematical Research Letters

JF - Mathematical Research Letters

SN - 1073-2780

IS - 2-3

ER -