\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}Gli insiemi}{1}{section.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Concetto primitivo}{1}{subsection.1.1}}
\newlabel{sec:primitive}{{1.1}{1}{Concetto primitivo\relax }{subsection.1.1}{}}
\@writefile{toc}{\contentsline {paragraph}{}{1}{section*.2}}
\@writefile{toc}{\contentsline {paragraph}{}{1}{section*.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}L'elemento}{1}{subsection.1.2}}
\newlabel{sec:element}{{1.2}{1}{L'elemento\relax }{subsection.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}L'insieme}{1}{subsection.1.3}}
\newlabel{sec:set}{{1.3}{1}{L'insieme\relax }{subsection.1.3}{}}
\newlabel{sec:cardinalityset}{{1.3}{1}{L'insieme\relax }{subsection.1.3}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.1}Insieme vuoto}{2}{subsubsection.1.3.1}}
\newlabel{sec:emptyset}{{1.3.1}{2}{Insieme vuoto\relax }{subsubsection.1.3.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.2}Insieme identico}{2}{subsubsection.1.3.2}}
\newlabel{sec:identityset}{{1.3.2}{2}{Insieme identico\relax }{subsubsection.1.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Sottoinsieme}{2}{subsection.1.4}}
\newlabel{sec:subset}{{1.4}{2}{Sottoinsieme\relax }{subsection.1.4}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.4.1}Proprieta'}{2}{subsubsection.1.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Insiemi uguali}{2}{subsection.1.5}}
\newlabel{sec:eqset}{{1.5}{2}{Insiemi uguali\relax }{subsection.1.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.5.1}Sottoinsieme proprio e improprio}{2}{subsubsection.1.5.1}}
\newlabel{sec:propersubset}{{1.5.1}{2}{Sottoinsieme proprio e improprio\relax }{subsubsection.1.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Intersezione}{3}{subsection.1.6}}
\newlabel{sec:intersectset}{{1.6}{3}{Intersezione\relax }{subsection.1.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Intersezione di A e B}}{3}{figure.1}}
\newlabel{fig:venn_intersect}{{1}{3}{Intersezione di A e B\relax }{figure.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.6.1}Proprieta'}{3}{subsubsection.1.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7}Insiemi disgiunti}{3}{subsection.1.7}}
\newlabel{sec:disjointset}{{1.7}{3}{Insiemi disgiunti\relax }{subsection.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.8}Insiemi coincidenti}{3}{subsection.1.8}}
\newlabel{sec:jointset}{{1.8}{3}{Insiemi coincidenti\relax }{subsection.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.9}Insieme delle parti}{3}{subsection.1.9}}
\newlabel{sec:powerset}{{1.9}{3}{Insieme delle parti\relax }{subsection.1.9}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.9.1}Proprieta'}{4}{subsubsection.1.9.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10}Insieme di indici}{4}{subsection.1.10}}
\newlabel{sec:indexset}{{1.10}{4}{Insieme di indici\relax }{subsection.1.10}{}}
\newlabel{ex:indexset1}{{1.10}{4}{Insieme di indici\relax }{subsection.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.11}Famiglia}{4}{subsection.1.11}}
\newlabel{sec:familyset}{{1.11}{4}{Famiglia\relax }{subsection.1.11}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.11.1}Notazioni indicizzate}{4}{subsubsection.1.11.1}}
\newlabel{sec:indexednotation}{{1.11.1}{4}{Notazioni indicizzate\relax }{subsubsection.1.11.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.12}Unione}{5}{subsection.1.12}}
\newlabel{sec:unionset}{{1.12}{5}{Unione\relax }{subsection.1.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Unione di A e B}}{5}{figure.2}}
\newlabel{fig:venn_union}{{2}{5}{Unione di A e B\relax }{figure.2}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.12.1}Proprieta'}{5}{subsubsection.1.12.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.13}Unione e intersezione}{5}{subsection.1.13}}
\newlabel{sec:union_and_intersection}{{1.13}{5}{Unione e intersezione\relax }{subsection.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.14}Differenza}{5}{subsection.1.14}}
\newlabel{sec:differenceset}{{1.14}{5}{Differenza\relax }{subsection.1.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Differenza tra B ed A}}{6}{figure.3}}
\newlabel{fig:venn_B_minus_A}{{3}{6}{Differenza tra B ed A\relax }{figure.3}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.14.1}Proprieta'}{6}{subsubsection.1.14.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.15}Differenza simmetrica}{6}{subsection.1.15}}
\newlabel{sec:symmetric_difference_set}{{1.15}{6}{Differenza simmetrica\relax }{subsection.1.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Differenza simmetrica}}{7}{figure.4}}
\newlabel{fig:sym_complement}{{4}{7}{Differenza simmetrica\relax }{figure.4}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.15.1}Proprieta'}{7}{subsubsection.1.15.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.16}Unione disgiunta (o somma disgiunta)}{7}{subsection.1.16}}
\newlabel{sec:disjoint_union_set}{{1.16}{7}{Unione disgiunta (o somma disgiunta)\relax }{subsection.1.16}{}}
\newlabel{sec:disjoint_sum_set}{{1.16}{7}{Unione disgiunta (o somma disgiunta)\relax }{subsection.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.17}Partizione di A}{7}{subsection.1.17}}
\newlabel{sec:partition_rel}{{1.17}{7}{Partizione di A\relax }{subsection.1.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.18}Prodotto cartesiano}{8}{subsection.1.18}}
\newlabel{sec:product_set}{{1.18}{8}{Prodotto cartesiano\relax }{subsection.1.18}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Funzioni}{8}{section.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Funzione (applicazione)}{8}{subsection.2.1}}
\newlabel{sec:function}{{2.1}{8}{Funzione (applicazione)\relax }{subsection.2.1}{}}
\newlabel{sec:map}{{2.1}{8}{Funzione (applicazione)\relax }{subsection.2.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.1}Dominio e Codominio}{8}{subsubsection.2.1.1}}
\newlabel{sec:dominio}{{2.1.1}{8}{Dominio e Codominio\relax }{subsubsection.2.1.1}{}}
\newlabel{sec:codominio}{{2.1.1}{8}{Dominio e Codominio\relax }{subsubsection.2.1.1}{}}
\newlabel{sec:domain}{{2.1.1}{8}{Dominio e Codominio\relax }{subsubsection.2.1.1}{}}
\newlabel{sec:codomain}{{2.1.1}{8}{Dominio e Codominio\relax }{subsubsection.2.1.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.2}Immagine e Controimmagine}{8}{subsubsection.2.1.2}}
\newlabel{sec:immagine}{{2.1.2}{8}{Immagine e Controimmagine\relax }{subsubsection.2.1.2}{}}
\newlabel{sec:controimmagine}{{2.1.2}{8}{Immagine e Controimmagine\relax }{subsubsection.2.1.2}{}}
\newlabel{sec:image}{{2.1.2}{8}{Immagine e Controimmagine\relax }{subsubsection.2.1.2}{}}
\newlabel{sec:preimage}{{2.1.2}{8}{Immagine e Controimmagine\relax }{subsubsection.2.1.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces L'immagine della funzione e' quella parte tratteggiata che si trova all'interno del'insieme CD (codominio)}}{9}{figure.5}}
\newlabel{fig:immagine_funzione}{{5}{9}{L'immagine della funzione e' quella parte tratteggiata che si trova all'interno del'insieme CD (codominio)\relax }{figure.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.3}Proprieta'}{9}{subsubsection.2.1.3}}
\newlabel{propimmagineecontroimmagine}{{2.1.3}{9}{Proprieta'\relax }{subsubsection.2.1.3}{}}
\newlabel{propfunzAeqBfiniettiva}{{7}{9}{Proprieta'\relax }{Item.37}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Unione di funzioni}{10}{subsection.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Funzione surriettiva}{10}{subsection.2.3}}
\newlabel{sec:surjective}{{2.3}{10}{Funzione surriettiva\relax }{subsection.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Funzione iniettiva}{10}{subsection.2.4}}
\newlabel{sec:injective}{{2.4}{10}{Funzione iniettiva\relax }{subsection.2.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Funzione surriettiva e non iniettiva}}{11}{figure.6}}
\newlabel{fig:Non-injective_and_surjective}{{6}{11}{Funzione surriettiva e non iniettiva\relax }{figure.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Funzione iniettiva e non surriettiva}}{11}{figure.7}}
\newlabel{fig:Injective_and_non-surjective}{{7}{11}{Funzione iniettiva e non surriettiva\relax }{figure.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Funzione biettiva}{11}{subsection.2.5}}
\newlabel{sec:bijective}{{2.5}{11}{Funzione biettiva\relax }{subsection.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Composizione di funzioni}{11}{subsection.2.6}}
\newlabel{sec:func_composition}{{2.6}{11}{Composizione di funzioni\relax }{subsection.2.6}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.6.1}Proprieta'}{11}{subsubsection.2.6.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Composizione di due funzioni}}{12}{figure.8}}
\newlabel{fig:func_composition}{{8}{12}{Composizione di due funzioni\relax }{figure.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}Funzione inversa}{12}{subsection.2.7}}
\newlabel{sec:inverse_func}{{2.7}{12}{Funzione inversa\relax }{subsection.2.7}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.7.1}Proprieta'}{12}{subsubsection.2.7.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}Insieme di tutte le applicazioni A$\rightarrow $B}{13}{subsection.2.8}}
\newlabel{sec:B^A_func}{{2.8}{13}{Insieme di tutte le applicazioni A$\rightarrow $B\relax }{subsection.2.8}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.8.1}Numero di funzioni}{13}{subsubsection.2.8.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.9}Funzione caratteristica}{14}{subsection.2.9}}
\newlabel{sec:characteristic_func}{{2.9}{14}{Funzione caratteristica\relax }{subsection.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10}Operazione binaria interna}{14}{subsection.2.10}}
\newlabel{sec:binary_op}{{2.10}{14}{Operazione binaria interna\relax }{subsection.2.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Relazioni}{14}{section.3}}
\newlabel{sec:relation}{{3}{14}{Relazioni\relax }{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Relazione binaria}{14}{subsection.3.1}}
\newlabel{sec:binary_rel}{{3.1}{14}{Relazione binaria\relax }{subsection.3.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.1}Esempio}{14}{subsubsection.3.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Relazione binaria interna}{14}{subsection.3.2}}
\newlabel{sec:internal_binary_rel}{{3.2}{14}{Relazione binaria interna\relax }{subsection.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Relazione binaria diagonale}{15}{subsection.3.3}}
\newlabel{sec:diagonal_binary_rel}{{3.3}{15}{Relazione binaria diagonale\relax }{subsection.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Relazione binaria inversa}{15}{subsection.3.4}}
\newlabel{sec:inverse_binary_rel}{{3.4}{15}{Relazione binaria inversa\relax }{subsection.3.4}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.1}Esempio}{15}{subsubsection.3.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Composizione tra relazioni binarie interne}{15}{subsection.3.5}}
\newlabel{sec:composition_binary_rel}{{3.5}{15}{Composizione tra relazioni binarie interne\relax }{subsection.3.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.1}Esempio}{15}{subsubsection.3.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}Relazione binaria interna riflessiva}{15}{subsection.3.6}}
\newlabel{sec:riflessive_binary_rel}{{3.6}{15}{Relazione binaria interna riflessiva\relax }{subsection.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7}Relazione binaria interna simmetrica}{15}{subsection.3.7}}
\newlabel{sec:sym_binary_rel}{{3.7}{15}{Relazione binaria interna simmetrica\relax }{subsection.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8}Relazione binaria interna antisimmetrica}{16}{subsection.3.8}}
\newlabel{sec:asym_binary_rel}{{3.8}{16}{Relazione binaria interna antisimmetrica\relax }{subsection.3.8}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.8.1}Esempio}{16}{subsubsection.3.8.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9}Relazione binaria interna transitiva}{16}{subsection.3.9}}
\newlabel{sec:trans_binary_rel}{{3.9}{16}{Relazione binaria interna transitiva\relax }{subsection.3.9}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.9.1}Esempio}{16}{subsubsection.3.9.1}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relazioni di equivalenza}{16}{section.4}}
\newlabel{sec:rel_equ_ord}{{4}{16}{Relazioni di equivalenza\relax }{section.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Classe d'equivalenza}{16}{subsection.4.1}}
\newlabel{sec:class_equ}{{4.1}{16}{Classe d'equivalenza\relax }{subsection.4.1}{}}
\newlabel{sec:quotient_set_rel}{{4.1}{16}{Classe d'equivalenza\relax }{subsection.4.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.1}Proprieta'}{17}{subsubsection.4.1.1}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Relazioni di ordine}{18}{section.5}}
\newlabel{sec:rel_ord}{{5}{18}{Relazioni di ordine\relax }{section.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Insieme parzialmente ordinato}{18}{subsection.5.1}}
\newlabel{sec:poset}{{5.1}{18}{Insieme parzialmente ordinato\relax }{subsection.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Insieme totalemente ordinato}{18}{subsection.5.2}}
\newlabel{sec:total_poset}{{5.2}{18}{Insieme totalemente ordinato\relax }{subsection.5.2}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}Esempio}{19}{subsubsection.5.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Minimo}{19}{subsection.5.3}}
\newlabel{sec:Minimo}{{5.3}{19}{Minimo\relax }{subsection.5.3}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1}Proprieta'}{19}{subsubsection.5.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Insieme ben ordinato}{19}{subsection.5.4}}
\newlabel{sec:well_ordered_set}{{5.4}{19}{Insieme ben ordinato\relax }{subsection.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Massimo}{19}{subsection.5.5}}
\newlabel{sec:Massimo}{{5.5}{19}{Massimo\relax }{subsection.5.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1}Proprieta'}{20}{subsubsection.5.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Minimale}{20}{subsection.5.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.6.1}Proprieta'}{20}{subsubsection.5.6.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.6.2}Esempio}{20}{subsubsection.5.6.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7}Massimale}{20}{subsection.5.7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.7.1}Proprieta'}{20}{subsubsection.5.7.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.7.2}Esempio}{20}{subsubsection.5.7.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8}Minorante}{21}{subsection.5.8}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.8.1}Esempio}{21}{subsubsection.5.8.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.9}Maggiorante}{21}{subsection.5.9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.9.1}Esempio}{21}{subsubsection.5.9.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10}Estremo inferiore}{21}{subsection.5.10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.10.1}Esempio}{22}{subsubsection.5.10.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.11}Estremo superiore}{22}{subsection.5.11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12}POSET completo}{22}{subsection.5.12}}
\@writefile{toc}{\contentsline {section}{\numberline {6}L'insieme $\mathbb  {N}$}{22}{section.6}}
\newlabel{sec:N}{{6}{22}{L'insieme $\mathbb {N}$\relax }{section.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Assiomatizzazione di Peano}{22}{subsection.6.1}}
\newlabel{sec:peano}{{6.1}{22}{Assiomatizzazione di Peano\relax }{subsection.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Dimostrazione per induzione}{23}{subsection.6.2}}
\newlabel{dimperinduzione}{{6.2}{23}{Dimostrazione per induzione\relax }{subsection.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Principii di induzione}{24}{subsection.6.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Altre note sull'induzione}{26}{subsection.6.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5}Addizione in N}{27}{subsection.6.5}}
\newlabel{sec:add}{{6.5}{27}{Addizione in N\relax }{subsection.6.5}{}}
\newlabel{addizioneinN}{{6.5}{27}{Addizione in N\relax }{subsection.6.5}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {6.5.1}Proprieta' dell'addizione}{28}{subsubsection.6.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6}Moltiplicazione}{28}{subsection.6.6}}
\newlabel{sec:mul}{{6.6}{28}{Moltiplicazione\relax }{subsection.6.6}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {6.6.1}Proprieta' della moltiplicazione}{28}{subsubsection.6.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.7}Elemento neutro}{29}{subsection.6.7}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Teoria della divisibilita'}{29}{section.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Divisibilita'}{29}{subsection.7.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.1}Proprieta'}{29}{subsubsection.7.1.1}}
\newlabel{sec:divis_prop}{{7.1.1}{29}{Proprieta'\relax }{subsubsection.7.1.1}{}}
\newlabel{propdivaeqbc}{{5}{30}{Proprieta'\relax }{Item.86}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Massimo Comune Divisore}{30}{subsection.7.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.2.1}Proprieta'}{30}{subsubsection.7.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Algoritmo di divisione in $\mathbb  {N}$}{30}{subsection.7.3}}
\newlabel{sec:divisione_algo}{{7.3}{30}{Algoritmo di divisione in $\mathbb {N}$\relax }{subsection.7.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Algoritmo Euclideo per il MCD}{31}{subsection.7.4}}
\newlabel{algoeuclidemcd}{{7.4}{31}{Algoritmo Euclideo per il MCD\relax }{subsection.7.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Teoria degli insiemi}{32}{section.8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Cardinalita' (o Potenza)}{32}{subsection.8.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Insieme finito (infinito)}{32}{subsection.8.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.1}Esempio}{33}{subsubsection.8.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Insieme numerabile}{33}{subsection.8.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.1}Proprieta'}{33}{subsubsection.8.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}Insiemi equipotenti}{33}{subsection.8.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.4.1}Proprieta'}{34}{subsubsection.8.4.1}}
\newlabel{eq:A}{{1}{34}{Proprieta'\relax }{equation.8.1}{}}
\newlabel{eq:B}{{2}{34}{Proprieta'\relax }{equation.8.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5}Diagonalizzazione di Cantor}{35}{subsection.8.5}}
\newlabel{diagonalizzcantor}{{8.5}{35}{Diagonalizzazione di Cantor\relax }{subsection.8.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6}Potenza del continuo}{37}{subsection.8.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.7}Ipotesi del continuo}{37}{subsection.8.7}}
\@writefile{toc}{\contentsline {section}{\numberline {9}L'insieme $\mathbb  {Z}$}{37}{section.9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}Addizione}{37}{subsection.9.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.1}Proprieta'}{38}{subsubsection.9.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Moltiplicazione}{38}{subsection.9.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.2.1}Proprieta'}{38}{subsubsection.9.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3}Simbolismo}{38}{subsection.9.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4}$\mathbb  {N}$ immerso in $\mathbb  {Z}$}{39}{subsection.9.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5}$\mathbb  {Z}$ e' un totet}{39}{subsection.9.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.6}Teoria della divisibilita' in $\mathbb  {Z}$}{39}{subsection.9.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.6.1}Proprieta'}{39}{subsubsection.9.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.7}Numeri irriducibili e primi}{40}{subsection.9.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.8}MCD in $\mathbb  {Z}$}{40}{subsection.9.8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.9}Minimo Comume Multiplo}{40}{subsection.9.9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.9.1}Proprieta'}{41}{subsubsection.9.9.1}}
\newlabel{mcmMCD123}{{9.9.1}{41}{Proprieta'\relax }{subsubsection.9.9.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.10}Algoritmo di divisione in $\mathbb  {Z}$}{42}{subsection.9.10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.11}Identita' di Bezout}{42}{subsection.9.11}}
\newlabel{iddibezout}{{9.1}{42}{Identita' di Bezout\relax }{thm.9.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.12}Teorema fondamentale dell'aritmetica}{43}{subsection.9.12}}
\@writefile{toc}{\contentsline {section}{\numberline {10}Aritmetica modulare}{44}{section.10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1}Somma}{45}{subsection.10.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {10.1.1}Prodotto}{45}{subsubsection.10.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2}Proprieta'}{45}{subsection.10.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3}Elementi invertibili}{46}{subsection.10.3}}
\newlabel{elementiinvertibiliinZn}{{10.1}{46}{Elementi invertibili\relax }{thm.10.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {10.3.1}Insieme degli invertibili}{46}{subsubsection.10.3.1}}
\newlabel{sec:invertible_set}{{10.3.1}{46}{Insieme degli invertibili\relax }{subsubsection.10.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4}Equazione modulare}{46}{subsection.10.4}}
\newlabel{equmodulareunica}{{10.2}{46}{Equazione modulare\relax }{thm.10.2}{}}
\newlabel{soluzioneequmodulare}{{10.4}{47}{Equazione modulare\relax }{thm.10.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.5}Sistemi lineari di congruenze}{48}{subsection.10.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {10.5.1}Teorema cinese del resto}{48}{subsubsection.10.5.1}}
\newlabel{thmcinesedelresto}{{10.6}{48}{Teorema cinese del resto\relax }{thm.10.6}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {10.5.2}Applicazione del teorema cinese del resto}{49}{subsubsection.10.5.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {10.5.3}Metodo di sostituzione}{49}{subsubsection.10.5.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.6}Altri sistemi di congruenze}{50}{subsection.10.6}}
\newlabel{propmodulodelmodulosedivisibile}{{10.7}{50}{Altri sistemi di congruenze\relax }{thm.10.7}{}}
\newlabel{sistemcongrm1divm2divmn}{{10.9}{50}{Altri sistemi di congruenze\relax }{thm.10.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11}Equazioni diofantee}{52}{section.11}}
\newlabel{equazionidiofantea}{{11.1}{52}{Equazioni diofantee\relax }{thm.11.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {11.0.1}Risoluzione}{54}{subsubsection.11.0.1}}
\newlabel{sec:eq_diof_sol}{{11.0.1}{54}{Risoluzione\relax }{subsubsection.11.0.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12}I numeri primi}{54}{section.12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1}La funzione di Eulero}{54}{subsection.12.1}}
\newlabel{funzionedieulero}{{12.1}{54}{La funzione di Eulero\relax }{thm.12.1}{}}
\newlabel{euleromoltiplicativo}{{12.2}{54}{La funzione di Eulero\relax }{thm.12.2}{}}
\newlabel{formulafunzioneeulero}{{12.3}{56}{La funzione di Eulero\relax }{thm.12.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.2}Teorema di Fermat}{56}{subsection.12.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3}Teorema di Eulero}{57}{subsection.12.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.4}Proprieta' dei primi}{57}{subsection.12.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.5}Teorema di Wilson}{57}{subsection.12.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.6}R.S.A}{58}{subsection.12.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.7}La chiave pubblica}{58}{subsection.12.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.8}Messaggio criptato}{58}{subsection.12.8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.9}Chiave privata}{58}{subsection.12.9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.10}Messaggio decriptato}{59}{subsection.12.10}}
\@writefile{toc}{\contentsline {section}{\numberline {13}L'insieme $\mathbb  {Q}$}{59}{section.13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.1}Addizione}{59}{subsection.13.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {13.1.1}Proprieta'}{59}{subsubsection.13.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.2}Moltiplicazione}{60}{subsection.13.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {13.2.1}Proprieta'}{60}{subsubsection.13.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.3}Immersione di $\mathbb  {Z}$ in $\mathbb  {Q}$}{60}{subsection.13.3}}
\@writefile{toc}{\contentsline {section}{\numberline {14}L'insieme $\mathbb  {R}$}{60}{section.14}}
\@writefile{toc}{\contentsline {section}{\numberline {15}L'insieme $\mathbb  {C}$}{61}{section.15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1}Inverso}{61}{subsection.15.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.2}Radici n-esime dell'unita'}{61}{subsection.15.2}}
\@writefile{toc}{\contentsline {section}{\numberline {16}Polinomi}{62}{section.16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.1}Funzione polinomiale}{62}{subsection.16.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2}Somma}{62}{subsection.16.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.3}Prodotto}{62}{subsection.16.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4}Polinomio}{63}{subsection.16.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.5}Grado di un polinomio}{64}{subsection.16.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {16.5.1}Proprieta'}{64}{subsubsection.16.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.6}Polinomi invertibili}{64}{subsection.16.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.7}Algoritmo di divisione in $K[x]$}{64}{subsection.16.7}}
\newlabel{divisionealgopolin}{{16.7}{64}{Algoritmo di divisione in $K[x]$\relax }{subsection.16.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.8}Polinomi associati}{65}{subsection.16.8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.9}Polinomi primi}{65}{subsection.16.9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.10}Polinomio irriducibile}{65}{subsection.16.10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.11}MCD di polinomi}{66}{subsection.16.11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.12}Fattorizzazione unica di un polinomio}{66}{subsection.16.12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.13}Teorema di Ruffini}{66}{subsection.16.13}}
\newlabel{cor_ruff}{{16.1}{66}{Teorema di Ruffini\relax }{thm.16.1}{}}
\newlabel{alpiunradiciperRuffini}{{16.1}{66}{Teorema di Ruffini\relax }{thm.16.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.14}Molteplicita'}{67}{subsection.16.14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.15}Irriducibilita' di un polinomio in $\mathbb  {C}[x]$}{67}{subsection.16.15}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {16.15.1}Coniugato di un polinomio}{67}{subsubsection.16.15.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {16.15.2}Fattorizzazione in $\mathbb  {C}$}{67}{subsubsection.16.15.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.16}Irriducibilita' di un polinomio in $\mathbb  {R}$}{68}{subsection.16.16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.17}Irriducibilita' di un polinomio in $\mathbb  {Q}$}{69}{subsection.16.17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.18}Polinomio primitivo}{69}{subsection.16.18}}
\newlabel{defpolprimitivo}{{16.2}{69}{Polinomio primitivo\relax }{thm.16.2}{}}
\newlabel{pol_prim}{{16.2}{70}{Polinomio primitivo\relax }{thm.16.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.19}Lemma di Gauss}{70}{subsection.16.19}}
\newlabel{lemma_del_gaussino}{{16.19}{70}{Lemma di Gauss\relax }{subsection.16.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.20}Corollario del lemma di Gauss}{70}{subsection.16.20}}
\newlabel{corlemgauss}{{16.20}{70}{Corollario del lemma di Gauss\relax }{subsection.16.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.21}Irriducibilita' in $\mathbb  {Z}[x]$ e $\mathbb  {Q}[x]$}{70}{subsection.16.21}}
\newlabel{irriducinZestirriducinQ}{{16.3}{70}{Irriducibilita' in $\mathbb {Z}[x]$ e $\mathbb {Q}[x]$\relax }{thm.16.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.22}Teorema di Gauss}{71}{subsection.16.22}}
\newlabel{ThmGaussdimoZ}{{16.22}{71}{Teorema di Gauss\relax }{subsection.16.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.23}Criterio di Eisenstein}{72}{subsection.16.23}}
\newlabel{Eisenstein}{{16.23}{72}{Criterio di Eisenstein\relax }{subsection.16.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.24}Criterio di riduzione modulo p}{72}{subsection.16.24}}
\newlabel{criteriomodp}{{16.24}{72}{Criterio di riduzione modulo p\relax }{subsection.16.24}{}}
\newlabel{Criteriomodulop}{{16.24}{73}{Criterio di riduzione modulo p\relax }{subsection.16.24}{}}
\@writefile{toc}{\contentsline {section}{\numberline {17}Anelli}{74}{section.17}}
\newlabel{sec:anelli}{{17}{74}{Anelli\relax }{section.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.1}I quaternioni}{76}{subsection.17.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.2}Domini finiti}{77}{subsection.17.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.3}Sottoanello}{77}{subsection.17.3}}
\newlabel{caratt2sottoanello}{{17.3}{78}{Sottoanello\relax }{thm.17.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.4}Omomorfismo}{78}{subsection.17.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {17.4.1}Proprieta'}{78}{subsubsection.17.4.1}}
\newlabel{propunitapreservatadaf}{{17.4}{78}{Proprieta'\relax }{thm.17.4}{}}
\newlabel{propinvdifdia}{{17.5}{79}{Proprieta'\relax }{thm.17.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.5}Immagine e nucleo}{79}{subsection.17.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.6}Anello quoziente}{81}{subsection.17.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {17.6.1}Esempio}{83}{subsubsection.17.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.7}Surriezione naturale}{83}{subsection.17.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.8}Ideale}{83}{subsection.17.8}}
\newlabel{ideale_yea}{{17.8}{83}{Ideale\relax }{subsection.17.8}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {17.8.1}Proprieta' degli ideali}{84}{subsubsection.17.8.1}}
\newlabel{ideal888178628}{{17.8.1}{84}{Proprieta' degli ideali\relax }{subsubsection.17.8.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.9}Omomorfismo e ideali}{85}{subsection.17.9}}
\newlabel{872jf82jhd}{{17.9}{85}{Omomorfismo e ideali\relax }{subsection.17.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.10}Teorema dell'omomorfismo}{86}{subsection.17.10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {17.10.1}Corollario I}{87}{subsubsection.17.10.1}}
\newlabel{corIthmomo}{{17.10.1}{87}{Corollario I\relax }{subsubsection.17.10.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {17.10.2}Corollario II}{87}{subsubsection.17.10.2}}
\newlabel{corIItommo}{{17.10.2}{87}{Corollario II\relax }{subsubsection.17.10.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.11}Teorema dell'isomorfismo II}{87}{subsection.17.11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {17.12}Teorema dell'isomorfismo III}{89}{subsection.17.12}}
\@writefile{toc}{\contentsline {section}{\numberline {18}Ideali generati}{89}{section.18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {18.1}Sistema di generatori}{89}{subsection.18.1}}
\newlabel{AcamposseAhaidealibanali}{{18.1}{90}{Sistema di generatori\relax }{thm.18.1}{}}
\newlabel{fomodacampoadanelloestiniettiva}{{18.2}{90}{Sistema di generatori\relax }{thm.18.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {18.2}Ideale primo}{90}{subsection.18.2}}
\newlabel{idealeprimocaratt}{{18.2}{90}{Ideale primo\relax }{subsection.18.2}{}}
\newlabel{primosseAPdominio}{{18.3}{90}{Ideale primo\relax }{thm.18.3}{}}
\newlabel{Pprimossepprimo}{{18.4}{91}{Ideale primo\relax }{thm.18.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {18.3}Ideale massimale}{91}{subsection.18.3}}
\newlabel{massimalesseAMcampo}{{18.6}{92}{Ideale massimale\relax }{thm.18.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {18.4}Ideali e $\mathbb  {Z}$}{93}{subsection.18.4}}
\newlabel{tuttigliidealidiZsonoPID}{{18.8}{93}{Ideali e $\mathbb {Z}$\relax }{thm.18.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {19}Campo dei quozienti di D}{93}{section.19}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {19.0.1}Esempi}{95}{subsubsection.19.0.1}}
\@writefile{toc}{\contentsline {section}{\numberline {20}Principal Ideal Domain}{95}{section.20}}
\newlabel{elemento!irriducibile}{{20.2}{95}{Principal Ideal Domain\relax }{thm.20.2}{}}
\newlabel{elemento!primo}{{20.2}{95}{Principal Ideal Domain\relax }{thm.20.2}{}}
\newlabel{UFDirridequivprimo}{{20.4}{96}{Principal Ideal Domain\relax }{thm.20.4}{}}
\newlabel{dim111111}{{20}{96}{Principal Ideal Domain\relax }{thm.20.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {21}Domini euclidei}{96}{section.21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {21.1}Esempi di domini euclidei}{97}{subsection.21.1}}
\newlabel{Zeuclid11213}{{21.1}{97}{Esempi di domini euclidei\relax }{subsection.21.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {21.2}Proprieta' dei domini euclidei}{97}{subsection.21.2}}
\newlabel{EDimplicadomunitario}{{21.1}{97}{Proprieta' dei domini euclidei\relax }{thm.21.1}{}}
\newlabel{propamassimaleequivaleaprimo}{{21.6}{99}{Proprieta' dei domini euclidei\relax }{thm.21.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {21.3}ED, PID e UFD}{100}{subsection.21.3}}
\newlabel{9747289471}{{21.3}{100}{ED, PID e UFD\relax }{subsection.21.3}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {21.3.1}Caratterizzazione di un UFD}{101}{subsubsection.21.3.1}}
\newlabel{carattUFD}{{21.3.1}{101}{Caratterizzazione di un UFD\relax }{subsubsection.21.3.1}{}}
\newlabel{dim87656787656}{{21.3.1}{102}{Caratterizzazione di un UFD\relax }{subsubsection.21.3.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {21.3.2}PID $\Rightarrow $ UFD}{103}{subsubsection.21.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {21.4}ED $\Rightarrow $ PID $\Rightarrow $ UFD, e controesempi}{104}{subsection.21.4}}
\newlabel{thmcatenadiimplicazioniKEDPIDUFD}{{21.10}{104}{ED $\Rightarrow $ PID $\Rightarrow $ UFD, e controesempi\relax }{thm.21.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {22}Interi di Gauss}{105}{section.22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {22.1}Somma di quadrati}{107}{subsection.22.1}}
\newlabel{sumquadrpro}{{22.2}{108}{Somma di quadrati\relax }{thm.22.2}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {22.1.1}Esempio}{110}{subsubsection.22.1.1}}
\@writefile{toc}{\contentsline {section}{\numberline {23}Polinomi UFD}{111}{section.23}}
\newlabel{irriducibileinUFDestirriducibileinQUFD}{{23.1}{111}{Polinomi UFD\relax }{thm.23.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {23.1}Teorema di Gauss}{111}{subsection.23.1}}
\newlabel{thmgaussufd}{{23.2}{111}{Teorema di Gauss\relax }{thm.23.2}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {23.1.1}Esempi}{112}{subsubsection.23.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {23.2}Criteri di irriducibilita'}{112}{subsection.23.2}}
\newlabel{crieisensteinUFD}{{23.2}{112}{Criteri di irriducibilita'\relax }{subsection.23.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {23.3}Algoritmo di divisione in un UFD}{112}{subsection.23.3}}