\relax 
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{The Group Law on an Elliptic Curve}}{1}}
\newlabel{sec:grouplaw}{{1}{1}}
\newlabel{defn:elliptic}{{1.1}{1}}
\newlabel{defn:grouplaw}{{1.2}{1}}
\newlabel{lem:pregplaw}{{1.3}{1}}
\newlabel{thm:gplaw}{{1.4}{1}}
\newlabel{comm:birathom}{{1.5}{3}}
\newlabel{comm:affineell}{{1.6}{3}}
\newlabel{thm:wform}{{1.7}{3}}
\newlabel{comm:quartic}{{1.8}{3}}
\newlabel{comm:wform}{{1.9}{3}}
\newlabel{ex:gplaw}{{1.10}{4}}
\newlabel{lem:expl}{{1.11}{5}}
\newlabel{ell:degen}{{1.12}{5}}
\newlabel{defn:tors}{{1.13}{5}}
\newlabel{exs:tors}{{1.14}{6}}
\newlabel{thm:hasse}{{1.15}{6}}
\newlabel{ex:hasse}{{1.16}{6}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{The $p$-adic Numbers ${\mathbb  Q}_p$}}{7}}
\newlabel{sec:padics}{{2}{7}}
\newlabel{defn:valuation}{{2.1}{7}}
\newlabel{defn:padicval}{{2.2}{7}}
\newlabel{ex:padicval}{{2.3}{7}}
\newlabel{lem:padicval}{{2.4}{7}}
\newlabel{comm:maxcomm}{{2.5}{8}}
\newlabel{defn:converge}{{2.6}{8}}
\newlabel{exs:convpadic}{{2.7}{8}}
\newlabel{defn:padics}{{2.8}{9}}
\newlabel{exs:padicexp}{{2.9}{9}}
\newlabel{comm:localglobal}{{2.10}{10}}
\newlabel{defn:residuefield}{{2.11}{10}}
\newlabel{thm:series}{{2.12}{10}}
\newlabel{comm:maxseries}{{2.13}{11}}
\newlabel{thm:hensel}{{2.14}{11}}
\newlabel{ex:hensel}{{2.15}{12}}
\newlabel{cor:squares}{{2.16}{12}}
\newlabel{ex:squares}{{2.17}{12}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The Reduction Map on an Elliptic Curve}}{13}}
\newlabel{sec:red}{{3}{13}}
\newlabel{defn:reduction}{{3.1}{13}}
\newlabel{ex:reduction}{{3.2}{13}}
\newlabel{defn:curvereduc}{{3.3}{13}}
\newlabel{defn:lift}{{3.4}{13}}
\newlabel{ex:lift}{{3.5}{14}}
\newlabel{thm:lifting}{{3.6}{14}}
\newlabel{thm:redhom}{{3.7}{14}}
\newlabel{cor:redhom}{{3.8}{15}}
\newlabel{defn:kerred}{{3.9}{16}}
\newlabel{lem:wz}{{3.10}{17}}
\newlabel{comm:laurent}{{3.11}{17}}
\newlabel{lem:ellformal}{{3.12}{18}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Formal Groups}}{19}}
\newlabel{sec:formalgroups}{{4}{19}}
\newlabel{defn:formalgroup}{{4.1}{19}}
\newlabel{ex:formalgroup}{{4.2}{19}}
\newlabel{lem:formalinv}{{4.3}{19}}
\newlabel{defn:formalhom}{{4.4}{20}}
\newlabel{ex:homgmga}{{4.5}{20}}
\newlabel{defn:formalmultm}{{4.6}{20}}
\newlabel{lem:psinv}{{4.7}{20}}
\newlabel{lem:multmiso}{{4.8}{20}}
\newlabel{defn:invdiff}{{4.9}{21}}
\newlabel{thm:invdiffunique}{{4.11}{21}}
\newlabel{cor:invdiffs}{{4.12}{22}}
\newlabel{cor:multp}{{4.13}{22}}
\newlabel{defn:formallog}{{4.14}{22}}
\newlabel{thm:formallog}{{4.15}{23}}
\newlabel{comm:exp}{{4.16}{23}}
\newlabel{defn:fm}{{4.17}{23}}
\newlabel{lem:torfm}{{4.18}{23}}
\newlabel{thm:ptors}{{4.19}{24}}
\newlabel{cor:elltor}{{4.20}{24}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Global Torsion}}{25}}
\newlabel{sec:torsion}{{5}{25}}
\newlabel{lem:inj}{{5.1}{25}}
\newlabel{ex:torsff}{{5.2}{25}}
\newlabel{lem:torsint}{{5.3}{26}}
\newlabel{thm:nagelllutz}{{5.4}{26}}
\newlabel{ex:nagellutz}{{5.5}{27}}
\newlabel{comm:torsgenform}{{5.6}{27}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{A $2$-isogeny on an Elliptic Curve}}{28}}
\newlabel{sec:2isog}{{6}{28}}
\newlabel{lem:phi}{{6.1}{30}}
\newlabel{lem:preimages}{{6.2}{30}}
\newlabel{lem:phiG}{{6.3}{31}}
\newlabel{defn:qmap}{{6.4}{31}}
\newlabel{lem:qhom}{{6.5}{32}}
\newlabel{lem:imqfinite}{{6.6}{32}}
\newlabel{comm:imhqfinite}{{6.7}{34}}
\newlabel{thm:HphiGfinite}{{6.8}{34}}
\newlabel{cor:weakmw}{{6.9}{34}}
\newlabel{thm:weakmw}{{6.10}{35}}
\newlabel{comm:bool}{{6.11}{35}}
\newlabel{ex:isogdesc2}{{6.12}{36}}
\newlabel{comm:sha}{{6.13}{37}}
\newlabel{comm:galcoh}{{6.14}{38}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{The Mordell-Weil Theorem}}{40}}
\newlabel{sec:mw}{{7}{40}}
\newlabel{defn:heightfunction}{{7.1}{40}}
\newlabel{thm:fgA}{{7.2}{40}}
\newlabel{lem:ECht}{{7.3}{41}}
\newlabel{thm:mw}{{7.4}{42}}
\newlabel{comm:rank}{{7.5}{42}}
\newlabel{ex:rank2}{{7.6}{42}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Cryptography}}{43}}
\newlabel{sec:crypto}{{8}{43}}
\newlabel{ex:pollard}{{8.1}{44}}
\newlabel{ex:ecmethod}{{8.2}{46}}
\bibcite{cas:ell}{1}
\bibcite{sil:AEC1}{2}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{47}}