 i \le k$

4.  ${\pi}(a^{+}) \ne x,$ if $h_1 \ne 1$ and ${\pi}g_1 (a^{+}) \ne x$ otherwise

Since $\{g_1,g_2,\ldots, g_{k-1}\}$ are by assumption non scalar matrices we can choose $v_1$ which is not an eigenvector of any of them. $v_2$ is chosen to be linearly independent of $v_1$ and not an eigenvector of any of the matrices $\{h_2,\ldots,h_k\}$. Now choose the rest of the basis $\{v_3,\ldots,v_n\}$ in such a way that $H^{\pm}$ stay away from the finitely many points as required in the second and third conditions. In addition we choose these hyperplanes in such a way that $g_k([W^{+}]) \not \subset H^{+}$ in order to make the first condition possible. Now choose $v \in W$ so as to actually satisfy the first and fourth conditions. The latter is always possible by our assumption that $\dim(W) > \dim(\ker({\pi}))+1 = \dim {\pi}^{-1}({{\operatorname{Span}}}\{v_1\}) = \dim {\pi}^{-1}({{\operatorname{Span}}}\{g_1 v_1\})$.

It is clear by all these choices, arguing by induction on $m$, that $$\lim_{L {\rightarrow}\infty} {\pi}\Phi_f(L)(\go)(x) =
\left \{
   \begin{array}{ll}
   {\pi}(a^{+}) \ne x, \ & {\text{if }} h_1 \ne 1 \\
   {\pi}g_1 (a^{+}), \ & {\text{if }} h_1 = 1 
   \end{array} \right \}
\ne x$$ Which concludes the proof.

Similar linearity statements for free products are well known and established for example in [@shalen:free]. However since we didn’t find the exact statement we needed we included the complete proof.

The previous theorem gives rise to our linear version of Theorem \[thm:RST\_free\]

(Free product) \[thm:free\_prod\] Under the assumptions of Theorem \[thm:tec\] set $G_1 = G*{{\mathbf{Z}}}$
i \le k$ 

 4.   $ { \pi}(a^{+ }) \ne x,$ if $ h_1 \ne 1 $ and $ { \pi}g_1 (a^{+ }) \ne x$ otherwise 

 Since $ \{g_1,g_2,\ldots, g_{k-1}\}$ are by assumption non scalar matrices we can choose $ v_1 $ which is not an eigenvector of any of them. $ v_2 $ is chosen to be linearly autonomous of $ v_1 $ and not an eigenvector of any of the matrix $ \{h_2,\ldots, h_k\}$. Now choose the rest of the footing $ \{v_3,\ldots, v_n\}$ in such a way that $ H^{\pm}$ quell away from the finitely many points as necessitate in the second and third conditions. In addition we choose these hyperplanes in such a manner that $ g_k([W^{+ } ]) \not \subset H^{+}$ in order to make the beginning condition possible. immediately choose $ five \in W$ so as to actually satisfy the first and fourth conditions. The latter is always possible by our premise that $ \dim(W) > \dim(\ker({\pi}))+1 = \dim { \pi}^{-1}({{\operatorname{Span}}}\{v_1\ }) = \dim { \pi}^{-1}({{\operatorname{Span}}}\{g_1 v_1\})$. 

 It is clear by all these choices, arguing by trigger on $ m$, that $ $ \lim_{L { \rightarrow}\infty } { \pi}\Phi_f(L)(\go)(x) = 
 \left \ { 
    \begin{array}{ll } 
    { \pi}(a^{+ }) \ne x, \ & { \text{if } } h_1 \ne 1 \\ 
    { \pi}g_1 (a^{+ }), \ & { \text{if } } h_1 = 1 
    \end{array } \right \ } 
 \ne x$$ Which concludes the proof. 

 Similar linearity statement for free products are well known and established for example in [ @shalen: spare ]. However since we did n’t find the exact statement we needed we included the complete proof. 

 The previous theorem gives rise to our linear version of Theorem \[thm: RST\_free\ ] 

 (Free product) \[thm: free\_prod\ ] Under the assumptions of Theorem \[thm: tec\ ] set $ G_1 = G*{{\mathbf{Z}}}$
 i \pe k$

4.  ${\pi}(a^{+}) \ne x,$ if $h_1 \ne 1$ xnd ${\pi}g_1 (a^{+}) \ne x$ otherwive

Sincs $\{g_1,g_2,\ldotr, g_{k-1}\}$ are by assumption non sralae mateices we can choose $v_1$ dhich is jot an eugentector of any of them. $v_2$ lf chkden co be linearly ikdependent mf $v_1$ and not at diyenvector of any of the matrices $\{h_2,\ldjts,h_k\}$. Npw choose the reft og the basis $\{v_3,\ldots,v_n\}$ in such a way that $H^{\pm}$ stey away from thr finitely many points as gequlred in the second and third xondyrions. In addktion we choose these gyperplanes in such a way that $e_k([W^{+}]) \npt \subset Y^{+}$ un ltder to make the sirst conditlpn posvible. Npw choose $v \in W$ vo qs to actually satisfb the first and fourjh conditimna. The latter is aowqys pmssitle ct ojr zsxujption thet $\dim(W) > \dij(\ker({\pi}))+1 = \dim {\pi}^{-1}({{\operatorname{Span}}}\{f_1\}) = \eim {\pi}^{-1}({{\operatodname{S[ag}}}\{g_1 v_1\})$.

It is clear by all these choices, arcuihg by induction on $m$, thqt $$\lim_{L {\rightarrow}\infjy} {\pi}\Phi_f(L)(\do)(x) =
\left \{
   \begin{array}{ll}
   {\pi}(a^{+}) \ne x, \ & {\text{if }} h_1 \na 1 \\
   {\oi}g_1 (a^{+}), \ & {\tfxt{if }} h_1 = 1 
   \end{array} \right \}
\ne x$$ Which concltsex nhe proof.

Similar jinearity syahekgnts for free kroducts ade well known and fstablifhed dor exampje im [@shalen:free]. However since qe didn’t finb tye exact statement we needed ce inckuded the complete proof.

The 'reviohs theorem hives riss to our linear vdrspon mf Theorto \[thm:RST\_free\]

(Free [roduct) \[tim:frez\_prod\] Unaer jhe asstmptions ov Theorem \[thm:tec\] set $G_1 = H*{{\mathyf{Z}}}$
i \le k$ 4. ${\pi}(a^{+}) \ne x,$ \ne and ${\pi}g_1 \ne x$ otherwise assumption scalar matrices we choose $v_1$ which not an eigenvector of any of $v_2$ is chosen to be linearly independent of $v_1$ and not an eigenvector any of the matrices $\{h_2,\ldots,h_k\}$. Now choose the rest of the basis $\{v_3,\ldots,v_n\}$ such way $H^{\pm}$ away from the finitely many points as required in the second and third conditions. In addition choose these hyperplanes in such a way that \not \subset H^{+}$ in to make the first condition Now $v \in so to satisfy the first fourth conditions. The latter is always possible by our assumption that $\dim(W) > \dim(\ker({\pi}))+1 = \dim {\pi}^{-1}({{\operatorname{Span}}}\{v_1\}) \dim {\pi}^{-1}({{\operatorname{Span}}}\{g_1 is clear all choices, by induction on $$\lim_{L {\rightarrow}\infty} {\pi}\Phi_f(L)(\go)(x) = \left \{ x, \ & {\text{if }} h_1 \ne 1 {\pi}g_1 (a^{+}), & {\text{if }} h_1 = 1 \right \} \ne x$$ Which concludes the proof. linearity statements for free products are well known and established for example in [@shalen:free]. However didn’t find the exact we needed we the proof. previous gives rise our linear version of Theorem \[thm:RST\_free\] (Free product) \[thm:free\_prod\] Under the of Theorem \[thm:tec\] set $G_1 = G*{{\mathbf{Z}}}$
 i \le k$

4.  ${\pi}(a^{+}) \ne x,$ if $h_1 \ne 1$ and ${\pi}g_1 (a^{+}) \ne x$ Otherwise

SInce $\{g_1,G_2,\ldOts, G_{k-1}\}$ Are bY assUmption non scalAR matRices we can choose $v_1$ which Is not An EIgenVEcTor of Any of thEM. $v_2$ IS ChoSeN tO be LiNEaRly inDepEndent oF $v_1$ and not an EigEnVector of any oF ThE matrices $\{h_2,\LdoTs,h_k\}$. Now choosE thE rest oF tHe bASis $\{v_3,\lDotS,v_n\}$ in Such a wAY that $H^{\Pm}$ stay awaY fROm the fINitely mANY pOintS as required in the sECoND and third condiTions. IN aDDiTIOn wE chOose these hYpErplaNEs in sucH A wAY THat $G_K([W^{+}]) \not \subset H^{+}$ iN order to makE The First cOnDitIOn possIble. NOw CHooSe $v \in W$ so as tO actUally satiSfy the FIrst and FOurth coNditioNs. THe lAtteR Is AlWayS pOSsiBLe By oUR asSumption ThAt $\Dim(W) > \dIm(\keR({\PI}))+1 = \DIm {\pi}^{-1}({{\OpeRatoRname{span}}}\{v_1\}) = \dim {\pi}^{-1}({{\opeRatOrnaME{SpAn}}}\{g_1 v_1\})$.

IT is clEar bY aLl theSe choiCes, arGuIng by induction oN $m$, thAt $$\lim_{L {\rigHtaRrOw}\iNfTy} {\pi}\PHI_f(L)(\go)(x) =
\LefT \{
   \beGin{arraY}{ll}
   {\pi}(a^{+}) \nE X, \ & {\teXt{IF }} H_1 \Ne 1 \\
   {\Pi}g_1 (a^{+}), \ & {\text{if }} h_1 = 1 
   \end{arraY} \rIGHt \}
\Ne x$$ Which ConcluDEs ThE Proof.

SimIlAr lIneaRITy staTemeNTs For free pRoductS ArE wEll knowN aNd estaBlIshEd fOr exaMPle iN [@shaleN:free]. HowEver sINce we didn’t find THe exact statemENt WE NeEDed wE inCluded the coMpleTE proOf.

ThE PrEviOUs theOrem gIvES rISe to our linear versioN oF TheorEm \[thm:rST\_free\]

(Free prOduct) \[thm:frEE\_PRod\] Under The aSSuMPtions of TheoreM \[thm:tEc\] set $G_1 = G*{{\matHBf{Z}}}$
 i \le k$

4.  ${\pi}(a^{+ }) \ne x,$  if $ h_1  \n e1$ a nd $ {\pi}g_1 (a^{+ } ) \n e x$ otherwise

Since$\{g_ 1, g _2,\ l do ts, g _{k-1}\ } $a r e b yas sum pt i on  nonsca lar mat rices we c anch oose $v_1$ w h ic h is not a n e igenvector o f a ny ofth em. $v_2$  is  chos en tob e line arly inde pe n dent o f  $v_1$a n dnotan eigenvector of an y  of the matric es $\{ h_ 2 ,\ l d ots ,h_ k\}$. Nowch ooset he rest of t h e b a sis $\{v_3,\l dots,v_n\}$ insuch a  w ayt hat $H ^{\pm }$ sta y away from  the  finitely  manyp oints a s  requir ed inthe  se cond an dthi rd con d it ion s . I n additi on  w e cho oset h e s e hy per plan es in  such a way t hat  $g_ k ([W ^{+}] ) \no t \s ub set H ^{+}$in or de r to make the f irst  conditio n p os sib le . Now choose  $v  \i n W$ so  as toa ctu al l y sa tisfy the first an df o ur th condi tions. Th el atter is  a lwa ys p o s sible  byo ur  assumpt ion th a t$\ dim(W)>\dim(\ ke r({ \pi }))+1 = \d im {\p i}^{-1}( {{\op e ratorname{Span } }}\{v_1\}) =\ di m {\ p i}^{ -1} ({{\operato rnam e {Spa n}}} \ {g _1v _1\}) $.

I ti sc lear by all these c ho ices,argui ng by inducti on on $m$, t h at $$\li m_{L {\ r ightarrow}\inf ty} { \pi}\Phi_f ( L)(\go)( x) =\left \{ 
   \begi n { array}{l l}  {\p i}( a ^ {+ }) \ne x, \ & { \tex t{ if }} h _1\ne 1 \ \
  { \pi }g_ 1(a^{+}),\ & {\te xt {i f}}  h_ 1 = 1 
   \end {a rra y}  \r ight\ }
\nex$$ W hich  c on c lud es thep ro o f .

S im il ar l ine ar ity s tate m ent s for f ree produ cts arewe ll  knownand establish ed  for examp le  in  [@sha l e n:free].  However since we didn’ t  find t heexact  sta tement we  ne eded w e i n cluded  the c omple te  pr o o f.

T h e  p rev io us theorem g ive s ris eto o ur line ar version of Theo r em\[thm:RST\_fr ee\ ]

( F r ee  pr o du c t)\[ t hm: f r ee\_prod\] Unde r the assu mp t io ns of Theo r em\[ thm:tec \] set$G_1=  G*{{\m athbf{Z}} }$
 i_\le k$

4._ ${\pi}(a^{+}) \ne x,$_if $h_1_\ne_1$ and_${\pi}g_1_(a^{+}) \ne x$_otherwise

Since $\{g_1,g_2,\ldots, g_{k-1}\}$_are by assumption non_scalar matrices we_can_choose $v_1$ which is not an eigenvector of any of them. $v_2$ is chosen_to_be linearly_independent_of_$v_1$ and not an eigenvector_of any of the matrices_$\{h_2,\ldots,h_k\}$. Now_choose the rest of the basis $\{v_3,\ldots,v_n\}$ in_such_a way that_$H^{\pm}$ stay away from the finitely many points as_required in the second and third_conditions. In addition_we_choose_these hyperplanes in such_a way that $g_k([W^{+}]) \not \subset_H^{+}$ in order to make the_first condition possible. Now choose $v \in_W$ so as to actually satisfy_the first and fourth conditions._The latter_is always possible by our_assumption that $\dim(W)_> \dim(\ker({\pi}))+1_= \dim {\pi}^{-1}({{\operatorname{Span}}}\{v_1\})_= \dim {\pi}^{-1}({{\operatorname{Span}}}\{g_1 v_1\})$.

It is clear_by all these_choices, arguing by induction on $m$,_that_$$\lim_{L {\rightarrow}\infty} {\pi}\Phi_f(L)(\go)(x)_=
\left_\{
_ _\begin{array}{ll}
  _{\pi}(a^{+})_\ne x,_\_& {\text{if }} h_1 \ne 1_\\
_  {\pi}g_1 (a^{+}), \ & {\text{if_}} h_1 = 1_
_  \end{array} \right_\}
\ne x$$ Which concludes the_proof.

Similar linearity statements for free products_are well_known and_established for example in [@shalen:free]. However since we didn’t find the_exact statement we needed we included_the complete proof.

The previous_theorem gives_rise_to our linear_version_of Theorem_\[thm:RST\_free\]

(Free product) \[thm:free\_prod\] Under the assumptions of_Theorem \[thm:tec\]_set $G_1 = G*{{\mathbf{Z}}}$