\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}{2}}
\newlabel{thm:gplaw}{{1.4}{2}}
\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}{4}}
\newlabel{ell:degen}{{1.12}{5}}
\newlabel{defn:tors}{{1.13}{5}}
\newlabel{exs:tors}{{1.14}{5}}
\newlabel{thm:hasse}{{1.15}{7}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{The $p$-adic Numbers ${\mathbb  Q}_p$}}{9}}
\newlabel{sec:padics}{{2}{9}}
\newlabel{defn:valuation}{{2.1}{9}}
\newlabel{defn:padicval}{{2.2}{9}}
\newlabel{ex:padicval}{{2.3}{9}}
\newlabel{lem:padicval}{{2.4}{10}}
\newlabel{comm:maxcomm}{{2.5}{11}}
\newlabel{defn:converge}{{2.6}{11}}
\newlabel{exs:convpadic}{{2.7}{11}}
\newlabel{defn:padics}{{2.8}{12}}
\newlabel{exs:padicexp}{{2.9}{12}}
\newlabel{comm:localglobal}{{2.10}{13}}
\newlabel{defn:residuefield}{{2.11}{13}}
\newlabel{thm:series}{{2.12}{14}}
\newlabel{comm:maxseries}{{2.13}{15}}
\newlabel{thm:hensel}{{2.14}{16}}
\newlabel{ex:hensel}{{2.15}{17}}
\newlabel{cor:squares}{{2.16}{18}}
\newlabel{ex:squares}{{2.17}{19}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The Reduction Map on an Elliptic Curve}}{20}}
\newlabel{sec:red}{{3}{20}}
\newlabel{defn:reduction}{{3.1}{20}}
\newlabel{ex:reduction}{{3.2}{20}}
\newlabel{defn:curvereduc}{{3.3}{20}}
\newlabel{defn:lift}{{3.4}{20}}
\newlabel{ex:lift}{{3.5}{21}}
\newlabel{thm:lifting}{{3.6}{22}}
\newlabel{thm:redhom}{{3.7}{24}}
\newlabel{cor:redhom}{{3.8}{26}}
\newlabel{defn:kerred}{{3.9}{27}}
\newlabel{lem:wz}{{3.10}{29}}
\newlabel{comm:laurent}{{3.11}{31}}
\newlabel{lem:ellformal}{{3.12}{33}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Formal Groups}}{35}}
\newlabel{sec:formalgroups}{{4}{35}}
\newlabel{defn:formalgroup}{{4.1}{35}}
\newlabel{ex:formalgroup}{{4.2}{35}}
\newlabel{lem:formalinv}{{4.3}{36}}
\newlabel{defn:formalhom}{{4.4}{37}}
\newlabel{ex:homgmga}{{4.5}{37}}
\newlabel{defn:formalmultm}{{4.6}{37}}
\newlabel{lem:psinv}{{4.7}{38}}
\newlabel{lem:multmiso}{{4.8}{40}}
\newlabel{defn:invdiff}{{4.9}{41}}
\newlabel{thm:invdiffunique}{{4.11}{42}}
\newlabel{cor:invdiffs}{{4.12}{43}}
\newlabel{cor:multp}{{4.13}{44}}
\newlabel{defn:formallog}{{4.14}{45}}
\newlabel{thm:formallog}{{4.15}{46}}
\newlabel{comm:exp}{{4.16}{47}}
\newlabel{defn:fm}{{4.17}{47}}
\newlabel{lem:torfm}{{4.18}{48}}
\newlabel{thm:ptors}{{4.19}{49}}
\newlabel{cor:elltor}{{4.20}{51}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Global Torsion}}{52}}
\newlabel{sec:torsion}{{5}{52}}
\newlabel{lem:inj}{{5.1}{53}}
\newlabel{ex:torsff}{{5.2}{54}}
\newlabel{lem:torsint}{{5.3}{55}}
\newlabel{thm:nagelllutz}{{5.4}{57}}
\newlabel{ex:nagellutz}{{5.5}{58}}
\newlabel{comm:torsgenform}{{5.6}{58}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{A $2$-isogeny on an Elliptic Curve}}{59}}
\newlabel{sec:2isog}{{6}{59}}
\newlabel{lem:phi}{{6.1}{62}}
\newlabel{lem:preimages}{{6.2}{64}}
\newlabel{lem:phiG}{{6.3}{66}}
\newlabel{defn:qmap}{{6.4}{67}}
\newlabel{lem:qhom}{{6.5}{68}}
\newlabel{lem:imqfinite}{{6.6}{69}}
\newlabel{comm:imhqfinite}{{6.7}{70}}
\newlabel{thm:HphiGfinite}{{6.8}{71}}
\newlabel{cor:weakmw}{{6.9}{72}}
\newlabel{comm:bool}{{6.11}{73}}
\newlabel{ex:isogdesc2}{{6.12}{73}}
\newlabel{comm:sha}{{6.13}{75}}
\newlabel{comm:galcoh}{{6.14}{76}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{The Mordell-Weil Theorem}}{78}}
\newlabel{sec:mw}{{7}{78}}
\newlabel{defn:heightfunction}{{7.1}{78}}
\newlabel{thm:fgA}{{7.2}{79}}
\newlabel{lem:ECht}{{7.3}{81}}
\newlabel{thm:mw}{{7.4}{82}}
\newlabel{comm:rank}{{7.5}{83}}
\newlabel{ex:rank2}{{7.6}{83}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Cryptography}}{84}}
\newlabel{sec:crypto}{{8}{84}}
\newlabel{ex:pollard}{{8.1}{85}}
\newlabel{ex:ecmethod}{{8.2}{87}}
\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}}{88}}