We have the theorem that if a partially ordered group is directed and integrally closed then it must already be commutative.
Now we have a partial order on real functions, which is: $f$ is finally greater than $g$, in symbols $f>_\infty g$, i.e. there is an $x_0$ such that $f(x)>g(x)$ for all $x>x_0$. An analytic function different from identity function is not comparable with the identity function iff there are infinitely many fixpoints (if these fixpoints are bounded then the function must be already the identity function, otherwise the function is neither finally greater nor finally smaller than the identity)
My question is now the following: We generate a group $G$ of functions - which are strictly increasing and bijective on the positive real axis - with the two generators, say, $f(x)=x^2$ and $g(x)=x^2+x$ and the operation of composition. Every element of this group has the form $f^{i_{1}}\circ g^{k_{1}}\circ f^{i_{2}}\circ g^{k_2}\circ \dots \circ f^{i_n}\circ g^{k_n}$ for some integers $k_1,\dots,k_n$ and $i_1,\dots,i_n$, where $f^k$ denotes the k-time composition of $f$ and negative $k$ the $|k|$ time composition of the inverse.
The above mentioned order $\lt_\infty$ is linear on the monoid generated by $f$ and $g$. But if $\lt_\infty$ is linear on the generated group then it is directed and integrally closed/archimedian which would imply commutativity which $G$ not have. Hence there must be non-comparable functions and hence there must be a function not comparable with the identity function, which further implies that there must be a function in $G$ with infinitely many fixpoints.
Find the error in the above argumentation or find a function in $G$ with infinitely many fixpoints.
