Teoria degli anelli — definizioni, ideali ed esempi

La teoria degli anelli studia insiemi in cui addizione e moltiplicazione lavorano insieme in modo controllato. Il modello principale è quello degli interi: puoi sommare, sottrarre e moltiplicare, e queste operazioni seguono regole affidabili.

Un anello non è semplicemente "un insieme con una moltiplicazione". Per essere un anello, l'addizione deve comportarsi come negli interi, la moltiplicazione deve essere associativa e la moltiplicazione deve essere distributiva rispetto all'addizione.

Che cos'è un anello in matematica?

Un anello $R$ è un insieme con due operazioni, $+$ e $\cdot$, tali che:

1. $(R,+)$ è un gruppo abeliano.
2. La moltiplicazione è associativa: $(ab)c=a(bc)$ per ogni $a,b,c \in R$.
3. La moltiplicazione è distributiva rispetto all'addizione:

$$a(b+c)=ab+ac$$

e

$$(a+b)c=ac+bc$$

La prima condizione significa che l'addizione ha un elemento zero, ogni elemento ha un inverso additivo, l'addizione è associativa e l'addizione è commutativa. In parole semplici: rispetto all'addizione, l'insieme si comporta come gli interi.

Alcuni libri richiedono anche un'identità moltiplicativa $1$. Altri si concentrano sugli anelli commutativi, dove $ab=ba$. Queste sono condizioni aggiuntive importanti, ma non fanno parte di ogni definizione di anello.

A cosa serve un ideale nella teoria degli anelli

Un ideale è un sottoinsieme che rimane stabile quando lo si moltiplica per elementi dell'intero anello. Questa stabilità è ciò che rende possibili gli anelli quoziente, proprio come i sottogruppi normali rendono possibili i gruppi quoziente.

Se $R$ è un anello commutativo, un sottoinsieme $I \subseteq R$ è un ideale quando:

1. $I$ è chiuso rispetto all'addizione e agli inversi additivi.
2. Per ogni $r \in R$ e ogni $x \in I$, il prodotto $rx$ appartiene ancora a $I$.

In un anello non commutativo, bisogna distinguere tra ideali sinistri, ideali destri e ideali bilateri. In un anello commutativo, queste distinzioni scompaiono.

Esempio svolto: perché $2\mathbb{Z}$ è un ideale di $\mathbb{Z}$

L'anello $\mathbb{Z}$ con l'addizione e la moltiplicazione ordinarie è il primo esempio standard di anello. È anche commutativo e ha identità moltiplicativa $1$.

Ora considera il sottoinsieme degli interi pari:

$$2\mathbb{Z}=\{2k : k \in \mathbb{Z}\}$$

Questo insieme è un ideale di $\mathbb{Z}$ perché supera le due verifiche sopra.

Per prima cosa, è chiuso rispetto all'addizione:

$$2a+2b=2(a+b)$$

quindi la somma di due interi pari è ancora pari. È anche chiuso rispetto agli inversi additivi perché

$$-(2a)=2(-a)$$

che è ancora pari.

In secondo luogo, assorbe la moltiplicazione per qualunque intero. Se $r \in \mathbb{Z}$ e $2a \in 2\mathbb{Z}$, allora

$$r(2a)=2(ra)$$

che è di nuovo pari.

Quindi $2\mathbb{Z}$ non è solo un sottoinsieme con una certa struttura. Rimane al suo interno rispetto all'addizione, agli inversi additivi e alla moltiplicazione per qualunque intero, che è esattamente ciò che deve fare un ideale.

Vale la pena ricordare questo esempio perché lo stesso schema ricompare continuamente: gli ideali sono i sottoinsiemi che l'intero anello non può spostare fuori posto tramite la moltiplicazione.

Controesempio: gli interi dispari non sono un ideale

Gli interi dispari non sono un ideale di $\mathbb{Z}$.

Falliscono già la chiusura rispetto all'addizione, perché dispari $+$ dispari $=$ pari. Falliscono anche la condizione di assorbimento: per esempio,

$$2 \cdot 3 = 6$$

e $6$ non è dispari.

Questo è il contrasto fondamentale. Un ideale non è solo un sottoinsieme riconoscibile. Deve soddisfare esattamente le condizioni di chiusura e di assorbimento.

Errori comuni nella teoria degli anelli

Confondere la chiusura additiva con il test completo per essere un ideale

La chiusura rispetto all'addizione non basta. Servono anche la chiusura rispetto agli inversi additivi e la proprietà di assorbimento rispetto alla moltiplicazione per elementi arbitrari dell'anello.

Trattare la commutatività come se fosse automatica

Molti primi esempi sono anelli commutativi, ma non ogni anello è commutativo. Gli anelli di matrici sono il controesempio standard.

Supporre che ogni anello debba contenere $1$

Molti autori richiedono un'identità moltiplicativa, e molti altri no. Quando leggi o scrivi di teoria degli anelli, esplicita la convenzione se è rilevante.

Confondere sottoanelli e ideali

Un sottoanello è un anello più piccolo contenuto in un anello. Un ideale è progettato per interagire bene con la moltiplicazione proveniente dall'intero anello. Sono idee collegate, ma non sono la stessa condizione.

Dove si usa la teoria degli anelli

La teoria degli anelli compare nell'aritmetica modulare, nell'algebra dei polinomi, nella teoria dei numeri e nella geometria algebrica. Fa anche parte del linguaggio alla base di alcune costruzioni crittografiche.

Non hai bisogno di queste applicazioni avanzate per imparare l'idea di base. Per una prima intuizione, pensa alla teoria degli anelli come allo studio di sistemi simili ai numeri in cui addizione e moltiplicazione interagiscono in modo prevedibile.

Prova un esercizio simile

Prova una tua versione con $3\mathbb{Z}$ o $5\mathbb{Z}$ dentro $\mathbb{Z}$. Controlla le stesse due condizioni: chiusura rispetto all'addizione e agli inversi additivi, poi assorbimento rispetto alla moltiplicazione per qualunque intero.