ldots,m_r\geq 0$. If $P_1,\ldots,P_r$ are almost free, then for every $\ell\gg 0$, the following set has positive density: $$S_{\ell,m} :=
        \{\ 
            {\mathfrak{p}}\in S(A) : {\varepsilon}_{\ell,P_i}({\mathfrak{p}})=m_i,\forall i
        \ \}.$$

Let $A_i\subseteq A$ be the Zariski closure of $P_i$. Up to replacing $P_i$ by $mP_i$, for some $m\geq 1$, and excluding $\ell$ which divide $m$, we suppose that $A_i$ is connected. Then lemma \[lem:indep\] implies $P=\Pi_i P_i$ is independent in $B=\Pi_i A_i$, and thus the proposition follows from [@Peruccaord1 prop. 12]).

If $A$ is simple and if $\phi\neq 0\in{\mathrm{E}}(A)$, then the kernel of $\phi$ is finite and so $\phi(P)\neq 0$ for any non-torsion $P\in A(K)$. Hence if $A$ is simple and if $P\in A(K)$ is almost free, then $P$ is independent. An analogous remark also holds for more points. The following lemma gives a mildly different characterization of almost free points when $A$ is simple:

\[lem:simple\_indep\] Let $A$ be simple and $P_1,\ldots,P_r\in A(K)$ be points of infinite order. The following are equivalent:

1.  $P_1,\ldots,P_r$ are almost free;

2.  if $\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $\Sigma_i\phi_i(P_i)=0$ and if $\phi_1\in{\mathbb{Z}}$, then $\{\phi_i(P_i)\}={{\{0\}}}$.

It is clear that $1\Rightarrow 2$ (cf. (\[eqn:si\])), so suppose that 2 holds and $\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $\Sigma_i\phi_i(
ldots, m_r\geq 0$. If $ P_1,\ldots, P_r$ are almost free, then for every $ \ell\gg 0 $, the following set take incontrovertible density: $ $ S_{\ell, m }: = 
         \{\ 
             { \mathfrak{p}}\in S(A): { \varepsilon}_{\ell, P_i}({\mathfrak{p}})=m_i,\forall i 
         \ \}.$$ 

 Let $ A_i\subseteq A$ be the Zariski closure of $ P_i$. Up to supplant $ P_i$ by $ mP_i$, for some $ m\geq 1 $, and excluding $ \ell$ which divide $ m$, we presuppose that $ A_i$ is plug in. Then lemma   \[lem: indep\ ] implies $ P=\Pi_i P_i$ is independent in $ B=\Pi_i A_i$, and thus the proposition keep up from [ @Peruccaord1 prop.   12 ]). 

 If $ A$ is bare and if $ \phi\neq 0\in{\mathrm{E}}(A)$, then the kernel of $ \phi$ is finite and therefore $ \phi(P)\neq 0 $ for any non - torsion $ P\in A(K)$. Hence if $ A$ is simple and if $ P\in A(K)$ is almost free, then $ P$ is independent. An analogous remark besides holds for more points. The following lemma yield a mildly different word picture of almost complimentary points when $ A$ is simple: 

 \[lem: simple\_indep\ ] Let $ A$ be simple and $ P_1,\ldots, P_r\in A(K)$ be point of infinite order. The following are equivalent: 

 1.   $ P_1,\ldots, P_r$ are almost free; 

 2.   if $ \phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $ \Sigma_i\phi_i(P_i)=0 $ and if $ \phi_1\in{\mathbb{Z}}$, then $ \{\phi_i(P_i)\}={{\{0\}}}$. 

 It is clean that $ 1\Rightarrow 2 $ (cf.   (\[eqn: si\ ]) ), so suppose that 2 holds and $ \phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $ \Sigma_i\phi_i (
ldohs,m_r\geq 0$. If $P_1,\ldots,P_r$ are almost free, thgn for etery $\elm\gg 0$, the following set has positive vensuty: $$S_{\tjl,m} :=
        \{\ 
            {\manhfrak{p}}\in S(A) : {\carepsilon}_{\xml,P_i}({\matmyrak{p}})=j_l,\forano i
        \ \}.$$

Lej $A_i\subseteq A$ be the Zarivkk elosure of $P_i$. Up to replacing $P_i$ by $iP_i$, for slme $m\geq 1$, and gxclucyng $\sll$ which divide $m$, we suppose that $A_i$ is bonnected. Then lekma \[lem:indep\] implies $P=\Pi_i P_l$ is independent in $B=\Pl_i A_i$, and tyus eye propositiun follows from [@Perucczord1 prop. 12]).

If $A$ is simple and if $\ohi\nea 0\in{\mathrm{G}}(C)$, thft the kerneo of $\ihi$ is finite and so $\[hi(P)\neq 0$ for any non-tprsmon $P\in A(K)$. Hence if $A$ is vimple and if $P\in W(K)$ is almmsc free, then $P$ is indepebdent. An dnalutour rtmack zlso hllda for more points. The following lemma gifef a mildly difrerent craracterization of almost free points wven $A$ is simple:

\[lem:simple\_ineep\] Let $A$ be simple ajd $P_1,\ldots,[_r\in A(K)$ be points of infinite order. The following are xqjivcoent:

1.  $P_1,\lfots,P_r$ are almost free;

2.  if $\phi_1,\ldots,\phi_r\in{\mathwj{E}}(S)$ xatisfy $\Sigma_i\ihi_i(P_i)=0$ and if $\phi_1\im{\mwtnfb{Z}}$, then $\{\phi_i(K_i)\}={{\{0\}}}$.

It is clsar that $1\Rightarroa 2$ (cf. (\[eqg:si\])), si suppose thay 2 holds and $\phi_1,\ldots,\phi_r\in{\nathrm{E}}(A)$ satpsfy $\Sigma_i\phi_i(
ldots,m_r\geq 0$. If $P_1,\ldots,P_r$ are almost free, every 0$, the set has positive S(A) {\varepsilon}_{\ell,P_i}({\mathfrak{p}})=m_i,\forall i \ Let $A_i\subseteq A$ the Zariski closure of $P_i$. Up replacing $P_i$ by $mP_i$, for some $m\geq 1$, and excluding $\ell$ which divide we suppose that $A_i$ is connected. Then lemma \[lem:indep\] implies $P=\Pi_i P_i$ is in A_i$, thus proposition follows from [@Peruccaord1 prop. 12]). If $A$ is simple and if $\phi\neq 0\in{\mathrm{E}}(A)$, then the of $\phi$ is finite and so $\phi(P)\neq 0$ any non-torsion $P\in A(K)$. if $A$ is simple and $P\in is almost then is An analogous remark holds for more points. The following lemma gives a mildly different characterization of almost free points when is simple: $A$ be and A(K)$ points of infinite following are equivalent: 1. $P_1,\ldots,P_r$ are if $\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $\Sigma_i\phi_i(P_i)=0$ and if $\phi_1\in{\mathbb{Z}}$, then It is that $1\Rightarrow 2$ (cf. (\[eqn:si\])), so that 2 holds and $\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $\Sigma_i\phi_i(
ldots,m_r\geq 0$. If $P_1,\ldots,P_r$ are alMost free, thEn for EveRy $\eLl\Gg 0$, thE folLowing set has poSItivE density: $$S_{\ell,m} :=
        \{\ 
            {\mathfrak{p}}\In S(A) : {\vArEPsilON}_{\eLl,P_i}({\mAthfrak{P}})=M_i,\FORalL i
        \ \}.$$

leT $A_i\SuBSeTeq A$ bE thE ZariskI closure of $p_i$. UP tO replacing $P_i$ BY $mp_i$, for some $m\Geq 1$, And excluding $\Ell$ Which dIvIde $M$, We supPosE that $a_i$ is coNNected. then lemma \[LeM:Indep\] iMPlies $P=\PI_I p_i$ Is inDependent in $B=\Pi_i A_i$, ANd THus the propositIon folLoWS fROM [@PeRucCaord1 prop. 12]).

IF $A$ Is simPLe and if $\PHi\NEQ 0\In{\mAThrm{E}}(A)$, then the Kernel of $\phi$ IS fiNite anD sO $\phI(p)\neq 0$ foR any nOn-TOrsIon $P\in A(K)$. HenCe if $a$ is simple And if $P\IN A(K)$ is alMOst free, Then $P$ iS inDepEndeNT. AN aNalOgOUs rEMaRk aLSo hOlds for mOrE pOints. the fOLLOWing LemMa giVes a mIldly differenT chAracTEriZatioN of alMost FrEe poiNts wheN $A$ is sImPle:

\[lem:simple\_indEp\] LeT $A$ be simplE anD $P_1,\LdoTs,p_r\in A(k)$ Be poinTs oF inFinite oRder. The FOllOwING ArE equivalent:

1.  $P_1,\ldots,P_R$ aRE AlMost free;

2.  If $\phi_1,\lDOtS,\pHI_r\in{\mathRm{e}}(A)$ sAtisFY $\sigma_I\phi_I(p_i)=0$ And if $\phi_1\In{\mathBB{Z}}$, ThEn $\{\phi_i(P_I)\}={{\{0\}}}$.

IT is cleAr ThaT $1\RiGhtarROw 2$ (cf. (\[Eqn:si\])), sO suppose That 2 hOLds and $\phi_1,\ldots,\PHi_r\in{\mathrm{E}}(A)$ SAtISFy $\sIgma_I\phI_i(
ldots,m_r\geq 0$. If $P_1, \ldots,P_r $ are  al mos tfree , th en for every $ \ ell\ gg 0$, the following s et ha sp osit i ve  dens ity: $$ S _{ \ e ll, m}  : =
    \{\  
          {\math fra k{ p}}\in S(A):  { \varepsilo n}_ {\ell,P_i}({ \ma thfrak {p }}) = m_i,\ for all i 
      \ \} .$$

Let$A _ i\subs e teq A$b e  t he Z ariski closure of $P _ i$. Up to repl acing$P _ i$ b y $ mP_ i$, for so me  $m\g e q 1$, a n de x c lud i ng $\ell$ whi ch divide $ m $,we sup po set hat $A _i$ i sc onn ected. Then  lem ma \[lem: indep\ ]  implie s  $P=\Pi _i P_i $ i s i ndep e nd en t i n$ B=\ P i_ i A _ i$,  and thu sth e pro posi t i o n  fol low s fr om [@ Peruccaord1 p rop . 12 ] ).
If $ A$ is  sim pl e and  if $\ phi\n eq  0\in{\mathrm{E }}(A )$, thenthe  k ern el  of $ \ phi$ i s f ini te andso $\ph i (P) \n e q 0$  for any non-torsi on $ P\ in A(K)$ . Henc e  i f$ A$ is si mp leandi f  $P\i n A( K )$  is almo st fre e ,th en $P$is  indep en den t.An an a logo us rem ark also  hold s  for more poin t s. The follow i ng l em m a gi ves  a mildly d iffe r entchar a ct eri z ation  of a lm o st free points when $A $is sim ple:
\[lem:simple \_indep\]L e t  $A$ besimp l ea nd $P_1,\ldots ,P_r\ in A(K)$ b e  pointsof in finite o rder. The f ollowing  ar e e qui val e n t: 

1.  $P_1,\l d o ts,P _r $ are a lmo st free ;
2. if  $\ ph i_1,\ldot s,\phi_r \i n{ \m at hrm {E}}( A )$ satis fy  $\ Si gma _i\ph i _i(P_i )=0$andif  $ \ phi _1\in{\ m at h b b{Z} }$ ,then  $\ {\ phi_i (P_i ) \}= {{\{0\} }}$.

Itisc lear  t ha t $1\Ri ghtarrow 2$ ( cf . (\[eqn:s i\ ])) , so s u p pose tha t 2 holds and $\phi_1,\ l dots,\p hi_ r\in{ \mat hrm{E}}(A )$satisf y $ \ Sigma_ i\phi_ i(
ldots,m_r\geq 0$._If $P_1,\ldots,P_r$_are almost free, then_for every_$\ell\gg_0$, the_following_set has positive_density: $$S_{\ell,m} :=
_   _  _\{\_
            {\mathfrak{p}}\in S(A)_:_{\varepsilon}_{\ell,P_i}({\mathfrak{p}})=m_i,\forall i
___    _\ \}.$$

Let $A_i\subseteq A$ be_the Zariski_closure of $P_i$. Up to replacing $P_i$ by_$mP_i$,_for some $m\geq_1$, and excluding $\ell$ which divide $m$, we suppose_that $A_i$ is connected. Then lemma \[lem:indep\]_implies $P=\Pi_i P_i$_is_independent_in $B=\Pi_i A_i$, and_thus the proposition follows from [@Peruccaord1_prop. 12]).

If $A$ is simple and if_$\phi\neq 0\in{\mathrm{E}}(A)$, then the kernel of $\phi$_is finite and so $\phi(P)\neq 0$_for any non-torsion $P\in A(K)$._Hence if_$A$ is simple and if_$P\in A(K)$ is_almost free,_then $P$ is_independent. An analogous remark also holds_for more points._The following lemma gives a mildly_different_characterization of almost_free_points_when $A$_is simple:

\[lem:simple\_indep\] Let_$A$_be simple_and_$P_1,\ldots,P_r\in A(K)$ be points of infinite_order._The following are equivalent:

1.  $P_1,\ldots,P_r$ are_almost free;

2.  if_$\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$_satisfy $\Sigma_i\phi_i(P_i)=0$ and if_$\phi_1\in{\mathbb{Z}}$, then $\{\phi_i(P_i)\}={{\{0\}}}$.

It is clear_that $1\Rightarrow 2$ (cf. (\[eqn:si\])), so suppose_that 2_holds and_$\phi_1,\ldots,\phi_r\in{\mathrm{E}}(A)$ satisfy $\Sigma_i\phi_i(