Un anello è una struttura algebrica dotata di due operazioni, somma e prodotto, che generalizza l’aritmetica degli interi, dei polinomi e delle matrici. È uno degli oggetti centrali dell’algebra astratta: conserva abbastanza regole dell’aritmetica da permettere calcoli simbolici, ma è più generale di un campo perché non richiede che ogni elemento non nullo abbia inverso moltiplicativo.
L’idea è semplice: in un anello si può sommare, sottrarre e moltiplicare; non sempre si può dividere. Questa differenza, apparentemente piccola, cambia molte proprietà. Negli interi, per esempio, 6 è divisibile per 3 ma non per 4; nelle matrici quadrate il prodotto esiste ma non è in generale commutativo; negli interi modulo n possono comparire divisori dello zero.
1. Definizione assiomatica
Formalmente, un insieme R è un anello se la somma rende (R,+) un gruppo abeliano, il prodotto è associativo e valgono le proprietà distributive:
Più esplicitamente, per ogni a,b,c\in R:
- la somma è associativa e commutativa;
- esiste uno zero additivo 0;
- ogni elemento a ha un opposto additivo -a;
- il prodotto è associativo;
- il prodotto distribuisce rispetto alla somma a sinistra e a destra.
Molti testi richiedono anche un elemento neutro moltiplicativo 1, cioè un elemento tale che 1a=a1=a per ogni a. Altri distinguono tra anelli con unità e anelli senza unità. La convenzione va sempre verificata dal contesto, soprattutto in algebra avanzata e in algebra funzionale.
2. Esempi fondamentali
Gli esempi tipici sono:
- gli interi \mathbb Z;
- i polinomi K[x] a coefficienti in un campo K;
- le matrici quadrate M_n(K);
- gli interi modulo n, indicati con \mathbb Z/n\mathbb Z;
- funzioni con somma e prodotto punto per punto.
Gli interi sono l’esempio guida: si possono sommare, sottrarre e moltiplicare, ma non dividere restando sempre negli interi. Il numero 2 non ha inverso moltiplicativo in \mathbb Z, perché non esiste un intero x tale che 2x=1. Per questo \mathbb Z è un anello, ma non un campo.
I razionali, i reali e i numeri complessi sono invece campi, quindi sono anche anelli. Le matrici quadrate formano un anello con unità, ma non commutativo quando la dimensione è maggiore di 1. I polinomi formano anelli particolarmente importanti perché permettono di trattare equazioni, fattorizzazioni, radici, codici e algoritmi simbolici.
3. Commutatività
Un anello è commutativo se:
per ogni coppia di elementi. Gli interi e i polinomi in una variabile sono commutativi; le matrici quadrate, in generale, non lo sono:
La commutatività è una proprietà molto forte. Negli anelli commutativi molte tecniche assomigliano all’aritmetica ordinaria: si studiano divisibilità, ideali, fattorizzazione, radici di polinomi e congruenze. Negli anelli non commutativi, invece, l’ordine dei fattori conta: matrici, operatori lineari e trasformazioni geometriche possono dare risultati diversi se applicati in ordine diverso.
Questa distinzione è importante anche in ingegneria. Le matrici rappresentano trasformazioni, sistemi lineari, cambi di base e dinamiche discrete; il fatto che AB e BA possano essere diversi significa che applicare due trasformazioni in ordine inverso può cambiare il risultato fisico o computazionale.
4. Unità e elementi invertibili
Se l’anello possiede un elemento neutro moltiplicativo 1, un elemento u è detto invertibile o unità se esiste u^{-1} tale che:
In un campo ogni elemento non nullo è invertibile. In un anello generale no. Negli interi, gli unici invertibili sono 1 e -1; in \mathbb Z/6\mathbb Z, le classi invertibili sono quelle coprime con 6; nell’anello delle matrici quadrate, una matrice è invertibile solo se il suo determinante è non nullo.
Questa è una delle differenze operative più importanti tra anelli e campi: in un campo si può dividere per qualunque elemento non nullo; in un anello bisogna prima controllare se l’elemento è invertibile. Molti errori nei calcoli modulari o matriciali nascono proprio da divisioni non lecite.
5. Divisori dello zero
Un elemento a\ne0 è un divisore dello zero se esiste b\ne0 tale che:
Questa possibilità non esiste nei campi, ma può comparire in molti anelli. Per esempio, negli interi modulo 6:
Qui 2 e 3 sono entrambi non nulli come classi modulo 6, ma il loro prodotto è nullo. La presenza di divisori dello zero impedisce alcune regole abituali. In particolare, la legge di cancellazione può fallire: da ab=ac non sempre segue b=c se a non è cancellabile.
Un anello commutativo con unità, senza divisori dello zero e con 1\ne0, è detto dominio d’integrità. Gli interi e i polinomi a coefficienti in un campo sono domini d’integrità; \mathbb Z/6\mathbb Z non lo è.
6. Sottoanelli, ideali e quozienti
Un sottoinsieme di un anello può essere a sua volta un anello se è chiuso rispetto a somma, opposto e prodotto. Più importante, in algebra, è il concetto di ideale: un sottoinsieme stabile rispetto alla somma e all’assorbimento per prodotto con elementi dell’anello. In un anello commutativo R, un ideale I soddisfa:
Gli ideali generalizzano il ruolo dei multipli di un intero. Per esempio, l’insieme dei multipli di n in \mathbb Z è un ideale, indicato con n\mathbb Z. Il quoziente \mathbb Z/n\mathbb Z nasce proprio identificando due interi che differiscono di un multiplo di n.
Questa costruzione è fondamentale perché permette di creare nuovi anelli a partire da relazioni di equivalenza compatibili con le operazioni. Aritmetica modulare, codici ciclici, polinomi modulo un ideale e molte strutture computazionali usano questa idea.
7. Omomorfismi
Un omomorfismo di anelli è una funzione che conserva somma e prodotto. Se f:R\to S è un omomorfismo, allora:
Se gli anelli hanno unità, spesso si richiede anche f(1_R)=1_S, ma anche qui la convenzione può variare. Gli omomorfismi permettono di confrontare anelli diversi senza perdere la struttura delle operazioni. Il nucleo di un omomorfismo è un ideale, e questa relazione collega in modo profondo mappe, quozienti e struttura interna dell’anello.
8. Confronto con gruppi e campi
Un gruppo ha una sola operazione. Un anello ne ha due, legate dalla distributività. Un campo è un anello commutativo con unità in cui ogni elemento non nullo è invertibile. La gerarchia concettuale è quindi:
| Struttura | Operazioni | Proprietà centrale |
|---|---|---|
| gruppo | una operazione | inversi rispetto a quella operazione |
| anello | somma e prodotto | distributività, sottrazione sempre possibile |
| campo | somma e prodotto | divisione possibile per ogni elemento non nullo |
Questa gerarchia aiuta a capire perché alcune tecniche dell’algebra lineare richiedono un campo. Il rango, la matrice inversa e il calcolo degli autovalori usano spesso divisioni che non sono disponibili in un anello generico. In altri contesti, però, lavorare su un anello è esattamente ciò che serve: congruenze, polinomi modulari, matrici intere e aritmetica simbolica non vivono naturalmente solo nei campi.
9. Ruolo matematico e ingegneristico
Gli anelli organizzano calcoli con polinomi, congruenze, matrici, trasformazioni lineari, segnali discreti e codici. In algebra computazionale permettono di trattare fattorizzazione, basi di Gröbner, eliminazione simbolica e risoluzione di sistemi polinomiali. In teoria dei codici e crittografia compaiono anelli modulari e polinomiali; nelle trasformate finite e nelle radici dell’unità si lavora spesso con strutture algebriche costruite su polinomi e congruenze.
In ingegneria dei sistemi, l’anello delle matrici descrive composizioni di trasformazioni non commutative. In segnali e controlli, polinomi e matrici polinomiali organizzano funzioni di trasferimento, operatori discreti e modelli lineari. In informatica teorica, l’aritmetica modulare su anelli finiti è una base per algoritmi, hash, codici correttori e protocolli crittografici.
10. Errori comuni
Il primo errore è trasferire automaticamente negli anelli tutte le regole dei numeri reali. In un anello generale non sempre si può dividere, non sempre vale la cancellazione e il prodotto può non essere commutativo.
Il secondo errore è confondere elemento non nullo e elemento invertibile. In un campo coincidono, in un anello no. Un intero diverso da zero non ha necessariamente inverso intero; una matrice non nulla può essere singolare; una classe modulo n può non essere invertibile.
Il terzo errore è ignorare i divisori dello zero. Se esistono, un prodotto nullo non implica che uno dei fattori sia nullo. Questo cambia fattorizzazioni, equazioni e semplificazioni.
Il quarto errore è non dichiarare la convenzione sull’unità. Alcuni autori includono sempre 1 nella definizione di anello; altri no. Nei testi avanzati questa scelta influenza sottostrutture, omomorfismi e teoremi.
11. Sintesi
Un anello è il contesto naturale per sommare, sottrarre e moltiplicare senza pretendere sempre la divisione. Comprende interi, polinomi, matrici, funzioni e aritmetiche modulari. La sua utilità nasce proprio dal bilanciamento tra familiarità e generalità: abbastanza simile all’aritmetica per calcolare, abbastanza flessibile per descrivere strutture non commutative, divisori dello zero, quozienti e algoritmi simbolici.
Vedi anche: campo, gruppo, polinomio, matrice, determinante, matrice inversa, numeri complessi e formulario di geometria e algebra lineare.