Algebra
Da Wikipedia, l'enciclopedia libera.
L'algebra è una branca della matematica che tratta lo studio di strutture algebriche, relazione e quantità.
Il termine algebra (dall'arabo الجبر, al-ğabr che significa "unione", "connessione" o "completamento", ma anche "aggiustare") deriva dal nome del libro del matematico persiano arabo Muḥammad ibn Mūsā al-Ḵwārizmī, intitolato Al-Kitab al-Jabr wa-l-Muqabala ("Compendio sul Calcolo per Completamento e Bilanciamento"), che tratta la risoluzione delle equazioni di primo e di secondo grado.
Indice |
[modifica] Algebra elementare
L'algebra può essere introdotta come generalizzazione ed estensione dell'algebra elementare. Quest'ultima, insegnata nelle scuole secondarie, estende a sua volta l'aritmetica tramite l'introduzione di oggetti simbolici, chiamati variabili e denotati con delle lettere dell'alfabeto.
Alle variabili si applicano le usuali operazioni aritmetiche di addizione, differenza, moltiplicazione e divisione. In questo modo vengono introdotti e studiati oggetti come le equazioni ed i polinomi e i metodi di risoluzione per trovarne le radici.
[modifica] Algebra astratta
L'algebra astratta è una estensione dell'algebra elementare, nata nel XIX secolo e sviluppatasi enormemente nel XX secolo. L'algebra astratta definisce e studia le strutture algebriche: insiemi muniti di operazioni che soddisfano determinati assiomi. Questi insiemi estendono gli usuali insiemi numerici, quali i numeri interi o razionali, e le loro ordinarie operazioni di somma o prodotto.
Esempi di strutture algebriche sono i gruppi, gli anelli, i campi e gli spazi vettoriali.
[modifica] Algebra lineare
L'algebra lineare è l'algebra utile a studiare le equazioni lineari. Protagonista dell'algebra lineare è lo spazio vettoriale, una struttura che generalizza il piano cartesiano e permette di definire spazi di dimensione arbitraria.
L'algebra lineare è di importanza fondamentale in molte discipline scientifiche.
[modifica] Teoria dei gruppi
Il gruppo è una struttura algebrica caratterizzata da una singola operazione binaria che soddisfa alcune proprietà. Molti insiemi sono gruppi: ad esempio i numeri interi (con l'operazione somma), oppure l'insieme delle simmetrie di un particolare oggetto geometrico.
La teoria dei gruppi studia queste strutture. Fornisce risultati che si applicano in tutta la geometria, e in particolare alla topologia, e allo studio delle simmetrie. Ha anche una forte correlazione con la combinatoria: l'insieme delle permutazioni di un insieme è ad esempio un gruppo.
[modifica] Teoria degli anelli
Un anello è una struttura algebrica che arricchisce quella di gruppo, fornendo anche una seconda operazione binaria: le due operazioni binarie devono soddisfare degli assiomi che le rendono simili alle operazioni di somma e prodotto dei numeri interi. Tra gli insiemi che risultano essere degli anelli, troviamo l'insieme dei polinomi o delle matrici (con opportune operazioni di somma e prodotto).
La teoria degli anelli studia queste strutture. Si applica allo studio delle radici di un polinomio, all'algebra lineare (tramite ad esempio lo studio delle matrici, o di strumenti raffinati quali il polinomio caratteristico e il polinomio minimo), e in un modo più avanzato alla geometria algebrica.
[modifica] Teoria dei campi
Un campo è un anello che deve soddisfare degli assiomi ulteriori, che molte strutture semplici non soddisfano: ad esempio gli interi non sono un campo, mentre i razionali sì.
La teoria dei campi studia queste strutture. I campi sono l'oggetto base necessari per la definizione degli spazi vettoriali e quindi per tutta l'algebra lineare. Sono anche i protagonisti della teoria di Galois.
[modifica] Altre branche dell'algebra astratta
Oltre alle strutture già descritte, l'algebra ne studia molte altre, tra cui semigruppi, reticoli, moduli, algebre su campo, bialgebre, algebre di Hopf, superalgebre.
L'algebra commutativa studia gli anelli commutativi e le loro applicazioni in geometria algebrica. L'algebra non commutativa, per contro, si occupa degli anelli non commutativi.
- La teoria delle rappresentazioni studia le realizzazioni mediante matrici di varie strutture algebriche, in particolare dei gruppi finiti, dei gruppi di Lie e delle algebre di Lie.
- L'algebra universale studia le proprietà comuni a tutte le strutture algebriche sopra accennate o almeno a estese collezioni di strutture algebriche caratterizzate da proprietà dei rispettivi sistemi di assiomi; questo settore dell'algebra ha molti punti in comune con la teoria delle categorie.
- L'algebra computazionale studia gli algoritmi per la manipolazione simbolica di oggetti matematici.
- L'algebra applicata si occupa delle applicazioni dell'algebra, come quelle riguardanti la crittografia.
[modifica] Altri usi
La parola algebra viene anche usata come semplificazione dei termini qui usati come sinonimi algebra (struttura) e algebra su campo; inoltre viene usata come sostantivo nei termini che denotano varie strutture algebriche:
- algebra di Boole - algebra di Kleene - sigma-algebra - algebra di incidenza - algebra di Lie - algebra di Clifford - algebra di Jordan - algebra di Cayley-Dickson - algebra di Poisson - algebra di Virasoro - algebra di gruppo - algebra di divisione - algebra alternativa - algebra quadratica - algebra di Hopf - algebra di Banach - B* algebra - C* algebra - algebra differenziale
[modifica] Voci correlate
Sono numerosi i settori della matematica non prettamente algebrici che si servono approfonditamente di strutture algebriche. A questo proposito rinviamo alle voci:
- gruppo fondamentale - spazio vettoriale topologico - spazio di Hilbert - spazio di Banach - geometria affine - geometria proiettiva - geometria algebrica - topologia algebrica
- Diofanto, "padre dell'Algebra"
- Mohammed al-Khwarizmi
