Vtgyjfy

In matematica, un campo è una struttura algebrica composta da un insieme non vuoto K{displaystyle K} e da due operazioni binarie interne, chiamate somma e prodotto e indicate di solito rispettivamente con +{displaystyle +} e ∗{displaystyle *}. Queste godono di proprietà assimilabili a quelle verificate da somma e prodotto sui numeri razionali o reali o anche complessi.

Il campo è una struttura algebrica basilare in matematica, necessaria per lo studio approfondito dei polinomi e delle loro radici, e per la definizione degli spazi vettoriali. Nel contesto degli spazi vettoriali un elemento di un campo è detto scalare.

Definizione formale |

L'insieme K{displaystyle K} non vuoto dotato di due operazioni binarie +{displaystyle +} e ∗{displaystyle *} è un campo se valgono le seguenti proprietà:^[1]

K{displaystyle K} insieme all'operazione +{displaystyle +} è un gruppo abeliano con elemento neutro 0{displaystyle 0}:

• (a+b)+c=a+(b+c){displaystyle (a+b)+c=a+(b+c)}


• a+b=b+a{displaystyle a+b=b+a}


• 0+a=a+0=a{displaystyle 0+a=a+0=a}


• per ogni a{displaystyle a} esiste −a{displaystyle -a} tale che a+(−a)=−a+a=0{displaystyle a+(-a)=-a+a=0}
  

K{displaystyle K} privato di {0}{displaystyle {0}} insieme all'operazione ∗{displaystyle *} è un gruppo abeliano con elemento neutro 1{displaystyle 1}:

• (a∗b)∗c=a∗(b∗c){displaystyle (a*b)*c=a*(b*c)}


• a∗b=b∗a{displaystyle a*b=b*a}


• 1∗a=a∗1=a{displaystyle 1*a=a*1=a}


• per ogni a≠0{displaystyle aneq 0} esiste a−1{displaystyle a^{-1}} tale che a∗a−1=a−1∗a=1{displaystyle a*a^{-1}=a^{-1}*a=1}
  

La moltiplicazione è distributiva rispetto all'addizione:

• a∗(b+c)=(a∗b)+(a∗c){displaystyle a*(b+c)=(a*b)+(a*c)}

(le relazioni devono valere per ogni a{displaystyle a}, b{displaystyle b} e c{displaystyle c} in K{displaystyle K})

Ciascuna delle seguenti definizioni di campo è equivalente a quella data:

• un anello commutativo con unità in cui ogni elemento non nullo ha un inverso;


• un corpo commutativo rispetto alla moltiplicazione.

Il gruppo moltiplicativo K{displaystyle K} meno l'elemento 0{displaystyle 0} è solitamente indicato con K∗{displaystyle K^{*}}.

Esempi |

Campi |

• L'insieme dei numeri razionali Q{displaystyle mathbb {Q} }, con le operazioni di addizione e moltiplicazione usuali tra numeri è un campo.


• L'insieme dei numeri reali R{displaystyle mathbb {R} }, con le operazioni di addizione e moltiplicazione tra numeri reali è un campo.


• L'insieme dei numeri complessi C{displaystyle mathbb {C} }, con l'appropriata estensione delle operazioni di addizione e moltiplicazione è un campo.


• I numeri algebrici formano un campo.


• I numeri surreali e i numeri p-adici formano dei campi.


• L'insieme Z/pZ{displaystyle mathbb {Z} /pmathbb {Z} } delle classi di resto modulo p{displaystyle p} con le usuali operazioni di somma e prodotto forma un campo se e solo se p{displaystyle p} è un numero primo.

Anelli che non sono campi |

• L'esempio più importante è l'insieme Z{displaystyle mathbb {Z} } dei numeri interi: non è un campo perché i soli elementi ad avere un inverso moltiplicativo sono +1{displaystyle +1} e −1{displaystyle -1}.


• Il prodotto di anelli è un anello, ma il prodotto di campi non è un campo. Quindi ad esempio R2=R×R{displaystyle mathbb {R} ^{2}=mathbb {R} times mathbb {R} } è un anello ma non un campo: l'elemento (1,0){displaystyle (1,0)} non ha un inverso.


• Ogni dominio d'integrità finito è un campo.

D'altra parte, ogni dominio d'integrità A{displaystyle A} è contenuto in un campo, detto campo quoziente, che è il "più piccolo" campo fra quelli contenenti A{displaystyle A}. Il campo quoziente di Z{displaystyle mathbb {Z} } è Q{displaystyle mathbb {Q} }.

Corpi che non sono campi |

• I quaternioni non formano un campo, perché l'operazione di moltiplicazione non è commutativa.

Relazione con altre strutture algebriche |

Anelli |

Come notato precedentemente, i campi sono dei particolari anelli, anche se la maggior parte degli strumenti impiegati nello studio di questi ultimi non permette di dare molte informazioni sui campi. Gli unici ideali di un campo K{displaystyle K}, ad esempio, sono K{displaystyle K} stesso e l'ideale nullo {0}{displaystyle {0}}: questo implica che ogni omomorfismo non nullo a valori in un campo K{displaystyle K} ha un nucleo banale, ed è quindi iniettivo, ovvero è un'estensione di campi.

Un campo è anche un dominio d'integrità e un particolare dominio euclideo con la valutazione v(a)=1{displaystyle v(a)=1} per ogni elemento a{displaystyle a} e, di conseguenza, è anche un dominio a fattorizzazione unica. Questo tuttavia non porta a risultati interessanti, perché ogni elemento non nullo, essendo invertibile, ha una fattorizzazione "vuota" (ovvero costituita solo da un'unità).

Come sugli anelli, sui campi è possibile definire dei polinomi: l'anello K[X]{displaystyle K[X]} così risultante è un dominio euclideo (con la valutazione data dal grado del polinomio) e in particolare un anello ad ideali principali: questa proprietà permette di definire il concetto di polinomio minimo di un elemento algebrico α{displaystyle alpha } su K{displaystyle K}.

Caratteristica |

.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}

Lo stesso argomento in dettaglio: Caratteristica (algebra).

Un'altra proprietà degli anelli che si trasferisce sui campi è la caratteristica, definita come il minimo intero n{displaystyle n} tale che:^[2]

1+1+⋯+1⏟n volte{displaystyle {begin{matrix}underbrace {1+1+dots +1} \nmathrm {~volte} end{matrix}}}

è uguale a zero. Se questo minimo non esiste, cioè se 1+1+…+1{displaystyle 1+1+ldots +1} è sempre diverso da zero, la caratteristica è 0{displaystyle 0} per definizione. Essendo i campi dei domini d'integrità, la loro caratteristica è 0{displaystyle 0} oppure un numero primo p{displaystyle p}. La caratteristica di K{displaystyle K} determina univocamente il suo sottocampo fondamentale: se è 0{displaystyle 0} sono i numeri razionali, mentre se è p{displaystyle p} è il campo finito con p{displaystyle p} elementi, ovvero l'anello quoziente Z/pZ{displaystyle mathbb {Z} /pmathbb {Z} } (denotato con Zp{displaystyle mathbb {Z} _{p}} o Fp{displaystyle mathbb {F} _{p}}). Tutti i campi finiti hanno caratteristica positiva, mentre il viceversa non è vero: un esempio è il campo Fp(X){displaystyle mathbb {F} _{p}(X)} delle funzioni razionali su un campo finito.

Gruppi |

Dalla definizione di campo segue immediatamente che (K,+){displaystyle (K,+)} e (K∖{0},⋅){displaystyle (Ksetminus {0},cdot )}, quest'ultimo spesso denotato con (K∗,⋅){displaystyle (K^{*},cdot )} sono gruppi abeliani. Come conseguenza del fatto che un polinomio di grado n{displaystyle n} non può avere più di n{displaystyle n} radici, ogni sottogruppo finito di K∗{displaystyle K^{*}} (e quindi, in particolare, ogni gruppo moltiplicativo di un campo finito) è ciclico; questo non avviene mai invece per il gruppo additivo, ad eccezione dei campi con p{displaystyle p} elementi.

Spazi vettoriali |

I campi sono fondamentali nella definizione degli spazi vettoriali; gran parte delle proprietà di questi ultimi (esistenza di una base, dimensione, sottospazi) non dipendono dal particolare campo impiegato. Analogamente, si possono definire spazi affini e spazi proiettivi su campi qualsiasi. La possibilità di definire un prodotto scalare (e quindi una struttura di spazio euclideo) dipende invece dal campo scelto, in quanto si basa sulla possibilità di definire una relazione d'ordine sul campo.

Legato al campo base dello spazio vettoriale è la possibilità di diagonalizzare gli operatori lineari, in quanto legata alla presenza di radici del polinomio caratteristico.

Sottocampi e estensione di campi |

Lo stesso argomento in dettaglio: Estensione di campi.

Un sottoinsieme di un campo K{displaystyle K} chiuso rispetto alla somma e al prodotto e contenente gli inversi e gli opposti di tutti i propri elementi forma esso stesso un campo, ed è detto sottocampo di K{displaystyle K}. Ad esempio i numeri razionali formano un sottocampo dei numeri reali, che a loro volta sono un sottocampo dei numeri complessi.

Rovesciando la prospettiva, un campo H{displaystyle H} che contiene K{displaystyle K} come sottocampo è un'estensione o un ampliamento di quest'ultimo. Poiché inoltre ogni omomorfismo di campi è iniettivo (cioè è un'immersione), si può considerare un campo H{displaystyle H} come un'estensione di K{displaystyle K} anche nel caso in cui esista un'immersione di K{displaystyle K} in H{displaystyle H}.

Un'estensione H{displaystyle H} di un campo K{displaystyle K} è automaticamente uno spazio vettoriale su K{displaystyle K}, e possiede quindi una sua dimensione: questa è detta grado dell'estensione, ed è indicata come [H:K]{displaystyle [H:K]}. Un'importante proprietà del grado è la sua moltiplicatività: se K⊆H⊆L{displaystyle Ksubseteq Hsubseteq L} e tutti e tre sono campi, allora

[K:L]=[K:H]⋅[H:L].{displaystyle [K:L]=[K:H]cdot [H:L].}

Se il grado di H{displaystyle H} su K{displaystyle K} è finito l'estensione è detta finita, mentre infinita in caso contrario.

Se H{displaystyle H} è un'estensione di K{displaystyle K}, e S{displaystyle S} è un sottoinsieme di K{displaystyle K}, si indica con K(S){displaystyle K(S)} il più piccolo sottocampo di H{displaystyle H} che contiene sia K{displaystyle K} che S{displaystyle S}, ovvero la più piccola estensione di K{displaystyle K} che contiene S{displaystyle S}; particolare importanza hanno le estensioni semplici, ovvero quelle in cui S{displaystyle S} è formato da un solo elemento.

Estensioni algebriche e trascendenti |

Un'estensione K⊆H{displaystyle Ksubseteq H} è detta algebrica se ogni elemento di H{displaystyle H} è radice di un polinomio a coefficienti in K{displaystyle K}, e trascendente altrimenti. Ad esempio l'estensione di R{displaystyle mathbb {R} } in C{displaystyle mathbb {C} } è algebrica, mentre quella di Q{displaystyle mathbb {Q} } in R{displaystyle mathbb {R} } è trascendente.

Le estensioni semplici possono essere classificate immediatamente come algebriche o trascendenti a partire dal loro grado: se questo è finito l'estensione è algebrica, mentre se è infinito è trascendente. Nel primo caso, il grado è uguale a quello del polinomio minimo del grado che genera l'ampliamento; un elemento α{displaystyle alpha } è detto algebrico o trascendente su un campo K{displaystyle K} a seconda che l'estensione K(α){displaystyle K(alpha )} sia algebrica o trascendente. Se K=Q{displaystyle K=mathbb {Q} }, gli elementi algebrici e trascendenti sono detti generalmente numeri algebrici e numeri trascendenti. Tutte le estensioni finite sono generate da un numero finito di elementi, e quindi sono finite, mentre il viceversa non è vero: un esempio è l'estensione

Q⊆Q(2,23,24,…,2n,…).{displaystyle mathbb {Q} subseteq mathbb {Q} ({sqrt {2}},{sqrt[{3}]{2}},{sqrt[{4}]{2}},ldots ,{sqrt[{n}]{2}},ldots ).}

Per distinguere tra loro le estensioni trascendenti, non potendo usare il grado dell'ampliamento, si usa il grado di trascendenza: questo è definito come il massimo numero di elementi algebricamente indipendenti di H{displaystyle H} su K{displaystyle K}, ovvero come il massimo numero n{displaystyle n} per cui esistono n{displaystyle n} elementi di H{displaystyle H} per cui non esiste alcun polinomio ad n{displaystyle n} incognite a coefficienti in K{displaystyle K} annullato da quegli elementi. Un'estensione algebrica ha grado di trascendenza 0{displaystyle 0}, mentre un'estensione trascendente semplice ha grado di trascendenza 1{displaystyle 1}.

Costruzione di estensioni algebriche |

Dato un campo K{displaystyle K} e un polinomio irriducibile f(X){displaystyle f(X)} a coefficienti in K{displaystyle K}, è sempre possibile trovare un'estensione di K{displaystyle K} in cui il polinomio ha una radice: l'anello quoziente

K[X](f(X)),{displaystyle {frac {K[X]}{(f(X))}},}

è infatti un campo, estensione di K{displaystyle K} (l'immersione è quella che associa ad ogni elemento di K{displaystyle K} la classe della sua costante), in cui l'elemento X+(f(X)){displaystyle X+(f(X))} è una soluzione di f(X){displaystyle f(X)}; il grado dell'estensione è, inoltre, il grado del polinomio f(X){displaystyle f(X)}. In tal modo è possibile trovare campi su cui dei polinomi assegnati abbiano una soluzione, o perfino tutte le possibili soluzioni; inoltre tutte le possibili estensioni sono isomorfe tra loro.

Un campo su cui tutti i polinomi abbiano almeno una radice è detto algebricamente chiuso: l'esempio più importante è il campo dei numeri complessi, dove tale asserzione è nota con il nome di teorema fondamentale dell'algebra (sebbene sia sempre dimostrato almeno in parte con metodi analitici); né il campo dei numeri razionali né quello dei numeri reali sono algebricamente chiusi (ad esempio il polinomio X2+1{displaystyle X^{2}+1} non ha radici). Dal lemma di Zorn segue che ogni campo K{displaystyle K} è contenuto in un campo algebricamente chiuso che sia il più piccolo possibile, cioè tale che ogni ampliamento intermedio tra K{displaystyle K} ed esso non sia algebricamente chiuso; questo prende il nome di chiusura algebrica di K{displaystyle K} e, sempre grazie al lemma di Zorn, è possibile dimostrare che è unica a meno di isomorfismi. La chiusura algebrica dei numeri reali è il campo dei numeri complessi, ma questa non è la chiusura algebrica dei razionali, che è invece il campo dei numeri algebrici.

Teoria di Galois |

Lo stesso argomento in dettaglio: Teoria di Galois.

La teoria di Galois studia le estensioni algebriche di un campo attraverso lo studio del gruppo degli automorfismi dell'estensioni, ovvero degli isomorfismi di un campo in sé. Questo gruppo (detto gruppo di Galois dell'estensione) può essere spesso calcolato esplicitamente fornendo, attraverso la corrispondenza di Galois, informazioni sul campo stesso.

Isomorfismi e automorfismi |

Gli isomorfismi di campi hanno molte proprietà che ne facilitano lo studio. Una basilare è che mandano il sottocampo fondamentale del dominio nel sottocampo fondamentale del codominio (e quindi conserva la caratteristica); inoltre, se α{displaystyle alpha } è una radice di un polinomio a coefficienti nel sottocampo fondamentale, la sua immagine è una radice dello stesso polinomio. In particolare conserva il grado del polinomio e, quindi, il grado delle estensioni: due campi isomorfi hanno lo stesso grado sul loro sottocampo fondamentale.

Se il dominio e il codominio coincidono, si ha un automorfismo del campo: le proprietà precedenti implicano che un automorfismo è l'identità sul sottocampo fondamentale (ovvero fissa tutti gli elementi del sottocampo fondamentale) e che un elemento di grado n{displaystyle n} (cioè il cui polinomio minimo ha grado n{displaystyle n}) ha al più n{displaystyle n} immagini distinte. L'insieme degli elementi fissati dall'automorfismo (ovvero degli α{displaystyle alpha } per cui f(α)=α{displaystyle f(alpha )=alpha }) è un campo, che viene detto campo fisso di f{displaystyle f}.

Estensioni normali e separabili |

Lo studio degli automorfismi di un campo ha bisogno di alcune ipotesi sull'estensione considerata.

La prima è quella di estensione normale: questa è un ampliamento algebrico K⊆L{displaystyle Ksubseteq L} in cui ogni isomorfismo di L{displaystyle L} in una sua chiusura algebrica che fissa K{displaystyle K} fissa anche L{displaystyle L} o, equivalentemente, un polinomio irriducibile in K[X]{displaystyle K[X]} che ha una radice in L{displaystyle L} vi ha tutte le sue radici, o ancora L{displaystyle L} è il campo di spezzamento di un polinomio a coefficienti in K{displaystyle K}. Un tipico esempio di estensione non normale è Q(23){displaystyle mathbb {Q} ({sqrt[{3}]{2}})}, perché 23{displaystyle {sqrt[{3}]{2}}} è radice di X3−2{displaystyle X^{3}-2}, le cui altre radici sono 23ω{displaystyle {sqrt[{3}]{2}}omega } e 23ω2{displaystyle {sqrt[{3}]{2}}omega ^{2}} dove ω{displaystyle omega } è una radice terza dell'unità.

La seconda è quella di estensione separabile, ovvero di un ampliamento algebrico in cui ogni elemento è radice di un polinomio separabile, ovvero di un polinomio senza radici multiple. Questa ipotesi è necessaria perché un elemento α{displaystyle alpha } abbia esattamente n{displaystyle n} immagini distinte, dove n{displaystyle n} è il suo grado. Su un campo di caratteristica zero tutte le estensioni sono separabili; se la caratteristica è invece positiva, si possono avere casi di estensioni non separabili. L'insieme di tutti gli elementi separabili su un campo K{displaystyle K} è un campo, che è detto la sua chiusura separabile.

Un'estensione sia normale che separabile è detta di Galois.

Corrispondenza di Galois |

Lo stesso argomento in dettaglio: Teorema fondamentale della teoria di Galois.

Nelle estensioni di Galois finite K⊆L{displaystyle Ksubseteq L}, si ha una corrispondenza biunivoca (detta corrispondenza di Galois) tra i sottogruppi del gruppo di Galois dell'estensione e i campi intermedi tra K{displaystyle K} ed L{displaystyle L}; ad un sottogruppo H{displaystyle H} corrisponde il campo fissato da tutti gli automorfismi appartenenti ad H{displaystyle H}, mentre ad un sottocampo F{displaystyle F} corrisponde il gruppo degli automorfismi di L{displaystyle L} che fissano F{displaystyle F}, ovvero il gruppo di Galois di L{displaystyle L} su F{displaystyle F}. L'importanza di questo teorema deriva dalla possibilità di trasportare problemi relativi a campi in problemi sui gruppi, che sono più facili da trattare anche perché spesso è possibile scrivere esplicitamente il gruppo, che è finito, mentre il campo è, spesso, infinito.

Nel caso di estensioni infinite, il teorema fondamentale non è più vero con queste ipotesi; è invece necessario introdurre sul gruppo di Galois una topologia (la topologia di Krull) che lo rende un gruppo topologico; la corrispondenza si ha tra i campi intermedi dell'estensione e i sottogruppi chiusi del gruppo di Galois.

Estensioni semplici ed elementi primitivi |

Un elemento che genera un'estensione è detto elemento primitivo per essa. Poiché le estensioni semplici sono più facili da studiare (ad esempio perché gli automorfismi sono univocamente determinati dall'immagine dell'elemento primitivo) è interessante cercare di caratterizzare gli ampliamenti semplici.

Per ampliamenti algebrici il risultato fondamentale è il teorema dell'elemento primitivo, che afferma che un ampliamento finito F⊆K{displaystyle Fsubseteq K} è semplice se e solo se ha un numero finito di campi intermedi; un importante corollario è che tutti gli ampliamenti finiti e separabili sono semplici, e di conseguenza lo sono anche tutti gli ampliamenti F⊆F(α1,…,αn){displaystyle Fsubseteq F(alpha _{1},ldots ,alpha _{n})}, con gli αi{displaystyle alpha _{i}} separabili. In particolare, quest'ultima condizione è soddisfatta se F{displaystyle F} è un campo di caratteristica 0{displaystyle 0}, e quindi ogni ampliamento algebrico finito di un'estensione di Q{displaystyle mathbb {Q} } è semplice (ad esempio Q(2,3)=Q(2+3){displaystyle mathbb {Q} ({sqrt {2}},{sqrt {3}})=mathbb {Q} ({sqrt {2}}+{sqrt {3}})}). Il risultato continua a valere se almeno n−1{displaystyle n-1} tra gli αi{displaystyle alpha _{i}} sono separabili, mentre due elementi non separabili possono impedire l'esistenza di un elemento primitivo.

La condizione sulla finitezza dell'ampliamento è essenziale: ad esempio l'ampliamento di Q{displaystyle mathbb {Q} } nella sua chiusura algebrica è algebrico (e ovviamente separabile) ma non semplice, perché se lo fosse avrebbe grado uguale a quello del suo elemento primitivo, mentre ogni algebrico ha grado finito.

Per gli ampliamenti trascendenti i risultati ottenibili non sono così buoni. Il teorema di Lüroth afferma che ogni campo L{displaystyle L} tale che

F⊂L⊆F(X){displaystyle Fsubset Lsubseteq F(X)}

(dove X{displaystyle X} è un'indeterminata su F{displaystyle F}), ovvero ogni campo intermedio di un'estensione trascendente semplice, è a sua volta un ampliamento semplice di F{displaystyle F}. Questo teorema non è estendibile a sottocampi in ampliamenti di due o più indeterminate; in geometria algebrica, una questione legata ad essa è se ogni estensione trascendente di F{displaystyle F} è puramente trascendente, ovvero se per ogni L{displaystyle L} si può scrivere L=F(Y1,Y2){displaystyle L=F(Y_{1},Y_{2})}, dove Y1{displaystyle Y_{1}} e Y2{displaystyle Y_{2}} sono indeterminate indipendenti su F{displaystyle F}. Questo non è vero nelle ipotesi del teorema di Lüroth; Guido Castelnuovo ha però dimostrato che per campi L{displaystyle L} per cui F⊂L⊆F(X,Y){displaystyle Fsubset Lsubseteq F(X,Y)}, F{displaystyle F} è algebricamente chiuso e L⊆F(X,Y){displaystyle Lsubseteq F(X,Y)} è finito e separabile, L{displaystyle L} è puramente trascendente su F{displaystyle F}.

Campi finiti |

Lo stesso argomento in dettaglio: Campo finito.

I campi finiti hanno importanza in teoria dei numeri, geometria algebrica e crittografia. Sono completamente caratterizzati dalla loro cardinalità: per ogni primo p{displaystyle p} e per ogni intero positivo n{displaystyle n} esiste (a meno di isomorfismi) un solo campo con pn{displaystyle p^{n}} elementi, e tutti i campi finiti sono in questa forma. Un campo con q{displaystyle q} elementi è denotato con Fq{displaystyle mathbb {F} _{q}} o GF(q){displaystyle GF(q)}. La caratteristica del campo con pn{displaystyle p^{n}} elementi è p{displaystyle p}.

L'ampliamento Fp⊆Fpn{displaystyle mathbb {F} _{p}subseteq mathbb {F} _{p^{n}}} è algebrico di grado n{displaystyle n}, normale e separabile; inoltre è semplice (perché, ad esempio, il gruppo moltiplicativo di Fpn{displaystyle mathbb {F} _{p^{n}}} è ciclico). Il campo con pn{displaystyle p^{n}} elementi comprende quello con pm{displaystyle p^{m}} se e solo se m{displaystyle m} divide n{displaystyle n}. La chiusura algebrica dei campi finiti con caratteristica p{displaystyle p} è data dalla loro unione, che è un campo infinito.

Note |

Bibliografia |

• Kenneth Hoffman, Ray Kunze, Linear Algebra, 2ª ed., Englewood Cliffs, New Jersey, Prentice - Hall, inc., 1971, ISBN 0-13-536821-9.


• Stefania Gabelli, Teoria delle Equazioni e Teoria di Galois, Milano, Springer, 2008, ISBN 978-88-470-0618-8.


• William Stallings, Capitolo 4 - I campi finiti, in Crittografia e sicurezza delle reti, ed. italiana a cura di Luca Salgarelli, 2ª edizione, Milano, McGraw-Hill, ottobre 2006, pp. 101-136., ISBN 88-386-6377-7.

Voci correlate |

• Glossario di teoria dei campi


• Altre strutture algebriche
  


• Spazio vettoriale


• Estensione algebrica


• Teoria di Galois


• Teoria dei campi


• Campo finito


• Campo con un elemento

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Criterio di Eisenstein · Criterio di Cartesio
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Prodotto diretto · Prodotto semidiretto Teoremi Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello

V · D · M Algebra commutativa
Concetti generali	Anello · Campo · Dominio d'integrità · Anello locale · Ideale (Massimale · Primo · Radicale · Radicale di Jacobson) · Decomposizione primaria · Primo associato · Spettro · Dimensione di Krull · Profondità
Estensioni	Localizzazione (Campo dei quozienti) · Estensione intera · Chiusura integrale · Completamento · Anello dei polinomi · Anello delle serie formali
Anelli noetheriani	Classi Anello artiniano · Anello regolare · Anello di Gorenstein · Anello di Cohen-Macaulay · Anello eccellente Teoremi Teorema dell'ideale principale · Teorema della base di Hilbert · Teorema degli zeri di Hilbert · Lemma di normalizzazione di Noether
Valutazioni	Anello di valutazione · Anello a valutazione discreta · Dominio di Prüfer · Dominio di Bézout
Fattorizzazione	Dominio a fattorizzazione unica · Dominio ad ideali principali · Dominio euclideo · Dominio di Dedekind · Dominio di Krull
Teoria dei moduli	Modulo libero · Modulo proiettivo · Modulo iniettivo · Prodotto tensoriale · Modulo piatto · Lemma di Nakayama · Lunghezza
Argomenti correlati	Algebra omologica · Geometria algebrica · Teoria algebrica dei numeri · Teoria delle categorie

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica