]_{\phi(A)}$, then $\pi=\psi\phi\neq 0\in{\mathrm{E}}(A)$ since $\phi\pi=m\phi\neq 0$, and thus $3\Rightarrow 1$.

\[rem:infinite\] If ${\Gamma}\subseteq A(K)$ is a finite submodule, then it is not dense, so a dense submodule is infinite. Conversely, if $A$ is simple and if ${\Gamma}\subseteq A(K)$ is an infinite submodule, then ${\Gamma}$ is dense.

Isogeny Invariance {#sec:proof:isogeny}
------------------

Let ${\Gamma}\subseteq A(K)$, ${\Gamma}'\subseteq A'(K)$ be submodules. The following lemma shows that condition 1 of theorem \[thm1\] is isogeny invariant:

\[lem:isogeny\] Suppose that $\iota\in{\mathrm{H}}(A,B)$, $\iota'\in{\mathrm{H}}(A',B')$ are isogenies. Then there exist $\hat\iota\in{\mathrm{H}}(B,A)$, $\hat\iota'\in{\mathrm{H}}(B',A')$ and $m,m'\geq 1$ satisfying $\hat\iota\iota=[m]_A$ and $\hat\iota'\iota'=[m']_{A'}$, and the following are equivalent:

1.  $\exists\,\phi\in{\mathrm{H}}(A,A')$ such that $\ker[\phi]$ and $[\phi(m{\Gamma}):\phi(m{\Gamma})\cap m'{\Gamma}']$ are finite;

2.  $\exists\,\phi\in{\mathrm{H}}(A,A')$ such that $\ker[\phi]$ and $[\phi({\Gamma}):\phi({\Gamma})\cap{\Gamma}']$ are finite;

3.  $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such that $\ker[\phi']$ and $[\phi'\iota({\Gamma}):\phi'\iota({\Gamma})\cap\iota'({\Gamma}')]$ are finite;

4.  $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such that $\ker[\phi']$ and $[\phi'(\iota_*({\Gamma})):\phi'(\iota_*({\Gamma}))\cap\iota'_*({\Gamma}')]$ are finite.
] _ { \phi(A)}$, then $ \pi=\psi\phi\neq 0\in{\mathrm{E}}(A)$ since $ \phi\pi = m\phi\neq 0 $, and thus $ 3\Rightarrow 1$. 

 \[rem: infinite\ ] If $ { \Gamma}\subseteq A(K)$ is a finite submodule, then it is not dense, so a dense submodule is infinite. Conversely, if $ A$ is simple and if $ { \Gamma}\subseteq A(K)$ is an infinite submodule, then $ { \Gamma}$ is dense. 

 Isogeny Invariance { # sec: validation: isogeny } 
 ------------------ 

 lease $ { \Gamma}\subseteq A(K)$, $ { \Gamma}'\subseteq A'(K)$ be submodules. The following lemma shows that circumstance 1 of theorem   \[thm1\ ] is isogeny invariant: 

 \[lem: isogeny\ ] presuppose that $ \iota\in{\mathrm{H}}(A, B)$, $ \iota'\in{\mathrm{H}}(A',B')$ are isogenies. Then there exist $ \hat\iota\in{\mathrm{H}}(B, A)$, $ \hat\iota'\in{\mathrm{H}}(B',A')$ and $ m, m'\geq 1 $ satisfying $ \hat\iota\iota=[m]_A$ and $ \hat\iota'\iota'=[m']_{A'}$, and the following are equivalent: 

 1.   $ \exists\,\phi\in{\mathrm{H}}(A, A')$ such that $ \ker[\phi]$ and $ [ \phi(m{\Gamma}):\phi(m{\Gamma})\cap m'{\Gamma}']$ are finite; 

 2.   $ \exists\,\phi\in{\mathrm{H}}(A, A')$ such that $ \ker[\phi]$ and $ [ \phi({\Gamma}):\phi({\Gamma})\cap{\Gamma}']$ are finite; 

 3.   $ \exists\,\phi'\in{\mathrm{H}}(B, B')$ such that $ \ker[\phi']$ and $ [ \phi'\iota({\Gamma}):\phi'\iota({\Gamma})\cap\iota'({\Gamma}')]$ are finite; 

 4.   $ \exists\,\phi'\in{\mathrm{H}}(B, B')$ such that $ \ker[\phi']$ and $ [ \phi'(\iota_*({\Gamma})):\phi'(\iota_*({\Gamma}))\cap\iota'_*({\Gamma}')]$ are finite.
]_{\phi(W)}$, then $\pi=\psi\phi\neq 0\in{\matmrm{E}}(A)$ since $\phi\pn=n\phi\nex 0$, and thus $3\Riehtarrow 1$.

\[rem:infinite\] If ${\Gamme}\subweteq A(K)$ is a finite submodjle, then pt is not denww, so a dense submodule ia infnnmte. Conversely, lf $A$ is sim[le and if ${\Gamka}\ruyseteq A(K)$ is an infinite submodule, tren ${\Gamka}$ is dense.

Isogegy Imdariznce {#sec:proof:isogeny}
------------------

Let ${\Gamma}\subsefeq A(K)$, ${\Jamma}'\subseteq A'(L)$ be submodules. The followlng pemma shows that clndition 1 od thqirem \[thm1\] is irogeny invariant:

\[lem:isofeny\] Suppose that $\iota\in{\mathrm{H}}(X,B)$, $\ioca'\in{\mathrm{H}}(Q',B')$ arf isogenies. Vhen trere exist $\hat\iota\in{\kathrm{H}}(N,A)$, $\hat\iota'\in{\mabhrm{H}}(U',A')$ abd $m,m'\geq 1$ satisfying $\iat\iota\iota=[m]_A$ and $\haj\iota'\iota'=[m']_{D'}$, cnd the following are ewuivanent:

1.  $\exkwts\,\ohi\jn{\kafhrm{H}}(A,W')$ snch that $\ked[\phi]$ and $[\phu(m{\Gamma}):\phi(m{\Gamma})\cap m'{\Dqmma}']$ are finife;

2.  $\exyses\,\phi\in{\mathrm{H}}(A,A')$ such that $\ker[\phi]$ and $[\pvi({\Gzmma}):\phi({\Gamma})\cap{\Gamma}']$ arw finite;

3.  $\exists\,\phi'\in{\lathrm{H}}(B,B')$ such that $\ker[\phi']$ and $[\phi'\iota({\Gamma}):\phi'\iota({\Gamma})\cap\hota'({\Gemoa}')]$ cvc fivutf;

4.  $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such that $\ker[\phi']$ and $[\[gi'(\oona_*({\Gamma})):\phi'(\iota_*({\Gamia}))\cap\iota'_*({\Gakmw}')]$ ste finite.
]_{\phi(A)}$, then $\pi=\psi\phi\neq 0\in{\mathrm{E}}(A)$ since $\phi\pi=m\phi\neq 0$, $3\Rightarrow \[rem:infinite\] If A(K)$ is a not so a dense is infinite. Conversely, $A$ is simple and if ${\Gamma}\subseteq is an infinite submodule, then ${\Gamma}$ is dense. Isogeny Invariance {#sec:proof:isogeny} ------------------ Let A(K)$, ${\Gamma}'\subseteq A'(K)$ be submodules. The following lemma shows that condition 1 of \[thm1\] isogeny \[lem:isogeny\] that $\iota\in{\mathrm{H}}(A,B)$, $\iota'\in{\mathrm{H}}(A',B')$ are isogenies. Then there exist $\hat\iota\in{\mathrm{H}}(B,A)$, $\hat\iota'\in{\mathrm{H}}(B',A')$ and $m,m'\geq 1$ satisfying $\hat\iota\iota=[m]_A$ and and the following are equivalent: 1. $\exists\,\phi\in{\mathrm{H}}(A,A')$ such $\ker[\phi]$ and $[\phi(m{\Gamma}):\phi(m{\Gamma})\cap m'{\Gamma}']$ finite; 2. $\exists\,\phi\in{\mathrm{H}}(A,A')$ such that and are finite; $\exists\,\phi'\in{\mathrm{H}}(B,B')$ that and $[\phi'\iota({\Gamma}):\phi'\iota({\Gamma})\cap\iota'({\Gamma}')]$ are 4. $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such that $\ker[\phi']$ and $[\phi'(\iota_*({\Gamma})):\phi'(\iota_*({\Gamma}))\cap\iota'_*({\Gamma}')]$ are finite.
]_{\phi(A)}$, then $\pi=\psi\phi\neq 0\in{\mathRm{E}}(A)$ since $\pHi\pi=m\Phi\Neq 0$, AnD thuS $3\RigHtarrow 1$.

\[rem:infiNIte\] IF ${\Gamma}\subseteq A(K)$ is a finIte suBmODule, THeN it is Not densE, So A DEnsE sUbModUlE Is InfinIte. conversEly, if $A$ is siMplE aNd if ${\Gamma}\subSEtEq A(K)$ is an inFinIte submodule, TheN ${\Gamma}$ Is DenSE.

IsogEny invarIance {#sEC:proof:Isogeny}
------------------

LeT ${\GAMma}\subSEteq A(K)$, ${\GAMMa}'\SubsEteq A'(K)$ be submoduleS. thE Following lemma Shows tHaT CoNDItiOn 1 oF theorem \[thM1\] iS isogENy invarIAnT:

\[LEM:isOGeny\] Suppose thAt $\iota\in{\matHRm{H}}(a,B)$, $\iota'\In{\MatHRm{H}}(A',B')$ aRe isoGeNIes. then there exIst $\hAt\iota\in{\mAthrm{H}}(b,a)$, $\hat\iotA'\In{\mathrM{H}}(B',A')$ anD $m,m'\Geq 1$ SatiSFyInG $\haT\iOTa\iOTa=[M]_A$ aND $\haT\iota'\iotA'=[m']_{a'}$, aNd the FollOWING are EquIvalEnt:

1.  $\exIsts\,\phi\in{\mathRm{H}}(a,A')$ suCH thAt $\ker[\Phi]$ anD $[\phi(M{\GAmma}):\pHi(m{\GamMa})\cap M'{\GAmma}']$ are finite;

2.  $\exIsts\,\Phi\in{\mathRm{H}}(a,A')$ SucH tHat $\keR[\Phi]$ and $[\Phi({\gamMa}):\phi({\GaMma})\cap{\GAMma}']$ ArE FINiTe;

3.  $\exists\,\phi'\in{\mathrM{H}}(b,b')$ SuCh that $\keR[\phi']$ anD $[\PhI'\iOTa({\Gamma}):\pHi'\IotA({\GamMA})\Cap\ioTa'({\GaMMa}')]$ Are finitE;

4.  $\existS\,\PhI'\iN{\mathrm{h}}(B,b')$ such tHaT $\keR[\phI']$ and $[\pHI'(\iotA_*({\Gamma})):\Phi'(\iota_*({\GAmma}))\cAP\iota'_*({\Gamma}')]$ are fINite.
]_{\phi(A)}$, then $\pi=\p si\phi\neq  0\in {\m ath rm {E}} (A)$  since $\phi\p i =m\p hi\neq 0$, and thus $3 \Righ ta r row1 $. 

\[r em:infi n it e \ ] I f${ \Ga mm a }\ subse teq  A(K)$is a finit e s ub module, then it  is not de nse , so a dense  su bmodul eisi nfini te.  Conv ersely ,  if $A $ is simp le and if ${\Gamm a } \s ubse teq A(K)$ is an i n fi n ite submodule,  then${ \ Ga m m a}$  is  dense.

I so genyI nvarian c e{ # s ec: p roof:isogeny} 
---------- - --- ----
Le t $ { \Gamma }\sub se t eqA(K)$, ${\G amma }'\subset eq A'( K )$ be s u bmodule s. The  fo llo wing le mm a s ho w s t h at  co n dit ion 1 of  t he orem\[th m 1 \ ]  isiso geny  inva riant:

\[lem :is ogen y \]Suppo se th at $ \i ota\i n{\mat hrm{H }} (A,B)$, $\iota' \in{ \mathrm{H }}( A' ,B' )$  arei sogeni es.  Th en ther e exist $\h at \ i o ta \in{\mathrm{H}}(B, A) $ ,  $ \hat\iot a'\in{ \ ma th r m{H}}(B' ,A ')$  and $ m,m'\ geq1 $satisfyi ng $\h a t\ io ta\iota =[ m]_A$an d $ \ha t\iot a '\io ta'=[m ']_{A'}$ , and the followinga re equivalent : 
1 .  $ \exi sts \,\phi\in{\ math r m{H} }(A, A ') $ s u ch th at $\ ke r [\ p hi]$ and $[\phi(m{\ Ga mma}): \phi( m{\Gamma})\ca p m'{\Gamm a } ' ]$ are f init e ;2.  $\exists\, \phi\ in{\mathrm { H}}(A,A' )$ su ch that$\ker[\ph i ] $ and $[ \ph i({ \Ga mma } ) :\ phi({\Gamma}) \ c ap{\ Ga mma}']$  ar e finit e;
3.   $ \ex is ts\,\phi' \in{\mat hr m{ H} }( B,B ')$ s u ch that$\ ker [\ phi ']$ a n d $[\p hi'\i ota( {\ Ga m ma} ):\phi' \ io t a ({\G am ma })\c ap\ io ta'({ \Gam m a}' )]$ are  finite;
4.  $\e xi st s\,\phi '\in{\mathrm{ H} }(B,B')$ s uc h t hat $\ k e r[\phi'] $ and $[\phi'(\iota_*({ \ Gamma}) ):\ phi'( \iot a_*({\Gam ma} ))\cap \io t a'_*({ \Gamma }')]$  a ref i nite. 
]_{\phi(A)}$, then_$\pi=\psi\phi\neq 0\in{\mathrm{E}}(A)$_since $\phi\pi=m\phi\neq 0$, and_thus $3\Rightarrow_1$.

\[rem:infinite\]_If ${\Gamma}\subseteq_A(K)$_is a finite_submodule, then it_is not dense, so_a dense submodule_is_infinite. Conversely, if $A$ is simple and if ${\Gamma}\subseteq A(K)$ is an infinite submodule,_then_${\Gamma}$ is_dense.

Isogeny_Invariance_{#sec:proof:isogeny}
------------------

Let ${\Gamma}\subseteq A(K)$, ${\Gamma}'\subseteq A'(K)$_be submodules. The following lemma_shows that_condition 1 of theorem \[thm1\] is isogeny invariant:

\[lem:isogeny\] Suppose_that_$\iota\in{\mathrm{H}}(A,B)$, $\iota'\in{\mathrm{H}}(A',B')$ are_isogenies. Then there exist $\hat\iota\in{\mathrm{H}}(B,A)$, $\hat\iota'\in{\mathrm{H}}(B',A')$ and $m,m'\geq 1$_satisfying $\hat\iota\iota=[m]_A$ and $\hat\iota'\iota'=[m']_{A'}$, and the_following are equivalent:

1.__$\exists\,\phi\in{\mathrm{H}}(A,A')$_such that $\ker[\phi]$ and_$[\phi(m{\Gamma}):\phi(m{\Gamma})\cap m'{\Gamma}']$ are finite;

2.  $\exists\,\phi\in{\mathrm{H}}(A,A')$_such that $\ker[\phi]$ and $[\phi({\Gamma}):\phi({\Gamma})\cap{\Gamma}']$ are_finite;

3.  $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such that $\ker[\phi']$ and_$[\phi'\iota({\Gamma}):\phi'\iota({\Gamma})\cap\iota'({\Gamma}')]$ are finite;

4.  $\exists\,\phi'\in{\mathrm{H}}(B,B')$ such_that $\ker[\phi']$ and $[\phi'(\iota_*({\Gamma})):\phi'(\iota_*({\Gamma}))\cap\iota'_*({\Gamma}')]$ are_finite.