Linear metric on F2, free group with two generator.

I may have made a stupid mistake, but if not, we could construct a metric by pullback a metric on a suitable linear normalized space $latex H$ which we carefully constructed. Let we define the generators of free group $latex F_2$ by $latex a,b$.

Step 1.

Constructed the linear normalized space $latex H$. the space $latex H$ was spanned by basis $latex \Lambda=\Lambda_a \coprod \Lambda_b$, $latex \Lambda_a, \Lambda_b$ are defined by look at the Cayley graph of $latex F_2$, there is a lot of vertical vector and horizontal vector in the Cayley graph, for every level set of vertical vector we put a basis in $latex \Lambda_a$, because there is only countable many vertical vectors (for example, $latex a,a^2,a^{-5}$ are in the same vertical level, $latex bab^{-1}, ba^{10}b^{-1}$ are in the same vertical level, $latex bab^{-1},a$ are not in the same vertical level), we put a basis in $latex \Lambda_a$ for every vertical level and claim we accomplished the construct of $latex \Lambda_a$, we do the same operation for $latex \Lambda_b$ but only change the vertical level with horizontal level. Now we accomplished the construction of $latex \Lambda$, We spanned this with coefficient $latex \mathbb Z$ and we get a linear space $latex V$. by Zorn’s lemma there exists a norm on the space, take one norm $latex \|\cdot\|$ we accomplished the construction of $latex H=(V,\|\cdot\|)$.

Step 2:

Pullback the norm $latex \|\cdot\|$ on $latex H$ to the free group $latex F_2$. In fact there is a natural bijection $latex T: F_2\to H$, which is given by following: On the Cayley graph (imaged it is embedding in $latex \mathbb R^2$), identity $latex 1$ in the group $latex F_2$ corresponding to the original, and more general every element in $latex F_2$ exactly identify with a point in the Cayley graph, thanks to there is no relation between $latex a,b$. And then there is of course infinity many of path from original to the point, but there is only one shortest path , thanks to there is no loop in the Cayley graph. We identify the elements in $latex F_2$ with the point in Cayley graph with the shortest path. Now we could explain why the path lies $latex H$. This path only across to finite vertical level and horizontal level and on every level it only pass finite step, this already given a representation $latex \sum_{e_i\in \Lambda}c_i\cdot e_i, c_i\in \mathbb Z$, the key point is there is only finite $latex c_i\neq 0$. So we have defined the bijection $latex T:F_2\to H$, and we could use the bijection to pullback the norm on $latex H$ to a norm on $latex F_2$.

Step 3:

Now we begin to proof the norm we get by pullback satisfied the condition we need. We need only to proof the condition of linear growth and triangle inequality. The conjugation invariance is automatically by linear growth by the comments of Tobias Fritz. The triangle inequality is automatically, due to the bijection $latex T$ stay the structure in fact, the multiplier of elements $latex x_1,x_2 \in_2$ could be view as put the two path together but this  is not true… merely because of the addition operation is not commutative.

The space we should consider is the path space equipped with the composition operation. I image there exists a “big space” such that the natural metric on the “big space” restrict on the embedding image of $latex \mathbb F_2$ is a linear growth metric.