\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {section}{\numberline {1}Preliminari}{1}{section.1}}
\newlabel{Preliminari}{{1}{1}{Preliminari\relax }{section.1}{}}
\newlabel{defanello}{{1.1}{1}{Preliminari\relax }{thm.1.1}{}}
\newlabel{propstessielementiunita'}{{1.5}{1}{Preliminari\relax }{thm.1.5}{}}
\newlabel{carattsottocampo}{{1.6}{1}{Preliminari\relax }{thm.1.6}{}}
\newlabel{propequividealeprimoelprimoelirrid}{{1.8}{2}{Preliminari\relax }{thm.1.8}{}}
\newlabel{sottoanellodiundominioestdominio}{{1.9}{2}{Preliminari\relax }{thm.1.9}{}}
\newlabel{propestensionediunaimmersione}{{1.10}{2}{Preliminari\relax }{thm.1.10}{}}
\newlabel{propQDilpiupiccolodeicampicontenenti}{{1.11}{3}{Preliminari\relax }{thm.1.11}{}}
\newlabel{QKestK}{{1.12}{3}{Preliminari\relax }{thm.1.12}{}}
\newlabel{omomorfismoindotto}{{1.13}{3}{Preliminari\relax }{thm.1.13}{}}
\newlabel{derivatapolinomio}{{1.14}{4}{Preliminari\relax }{thm.1.14}{}}
\newlabel{polinomio derivato}{{1.14}{4}{Preliminari\relax }{thm.1.14}{}}
\newlabel{gradoderivata}{{1.16}{6}{Preliminari\relax }{thm.1.16}{}}
\newlabel{critradicimultiple}{{1.17}{6}{Preliminari\relax }{thm.1.17}{}}
\newlabel{radiciennesimeunita}{{1.19}{7}{Preliminari\relax }{thm.1.19}{}}
\newlabel{binominzp}{{1.20}{7}{Preliminari\relax }{thm.1.20}{}}
\newlabel{Zorn lemma}{{1.21}{7}{Preliminari\relax }{thm.1.21}{}}
\newlabel{zorn}{{1.21}{7}{Preliminari\relax }{thm.1.21}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Estensione di Campi}{8}{section.2}}
\newlabel{Estensione di Campi}{{2}{8}{Estensione di Campi\relax }{section.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Caratteristica}{8}{subsection.2.1}}
\newlabel{Caratteristica}{{2.1}{8}{Caratteristica\relax }{subsection.2.1}{}}
\newlabel{propgdiA}{{2.1}{8}{Caratteristica\relax }{thm.2.1}{}}
\newlabel{caratteristica}{{2.2}{9}{Caratteristica\relax }{thm.2.2}{}}
\newlabel{propcarattcaratteristica}{{2.3}{10}{Caratteristica\relax }{thm.2.3}{}}
\newlabel{defsemplicedicaratteristica}{{2.4}{11}{Caratteristica\relax }{thm.2.4}{}}
\newlabel{defchardominio}{{2.5}{11}{Caratteristica\relax }{thm.2.5}{}}
\newlabel{lemmacara}{{2.6}{12}{Caratteristica\relax }{thm.2.6}{}}
\newlabel{propcharD}{{2.7}{12}{Caratteristica\relax }{thm.2.7}{}}
\newlabel{ereditariacaratteristica}{{2.8}{12}{Caratteristica\relax }{thm.2.8}{}}
\newlabel{propimmersionecaratteristica}{{2.9}{13}{Caratteristica\relax }{thm.2.9}{}}
\newlabel{sottocampo fondamentale}{{2.10}{13}{Caratteristica\relax }{thm.2.10}{}}
\newlabel{sottocampofondesplicito}{{2.11}{13}{Caratteristica\relax }{thm.2.11}{}}
\newlabel{prodottonaturalenelsottocampo}{{2.12}{14}{Caratteristica\relax }{thm.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Estensioni}{15}{subsection.2.2}}
\newlabel{Estensioni}{{2.2}{15}{Estensioni\relax }{subsection.2.2}{}}
\newlabel{omomoestapplicazlineare}{{2.15}{15}{Estensioni\relax }{thm.2.15}{}}
\newlabel{estensione!finita}{{2.16}{15}{Estensioni\relax }{thm.2.16}{}}
\newlabel{expestfinita}{{2.17}{16}{Estensioni\relax }{thm.2.17}{}}
\newlabel{thmfinitezzadiinclusione}{{2.18}{16}{Estensioni\relax }{thm.2.18}{}}
\newlabel{transitivitagrado}{{2.18}{16}{Estensioni\relax }{thm.2.18}{}}
\newlabel{thmfinitezzadiinclusioneinduzione}{{2.19}{17}{Estensioni\relax }{thm.2.19}{}}
\newlabel{transitivitagradoindotto}{{2.19}{17}{Estensioni\relax }{thm.2.19}{}}
\newlabel{estensionedicampiesplicita}{{2.21}{18}{Estensioni\relax }{thm.2.21}{}}
\newlabel{propcoefficienticampoestensione}{{2.22}{19}{Estensioni\relax }{thm.2.22}{}}
\newlabel{parentesinellestensione}{{2.22}{19}{Estensioni\relax }{thm.2.22}{}}
\newlabel{estensione!finitamente generata}{{2.23}{20}{Estensioni\relax }{thm.2.23}{}}
\newlabel{estensione!semplice}{{2.23}{20}{Estensioni\relax }{thm.2.23}{}}
\newlabel{propfinitaimplicafinitamentegenerata}{{2.24}{20}{Estensioni\relax }{thm.2.24}{}}
\newlabel{algebrico}{{2.25}{21}{Estensioni\relax }{thm.2.25}{}}
\newlabel{trascendente}{{2.25}{21}{Estensioni\relax }{thm.2.25}{}}
\newlabel{elemento!algebrico}{{2.25}{21}{Estensioni\relax }{thm.2.25}{}}
\newlabel{elemento!trascendente}{{2.25}{21}{Estensioni\relax }{thm.2.25}{}}
\newlabel{expQradicedidue}{{5}{21}{Estensioni\relax }{Item.7}{}}
\newlabel{propestfinitaimplicaalgebrica}{{2.27}{22}{Estensioni\relax }{thm.2.27}{}}
\newlabel{defpolinomiominimo}{{2.28}{23}{Estensioni\relax }{thm.2.28}{}}
\newlabel{polinomio minimo}{{2.28}{23}{Estensioni\relax }{thm.2.28}{}}
\newlabel{proppolinomminimoestirriducibile}{{2.30}{24}{Estensioni\relax }{thm.2.30}{}}
\newlabel{carattpolinomiominimo}{{2.30}{24}{Estensioni\relax }{thm.2.30}{}}
\newlabel{trascendenteestindeterminata}{{2.33}{25}{Estensioni\relax }{thm.2.33}{}}
\newlabel{trascendenteestindeterminataII}{{2.34}{26}{Estensioni\relax }{thm.2.34}{}}
\newlabel{lemalphaalgebricoimplicaFqalphamodounico}{{2.35}{26}{Estensioni\relax }{thm.2.35}{}}
\newlabel{alphaalgebricosseFalphaeqFqalpha}{{2.36}{27}{Estensioni\relax }{thm.2.36}{}}
\newlabel{FsupxisomFa}{{2.37}{27}{Estensioni\relax }{thm.2.37}{}}
\newlabel{FaisoFb}{{2.38}{28}{Estensioni\relax }{thm.2.38}{}}
\newlabel{estensionediindeterminateestcampoquozienti}{{2.39}{28}{Estensioni\relax }{thm.2.39}{}}
\newlabel{FaestQFqa}{{2.39}{28}{Estensioni\relax }{thm.2.39}{}}
\newlabel{propalphaalgebricosseFalphafinita}{{2.40}{29}{Estensioni\relax }{thm.2.40}{}}
\newlabel{dimestensestdegpolinminimo}{{2.40}{29}{Estensioni\relax }{thm.2.40}{}}
\newlabel{passogoto}{{3}{29}{Estensioni\relax }{Item.10}{}}
\newlabel{propalphaialgebricheimplicaFalphaifinita}{{2.42}{30}{Estensioni\relax }{thm.2.42}{}}
\newlabel{elemalgebriciimplicaestensalgebrica}{{2.43}{31}{Estensioni\relax }{thm.2.43}{}}
\newlabel{thmfinitassealgebricaefingen}{{2.44}{31}{Estensioni\relax }{thm.2.44}{}}
\newlabel{algebricasseognipezzoalgebrico}{{2.45}{31}{Estensioni\relax }{thm.2.45}{}}
\newlabel{chiusuraestcampo}{{2.46}{33}{Estensioni\relax }{thm.2.46}{}}
\newlabel{firridssegirrid}{{2.47}{33}{Estensioni\relax }{thm.2.47}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Campi di spezzamento}{34}{subsection.2.3}}
\newlabel{Campi di spezzamento}{{2.3}{34}{Campi di spezzamento\relax }{subsection.2.3}{}}
\newlabel{prop1campispezzamento}{{2.48}{34}{Campi di spezzamento\relax }{thm.2.48}{}}
\newlabel{esistecampocontenteradicedifx}{{2.48}{34}{Campi di spezzamento\relax }{thm.2.48}{}}
\newlabel{esistecampodovefxsispezzalinearmente}{{2.49}{36}{Campi di spezzamento\relax }{thm.2.49}{}}
\newlabel{campo di spezzamento}{{2.50}{38}{Campi di spezzamento\relax }{thm.2.50}{}}
\newlabel{campospezz}{{2.50}{38}{Campi di spezzamento\relax }{thm.2.50}{}}
\newlabel{propcampispezzesistonoamenoisomorfismi}{{2.51}{38}{Campi di spezzamento\relax }{thm.2.51}{}}
\newlabel{thmspezzisom}{{2.52}{38}{Campi di spezzamento\relax }{thm.2.52}{}}
\newlabel{unicitacampospezz}{{2.53}{41}{Campi di spezzamento\relax }{thm.2.53}{}}
\newlabel{spezzamentospezzato}{{2.54}{42}{Campi di spezzamento\relax }{thm.2.54}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Campi chiusi e chiusura}{42}{subsection.2.4}}
\newlabel{Campi chiusi e chiusura}{{2.4}{42}{Campi chiusi e chiusura\relax }{subsection.2.4}{}}
\newlabel{campo chiuso}{{2.55}{42}{Campi chiusi e chiusura\relax }{thm.2.55}{}}
\newlabel{campochiusocaratt}{{2.56}{42}{Campi chiusi e chiusura\relax }{thm.2.56}{}}
\newlabel{chiusura}{{2.57}{43}{Campi chiusi e chiusura\relax }{thm.2.57}{}}
\newlabel{lemmafdellachiusura}{{2.58}{43}{Campi chiusi e chiusura\relax }{thm.2.58}{}}
\newlabel{esistechiusura}{{2.59}{45}{Campi chiusi e chiusura\relax }{thm.2.59}{}}
\newlabel{condizioneperchiusura}{{2.61}{49}{Campi chiusi e chiusura\relax }{thm.2.61}{}}
\newlabel{chiusureestensionealgebrica}{{2.62}{49}{Campi chiusi e chiusura\relax }{thm.2.62}{}}
\newlabel{chiusuraesplicita}{{2.63}{49}{Campi chiusi e chiusura\relax }{thm.2.63}{}}
\newlabel{chiusuradiQ}{{2.64}{50}{Campi chiusi e chiusura\relax }{thm.2.64}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Campi finiti}{50}{section.3}}
\newlabel{Campi finiti}{{3}{50}{Campi finiti\relax }{section.3}{}}
\newlabel{ordineKestensionefinitacampofinito}{{3.2}{50}{Campi finiti\relax }{thm.3.2}{}}
\newlabel{ordinecampofinito}{{3.3}{50}{Campi finiti\relax }{thm.3.3}{}}
\newlabel{spezzdicampofinito}{{3.4}{51}{Campi finiti\relax }{thm.3.4}{}}
\newlabel{campifinitiisomorfi}{{3.5}{51}{Campi finiti\relax }{thm.3.5}{}}
\newlabel{cometrovareKpn}{{3.6}{52}{Campi finiti\relax }{thm.3.6}{}}
\newlabel{esistecampopn}{{3.7}{52}{Campi finiti\relax }{thm.3.7}{}}
\newlabel{finitoestciclico}{{3.8}{53}{Campi finiti\relax }{thm.3.8}{}}
\newlabel{esistefirriducibileinZpdigradon}{{3.9}{54}{Campi finiti\relax }{thm.3.9}{}}
\newlabel{CostruzioneCampiFiniti}{{3.10}{54}{Campi finiti\relax }{thm.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Proprieta' di $x^{p^n}-x$}{55}{subsection.3.1}}
\newlabel{Proprieta' di $x^{p^n}-x$}{{3.1}{55}{Proprieta' di $x^{p^n}-x$\relax }{subsection.3.1}{}}
\newlabel{fxdividexpnx}{{3.11}{55}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.11}{}}
\newlabel{xpnxseparabile}{{3.12}{55}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.12}{}}
\newlabel{lemmaxpdxdividexpnx}{{3.13}{55}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.13}{}}
\newlabel{fattoriirriducibilidiZp}{{3.14}{55}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.14}{}}
\newlabel{formulanumeroirriducibili}{{3.15}{56}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.15}{}}
\newlabel{propestensionidicampifinitiddivn}{{3.17}{57}{Proprieta' di $x^{p^n}-x$\relax }{thm.3.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Estensioni separabili}{58}{subsection.3.2}}
\newlabel{Estensioni separabili}{{3.2}{58}{Estensioni separabili\relax }{subsection.3.2}{}}
\newlabel{estensione!separabile}{{3.18}{58}{Estensioni separabili\relax }{thm.3.18}{}}
\newlabel{divalloraseparabile}{{3.19}{58}{Estensioni separabili\relax }{thm.3.19}{}}
\newlabel{MCDinunaestensione}{{3.20}{58}{Estensioni separabili\relax }{thm.3.20}{}}
\newlabel{irridestseparabilesegprimonozero}{{3.21}{59}{Estensioni separabili\relax }{thm.3.21}{}}
\newlabel{inchzeroirridestseparabile}{{3.22}{59}{Estensioni separabili\relax }{thm.3.22}{}}
\newlabel{inchzeroestensioneseparabile}{{3.23}{60}{Estensioni separabili\relax }{thm.3.23}{}}
\newlabel{separabileseFcharzeroFKalgebrica}{{3.23}{60}{Estensioni separabili\relax }{thm.3.23}{}}
\newlabel{inchpgirridconpnnestirrid}{{3.24}{60}{Estensioni separabili\relax }{thm.3.24}{}}
\newlabel{nonseparabilessefxeqgxp}{{3.25}{61}{Estensioni separabili\relax }{thm.3.25}{}}
\newlabel{separabileseFfinitoFKalgebrica}{{3.27}{62}{Estensioni separabili\relax }{thm.3.27}{}}
\newlabel{algebricamanonseparabile}{{3.28}{63}{Estensioni separabili\relax }{thm.3.28}{}}
\newlabel{FKfingensepestsemplice}{{3.29}{65}{Estensioni separabili\relax }{thm.3.29}{}}
\newlabel{thmelementoprimitivo}{{3.29}{65}{Estensioni separabili\relax }{thm.3.29}{}}
\newlabel{campiintermediseparabili}{{3.32}{68}{Estensioni separabili\relax }{thm.3.32}{}}
\newlabel{separabileimplicapezziseparabili}{{3.32}{68}{Estensioni separabili\relax }{thm.3.32}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Polinomi simmetrici}{69}{section.4}}
\newlabel{Polinomi simmetrici}{{4}{69}{Polinomi simmetrici\relax }{section.4}{}}
\newlabel{ordinamento lessicografico}{{4.1}{69}{Polinomi simmetrici\relax }{thm.4.1}{}}
\newlabel{propordinamento}{{4.2}{70}{Polinomi simmetrici\relax }{thm.4.2}{}}
\newlabel{defLT}{{4.3}{70}{Polinomi simmetrici\relax }{thm.4.3}{}}
\newlabel{leading term}{{4.3}{70}{Polinomi simmetrici\relax }{thm.4.3}{}}
\newlabel{LTprodotto}{{4.4}{71}{Polinomi simmetrici\relax }{thm.4.4}{}}
\newlabel{polsimelem}{{4.5}{71}{Polinomi simmetrici\relax }{thm.4.5}{}}
\newlabel{LTpsym}{{4.6}{72}{Polinomi simmetrici\relax }{thm.4.6}{}}
\newlabel{formuleviete}{{4.7}{72}{Polinomi simmetrici\relax }{thm.4.7}{}}
\newlabel{formule di Viete'}{{4.7}{72}{Polinomi simmetrici\relax }{thm.4.7}{}}
\newlabel{psymcomposizioneconpelementari}{{4.8}{73}{Polinomi simmetrici\relax }{thm.4.8}{}}
\newlabel{thmfondamentalepsym}{{4.8}{73}{Polinomi simmetrici\relax }{thm.4.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Estensioni normali}{74}{section.5}}
\newlabel{Estensioni normali}{{5}{74}{Estensioni normali\relax }{section.5}{}}
\newlabel{normaliprop1}{{5.1}{74}{Estensioni normali\relax }{thm.5.1}{}}
\newlabel{psymrimangonoinFcalcolatinellaradici}{{5.1}{74}{Estensioni normali\relax }{thm.5.1}{}}
\newlabel{estensione!normale}{{5.2}{75}{Estensioni normali\relax }{thm.5.2}{}}
\newlabel{lemmanormale}{{5.3}{75}{Estensioni normali\relax }{thm.5.3}{}}
\newlabel{expnonnormale}{{5.4}{76}{Estensioni normali\relax }{thm.5.4}{}}
\newlabel{normalefinitacaratt}{{5.5}{76}{Estensioni normali\relax }{thm.5.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Gruppo di Galois}{78}{section.6}}
\newlabel{Gruppo di Galois}{{6}{78}{Gruppo di Galois\relax }{section.6}{}}
\newlabel{gruppo di Galois}{{6.1}{78}{Gruppo di Galois\relax }{thm.6.1}{}}
\newlabel{expFMQiQ}{{6.2}{78}{Gruppo di Galois\relax }{thm.6.2}{}}
\newlabel{FMGGiniettivelineari}{{6.3}{78}{Gruppo di Galois\relax }{thm.6.3}{}}
\newlabel{GGestgruppo}{{6.4}{79}{Gruppo di Galois\relax }{thm.6.4}{}}
\newlabel{GGspezzato}{{6.4}{79}{Gruppo di Galois\relax }{thm.6.4}{}}
\newlabel{identitaestesaestensioiniapezzi}{{6.5}{79}{Gruppo di Galois\relax }{thm.6.5}{}}
\newlabel{propradiceimmersioneestesa}{{6.6}{80}{Gruppo di Galois\relax }{thm.6.6}{}}
\newlabel{propradiceimmersioneestesaII}{{6.7}{80}{Gruppo di Galois\relax }{thm.6.7}{}}
\newlabel{immersioniestese}{{6.8}{81}{Gruppo di Galois\relax }{thm.6.8}{}}
\newlabel{corimmersioniestese}{{6.9}{83}{Gruppo di Galois\relax }{thm.6.9}{}}
\newlabel{cardinalitaFM}{{6.10}{84}{Gruppo di Galois\relax }{thm.6.10}{}}
\newlabel{propKTFM}{{6.12}{84}{Gruppo di Galois\relax }{thm.6.12}{}}
\newlabel{LKTFM}{{6.13}{86}{Gruppo di Galois\relax }{thm.6.13}{}}
\newlabel{corrispondenzapregalois}{{6.14}{86}{Gruppo di Galois\relax }{thm.6.14}{}}
\newlabel{GGeqFMsefinitanormale}{{6.15}{87}{Gruppo di Galois\relax }{thm.6.15}{}}
\newlabel{estgaloispolminesplicito}{{6.17}{88}{Gruppo di Galois\relax }{thm.6.17}{}}
\newlabel{lemmagammaprimitivoseparabile}{{6.18}{90}{Gruppo di Galois\relax }{thm.6.18}{}}
\newlabel{thmdefgalois}{{6.19}{92}{Gruppo di Galois\relax }{thm.6.19}{}}
\newlabel{estensione!di Galois}{{6.20}{95}{Gruppo di Galois\relax }{thm.6.20}{}}
\newlabel{expestdigalois}{{6.21}{95}{Gruppo di Galois\relax }{thm.6.21}{}}
\newlabel{inchzeroCSestdiGalois}{{6.22}{96}{Gruppo di Galois\relax }{thm.6.22}{}}
\newlabel{galoisspezzamento}{{6.23}{96}{Gruppo di Galois\relax }{thm.6.23}{}}
\newlabel{galoisGGeqFM}{{6.24}{96}{Gruppo di Galois\relax }{thm.6.24}{}}
\newlabel{corrispondenza di Galois}{{6.25}{96}{Gruppo di Galois\relax }{thm.6.25}{}}
\newlabel{corrispondenzagalois}{{6.25}{96}{Gruppo di Galois\relax }{thm.6.25}{}}
\newlabel{GGimmersoinSn}{{6.26}{99}{Gruppo di Galois\relax }{thm.6.26}{}}
\newlabel{GGimmersoinSncoroll}{{6.27}{100}{Gruppo di Galois\relax }{thm.6.27}{}}
\newlabel{gruppo transitivo}{{6.28}{100}{Gruppo di Galois\relax }{thm.6.28}{}}
\newlabel{transitivosseirriducibile}{{6.29}{100}{Gruppo di Galois\relax }{thm.6.29}{}}
\newlabel{thmquozientegalois}{{6.30}{101}{Gruppo di Galois\relax }{thm.6.30}{}}
\newlabel{corquoziente}{{6.31}{105}{Gruppo di Galois\relax }{thm.6.31}{}}
\newlabel{campo coniugato}{{6.32}{105}{Gruppo di Galois\relax }{thm.6.32}{}}
\newlabel{GGconiugato}{{6.33}{105}{Gruppo di Galois\relax }{thm.6.33}{}}
\newlabel{FMimmagine}{{6.34}{106}{Gruppo di Galois\relax }{thm.6.34}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Teorema fondamentale dell'algebra}{107}{subsection.6.1}}
\newlabel{Teorema fondamentale dell'algebra}{{6.1}{107}{Teorema fondamentale dell'algebra\relax }{subsection.6.1}{}}
\newlabel{carattTFA}{{6.35}{107}{Teorema fondamentale dell'algebra\relax }{thm.6.35}{}}
\newlabel{inRhaalmenounarad}{{6.36}{108}{Teorema fondamentale dell'algebra\relax }{thm.6.36}{}}
\newlabel{inCdeg2sispezza}{{6.38}{108}{Teorema fondamentale dell'algebra\relax }{thm.6.38}{}}
\newlabel{Cestchiuso}{{6.39}{109}{Teorema fondamentale dell'algebra\relax }{thm.6.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Estensioni ciclotomiche}{111}{subsection.6.2}}
\newlabel{Estensioni ciclotomiche}{{6.2}{111}{Estensioni ciclotomiche\relax }{subsection.6.2}{}}
\newlabel{lemqmpiupiccolo}{{6.40}{111}{Estensioni ciclotomiche\relax }{thm.6.40}{}}
\newlabel{osservazionisuUngeneralizzato}{{6.41}{112}{Estensioni ciclotomiche\relax }{thm.6.41}{}}
\newlabel{radici ennesime unita'}{{6.41}{112}{Estensioni ciclotomiche\relax }{thm.6.41}{}}
\newlabel{propprimaestensciclotomica}{{6.42}{114}{Estensioni ciclotomiche\relax }{thm.6.42}{}}
\newlabel{thmestensioniciclotomiche}{{6.42}{114}{Estensioni ciclotomiche\relax }{thm.6.42}{}}
\newlabel{QwisomorfoUZn}{{6.43}{118}{Estensioni ciclotomiche\relax }{thm.6.43}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Riga e compasso}{119}{subsection.6.3}}
\newlabel{Riga e compasso}{{6.3}{119}{Riga e compasso\relax }{subsection.6.3}{}}
\newlabel{costruzionibase}{{6.46}{120}{Riga e compasso\relax }{thm.6.46}{}}
\newlabel{sommadiffprodottoradiceinKE}{{6.47}{124}{Riga e compasso\relax }{thm.6.47}{}}
\newlabel{KEcampo}{{6.48}{127}{Riga e compasso\relax }{thm.6.48}{}}
\newlabel{coordinatecostruibili}{{6.49}{127}{Riga e compasso\relax }{thm.6.49}{}}
\newlabel{thmcostruzionieuclidee}{{6.50}{128}{Riga e compasso\relax }{thm.6.50}{}}
\newlabel{corthmcostruzioni}{{6.51}{131}{Riga e compasso\relax }{thm.6.51}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {6.3.1}Ciclotomia}{132}{subsubsection.6.3.1}}
\newlabel{Ciclotomia}{{6.3.1}{132}{Ciclotomia\relax }{subsubsection.6.3.1}{}}
\newlabel{weuclideo}{{6.53}{132}{Ciclotomia\relax }{thm.6.53}{}}
\newlabel{fig:pent}{{6.3.1}{133}{Ciclotomia\relax }{thm.6.53}{}}
\newlabel{weuclideo2}{{6.54}{133}{Ciclotomia\relax }{thm.6.54}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Gruppi risolubili}{139}{section.7}}
\newlabel{Gruppi risolubili}{{7}{139}{Gruppi risolubili\relax }{section.7}{}}
\newlabel{catena risolvente}{{7.1}{139}{Gruppi risolubili\relax }{thm.7.1}{}}
\newlabel{Grisolubilecondizionivarie}{{7.3}{140}{Gruppi risolubili\relax }{thm.7.3}{}}
\newlabel{alloraGrisolubile}{{7.4}{144}{Gruppi risolubili\relax }{thm.7.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Risolubilita' di Sn}{145}{subsection.7.1}}
\newlabel{Risolubilita' di Sn}{{7.1}{145}{Risolubilita' di Sn\relax }{subsection.7.1}{}}
\newlabel{Snnonestrisolubile}{{7.7}{146}{Risolubilita' di Sn\relax }{thm.7.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Estensioni risolubili}{146}{subsection.7.2}}
\newlabel{Estensioni risolubili}{{7.2}{146}{Estensioni risolubili\relax }{subsection.7.2}{}}
\newlabel{traccia}{{7.8}{146}{Estensioni risolubili\relax }{thm.7.8}{}}
\newlabel{norma}{{7.8}{146}{Estensioni risolubili\relax }{thm.7.8}{}}
\newlabel{tracciainF}{{7.9}{147}{Estensioni risolubili\relax }{thm.7.9}{}}
\newlabel{defdiscriminante}{{7.10}{147}{Estensioni risolubili\relax }{thm.7.10}{}}
\newlabel{discriminante}{{7.10}{147}{Estensioni risolubili\relax }{thm.7.10}{}}
\newlabel{propdiscriminanteD2}{{7.11}{147}{Estensioni risolubili\relax }{thm.7.11}{}}
\newlabel{GGlinindipendente}{{7.12}{148}{Estensioni risolubili\relax }{thm.7.12}{}}
\newlabel{propesistebtau}{{7.13}{149}{Estensioni risolubili\relax }{thm.7.13}{}}
\newlabel{GGciclicoconomegaallorabninF}{{7.14}{150}{Estensioni risolubili\relax }{thm.7.14}{}}
\newlabel{GGciclicoconomegaallorabninFinverso}{{7.15}{151}{Estensioni risolubili\relax }{thm.7.15}{}}
\newlabel{estensione ciclica}{{7.16}{153}{Estensioni risolubili\relax }{thm.7.16}{}}
\newlabel{estciclicadigaloisconomega}{{7.17}{153}{Estensioni risolubili\relax }{thm.7.17}{}}
\newlabel{FwimmersoinUZn}{{7.18}{154}{Estensioni risolubili\relax }{thm.7.18}{}}
\newlabel{lemmaKFKwFw}{{7.20}{155}{Estensioni risolubili\relax }{thm.7.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Estensioni risolubili per radicali}{158}{subsection.7.3}}
\newlabel{Estensioni risolubili per radicali}{{7.3}{158}{Estensioni risolubili per radicali\relax }{subsection.7.3}{}}
\newlabel{lemmaGfrisolubile}{{7.22}{158}{Estensioni risolubili per radicali\relax }{thm.7.22}{}}
\newlabel{frisolubilesseGrisolubile}{{7.23}{160}{Estensioni risolubili per radicali\relax }{thm.7.23}{}}
\newlabel{lemmanonome1}{{7.24}{163}{Estensioni risolubili per radicali\relax }{thm.7.24}{}}
\newlabel{propnonome1}{{7.25}{165}{Estensioni risolubili per radicali\relax }{thm.7.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Discriminante}{166}{subsection.7.4}}
\newlabel{Discriminante}{{7.4}{166}{Discriminante\relax }{subsection.7.4}{}}
\newlabel{propDiscrim}{{7.28}{166}{Discriminante\relax }{thm.7.28}{}}
\newlabel{Dn2}{{7.29}{167}{Discriminante\relax }{thm.7.29}{}}
\newlabel{discriminante di f}{{7.30}{167}{Discriminante\relax }{thm.7.30}{}}
\newlabel{propDp}{{7.32}{168}{Discriminante\relax }{thm.7.32}{}}
\newlabel{proppenultimadelcorso}{{7.33}{168}{Discriminante\relax }{thm.7.33}{}}
\@input{esercizi.aux}
\@writefile{toc}{\contentsline {section}{\numberline {9}*}{186}{section.9}}
\newlabel{*}{{9}{186}{*\relax }{section.9}{}}