biblio toscana

In matematica, in particolare in algebra, un campo finito (detto a volte anche campo di Galois) è un campo che contiene un numero finito di elementi. I campi finiti sono importanti in teoria dei numeri, geometria algebrica, teoria di Galois, in crittografia e in teoria dei codici. I campi finiti sono completamente classificati.

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.

L'algebra (dall'arabo الجبر, al-ğabr, 'completamento') è una branca della matematica che tratta lo studio di strutture algebriche, relazioni e quantità.

La teoria dei gruppi è la branca della matematica che si occupa dello studio dei gruppi. In astratto, e in breve, un gruppo è una struttura algebrica caratterizzata da un'operazione binaria associativa, dotata di elemento neutro e per la quale ogni elemento della struttura possiede elemento inverso; un semplice esempio di gruppo è dato dall'insieme dei numeri interi, con l'operazione dell'addizione. Tipico esempio di gruppo è fornito dalle rotazioni di uno spazio vettoriale euclideo S, cioè dall'insieme costituito da tutte le rotazioni di S (trasformazioni che lasciano fissa l'origine di S, mantengono le distanze tra i punti di S e si possono ottenere con movimenti continui). Muniamo l'insieme delle rotazioni di S con l'operazione di composizione delle rotazioni; si osserva che componendo due di queste rotazioni si ottiene un'altra rotazione; inoltre la rotazione identità, cioè la trasformazione che lascia fisso ogni punto di S, svolge il ruolo di elemento neutro per la composizione delle rotazioni. Ovviamente ad ogni rotazione esiste la sua 'inversa' che per composizione ripristina la situazione iniziale. Le rotazioni di S e la loro composizione costituiscono quindi un gruppo detto gruppo delle rotazioni di S; lo denotiamo con GrpRot(S). Restringiamo poi l'insieme delle rotazioni di S a quelle che trasformano in se stessa una certa figura geometrica F, ad esempio un cubo, un prisma regolare o una piramide. È evidente che la composizione di due di queste rotazioni fornisce un'altra rotazione che lascia invariata la figura F. Con ciascuna di queste richieste di invarianza si individua un gruppo contenuto in GrpRot(S). Questi gruppi sono detti sottogruppi di GrpRot(S). Questi esempi possono servire a farsi una prima idea del fatto che la teoria dei gruppi è lo strumento matematico per lo studio delle simmetrie delle figure geometriche e di altri oggetti che si incontrano nella matematica, nella fisica e nelle altre discipline che si avvalgono di modelli matematici e di procedure computazionali. Una buona gamma di definizioni di termini utilizzati per sviluppare la teoria dei gruppi è raccolta nel glossario di teoria dei gruppi.

In matematica, il teorema fondamentale della teoria di Galois è un teorema che mostra il legame tra gli intercampi di un'estensione di Galois e i sottogruppi del relativo gruppo di Galois. Per descrivere esattamente l'enunciato del teorema è necessario definire due funzioni (che per comodità indicheremo con i e j), che sono l'esempio più classico di connessioni di Galois.

In matematica, e più precisamente in algebra, un gruppo di Galois è un gruppo associato a un'estensione di campi. In particolare, vengono principalmente studiati i gruppi associati ad estensioni che sono di Galois. La teoria di Galois si occupa dello studio delle estensioni di Galois tramite l'analisi dei rispettivi gruppi di Galois, come, ad esempio, i gruppi di Galois associati alle estensioni date da campi di spezzamento di polinomi separabili.

In matematica si definisce equazione di quarto grado o quartica quell'equazione algebrica in cui il grado più alto dell'incognita è il quarto. Nella forma canonica, assume la forma: a x 4 + b x 3 + c x 2 + d x + e = 0 (con a ≠ 0 ) . {\displaystyle ax^{4}+bx^{3}+cx^{2}+dx+e=0\qquad {\mbox{(con }}a\neq 0).} La prima soluzione generale dell'equazione di quarto grado si deve al matematico italiano Ferrari, pubblicata però nel 1545 nell'Artis Magnae sive de regulis algebraicis di Cardano, che conteneva anche il metodo risolutivo dell'equazione di terzo grado. Si profuse allora grande impegno nel trovare le soluzioni generali di equazioni di quinto grado e superiore, ma invano: solo due secoli e mezzo dopo, i lavori di Ruffini del 1799, in maniera incompleta, e di Abel nel 1824, in maniera esaustiva, costituiscono complessivamente quello oggi noto come Teorema di Abel-Ruffini. In particolare Lagrange trovò che l'equazione risolvente di un'equazione di quinto grado è un'equazione di sesto, ricollegandosi ai risultati di Galois nella teoria dei gruppi.

In matematica, il discriminante di un polinomio è una quantità che dà informazioni sulle sue radici e, nell'ambito della teoria di Galois, sul gruppo di Galois del polinomio. Come caso particolare, il discriminante dell'equazione di secondo grado a x 2 + b x + c = 0 {\displaystyle ax^{2}+bx+c=0} è b 2 − 4 a c {\displaystyle b^{2}-4ac} , e questa quantità è presente direttamente nella formula risolutiva dell'equazione.