\relax 
\@writefile{toc}{\contentsline {section}{\tocsection {}{0}{\bf  Background Material in Algebra, Number Theory and Geometry}}{1}}
\newlabel{sec:background}{{0}{1}}
\newlabel{defn:group}{{0.1}{1}}
\newlabel{comm:inversenotation}{{0.2}{1}}
\newlabel{defn:abelian}{{0.3}{1}}
\newlabel{exs:groups}{{0.4}{1}}
\newlabel{defn:homomorphism}{{0.5}{2}}
\newlabel{exs:homomorphism}{{0.6}{2}}
\newlabel{defn:bijection}{{0.7}{2}}
\newlabel{defn:kernelimage}{{0.8}{2}}
\newlabel{comm:keriminjsurj}{{0.9}{3}}
\newlabel{exs:bijection}{{0.10}{3}}
\newlabel{defn:isomorphism}{{0.11}{3}}
\newlabel{comm:isomorphism}{{0.12}{3}}
\newlabel{ex:isomorphism}{{0.13}{3}}
\newlabel{comm:isogptables}{{0.14}{3}}
\newlabel{ex:c6}{{0.15}{3}}
\newlabel{lem:cyclic}{{0.16}{4}}
\newlabel{lem:cyclicdecom}{{0.17}{4}}
\newlabel{defn:subgroup}{{0.18}{4}}
\newlabel{exs:subgroups}{{0.19}{5}}
\newlabel{defn:coset}{{0.20}{5}}
\newlabel{comm:coset}{{0.21}{5}}
\newlabel{ex:coset}{{0.22}{5}}
\newlabel{thm:lagrange}{{0.23}{6}}
\newlabel{defn:normal}{{0.24}{7}}
\newlabel{comm:leftrightcosets}{{0.25}{8}}
\newlabel{defn:quotient}{{0.26}{8}}
\newlabel{comm:abelimpliesnormal}{{0.27}{8}}
\newlabel{defn:eqreln}{{0.28}{8}}
\newlabel{comm:easynormal}{{0.29}{8}}
\newlabel{exs:quotients}{{0.30}{9}}
\newlabel{lem:kernelisnormal}{{0.31}{10}}
\newlabel{thm:isom}{{0.32}{10}}
\newlabel{comm:isom}{{0.33}{10}}
\newlabel{exs:isom}{{0.34}{10}}
\newlabel{defn:order}{{0.35}{10}}
\newlabel{cor:orderdivG}{{0.36}{10}}
\newlabel{defn:boolean}{{0.37}{10}}
\newlabel{comm:boolean}{{0.38}{11}}
\newlabel{defn:Gm}{{0.39}{11}}
\newlabel{comm:Gm}{{0.40}{11}}
\newlabel{defn:divides}{{0.41}{11}}
\newlabel{ex:polyintroot}{{0.42}{11}}
\newlabel{defn:prime}{{0.43}{11}}
\newlabel{defn:gcd}{{0.44}{11}}
\newlabel{lem:akb}{{0.45}{12}}
\newlabel{defn:EA}{{0.46}{12}}
\newlabel{ex:EA}{{0.47}{12}}
\newlabel{lem:EArev}{{0.48}{13}}
\newlabel{defn:cong}{{0.49}{13}}
\newlabel{cor:fpgroup}{{0.51}{13}}
\newlabel{defn:quadres}{{0.53}{13}}
\newlabel{lem:halfsq}{{0.54}{13}}
\newlabel{defn:legendre}{{0.55}{14}}
\newlabel{lem:legendre}{{0.56}{14}}
\newlabel{thm:recip}{{0.57}{14}}
\newlabel{ex:recip}{{0.58}{14}}
\newlabel{defn:ring}{{0.59}{14}}
\newlabel{exs:ring}{{0.60}{15}}
\newlabel{defn:intdomain}{{0.61}{15}}
\newlabel{defn:ringhom}{{0.62}{15}}
\newlabel{defn:ideal}{{0.63}{15}}
\newlabel{defn:quotring}{{0.64}{16}}
\newlabel{defn:char}{{0.65}{16}}
\newlabel{defn:field}{{0.66}{16}}
\newlabel{exs:fields}{{0.67}{16}}
\newlabel{defn:kstar}{{0.68}{17}}
\newlabel{defn:algebraic}{{0.69}{17}}
\newlabel{exs:alg}{{0.70}{17}}
\newlabel{defn:degext}{{0.71}{18}}
\newlabel{numf}{{0.72}{18}}
\newlabel{comm:extformula}{{0.73}{18}}
\newlabel{defn:galois}{{0.74}{18}}
\newlabel{ex:galois}{{0.75}{18}}
\newlabel{defn:valuation0}{{0.76}{18}}
\newlabel{ex:valuation0}{{0.77}{19}}
\newlabel{defn:metric0}{{0.78}{19}}
\newlabel{ex:metric0}{{0.79}{19}}
\newlabel{comm:absinf0}{{0.80}{19}}
\newlabel{defn:converge0}{{0.81}{19}}
\newlabel{lem:limitprops0}{{0.82}{19}}
\newlabel{defn:cauchy0}{{0.83}{19}}
\newlabel{lem:convcauchy0}{{0.84}{19}}
\newlabel{defn:complete0}{{0.85}{19}}
\newlabel{exs:conv0}{{0.86}{20}}
\newlabel{defn:completion0}{{0.87}{21}}
\newlabel{comm:real0}{{0.88}{21}}
\newlabel{defn:affinespace}{{0.89}{21}}
\newlabel{ex:affinespace}{{0.90}{21}}
\newlabel{defn:ratfn}{{0.91}{22}}
\newlabel{defn:definedoverK}{{0.92}{22}}
\newlabel{exs:definedoverK}{{0.93}{22}}
\newlabel{defn:affinecurve}{{0.94}{22}}
\newlabel{ex:affinecurve}{{0.95}{22}}
\newlabel{comm:affinecurve}{{0.96}{22}}
\newlabel{defn:homog}{{0.97}{23}}
\newlabel{ex:degree}{{0.98}{23}}
\newlabel{defn:singular}{{0.99}{23}}
\newlabel{comm:tangents}{{0.100}{23}}
\newlabel{comm:doublepoint}{{0.101}{24}}
\newlabel{ex:sing1}{{0.102}{24}}
\newlabel{ex:sing2}{{0.103}{24}}
\newlabel{ex:sing3}{{0.104}{24}}
\newlabel{defn:resultant}{{0.105}{25}}
\newlabel{lem:resultant}{{0.106}{25}}
\newlabel{defn:discrim}{{0.107}{25}}
\newlabel{comm:discrim}{{0.108}{25}}
\newlabel{ex:quadresultant}{{0.109}{26}}
\newlabel{ex:cubresultant}{{0.110}{26}}
\newlabel{ecdiscrim}{{0.111}{26}}
\newlabel{defn:irred}{{0.112}{26}}
\newlabel{exs:irred}{{0.113}{27}}
\newlabel{defn:birat}{{0.114}{27}}
\newlabel{exs:birat}{{0.115}{27}}
\newlabel{defn:param}{{0.116}{28}}
\newlabel{comm:param}{{0.117}{28}}
\newlabel{defn:conic}{{0.118}{29}}
\newlabel{thm:conic}{{0.119}{29}}
\newlabel{defn:intersect}{{0.120}{29}}
\newlabel{ex:intersect}{{0.121}{29}}
\newlabel{comm:resintersect}{{0.122}{30}}
\newlabel{defn:proj}{{0.123}{31}}
\newlabel{ex:proj}{{0.124}{31}}
\newlabel{defn:projpoly}{{0.125}{31}}
\newlabel{defn:homogenisation}{{0.126}{31}}
\newlabel{ex:homog1}{{0.127}{31}}
\newlabel{ex:homog2}{{0.128}{31}}
\newlabel{comm:parallel}{{0.129}{31}}
\newlabel{defn:projsing}{{0.130}{32}}
\newlabel{comm:projbirat}{{0.131}{32}}
\newlabel{projint}{{0.132}{32}}
\newlabel{thm:bezout}{{0.133}{32}}
\newlabel{ex:bezout}{{0.134}{32}}
\newlabel{defn:elliptic0}{{0.135}{33}}
\newlabel{defn:grouplaw0}{{0.136}{33}}
\newlabel{lem:pregplaw0}{{0.137}{34}}
\newlabel{thm:gplaw0}{{0.138}{34}}
\newlabel{comm:affineell0}{{0.139}{35}}
\newlabel{thm:wform0}{{0.140}{36}}
\newlabel{comm:wform0}{{0.141}{36}}
\newlabel{ex:gplaw0}{{0.143}{37}}
\newlabel{lem:expl0}{{0.144}{37}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{0pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}