1: \begin{abstract}

2: Let $G$ be a group. A function $l:G\rightarrow \lbrack 0,\infty )$ is called

3: a length function if

4: 

5: (1) $l(g^{n})=|n|l(g)$ for any $g\in G$ and $n\in \mathbb{Z};$

6: 

7: (2) $l(hgh^{-1})=l(g)$ for any $h,g\in G;$ and

8: 

9: (3) $l(ab)\leq l(a)+l(b)$ for commuting elements $a,b.$

10: 

11: Such length functions exist in many branches of mathematics, mainly as

12: stable word lengths, stable norms, smooth measure-theoretic entropy,

13: translation lengths on $\mathrm{CAT}(0)$ spaces and Gromov $\delta $%

14: -hyperbolic spaces, stable norms of quasi-cocycles, rotation numbers of

15: circle homeomorphisms, dynamical degrees of birational maps and so on. We

16: study length functions on Lie groups, Gromov hyperbolic groups, arithmetic

17: subgroups, matrix groups over rings and Cremona groups. As applications, we

18: prove that every group homomorphism from an arithmetic subgroup of a simple

19: algebraic $\mathbb{Q}$-group of $\mathbb{Q}$-rank at least $2,$ or a

20: finite-index subgroup of the elementary group $E_{n}(R)$ $(n\geq 3)$ over an

21: associative ring, or the Cremona group $\mathrm{Bir}(P_{\mathbb{C}}^{2})$ to

22: any group $G$ having a purely positive length function must have its image

23: finite. Here $G$ can be outer automorphism group $\mathrm{Out}(F_{n})$ of

24: free groups, mapping classes group $\mathrm{MCG}(\Sigma _{g})$, $\mathrm{CAT}%

25: (0)$ groups or Gromov hyperbolic groups, or the group $\mathrm{Diff}(\Sigma

26: ,\omega )$ of diffeomorphisms of a hyperbolic closed surface preserving an

27: area form $\omega .$

28: \end{abstract}