Teoria degli anelli: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile
m Annullata la modifica 77045076 di 62.18.148.63 (discussione) c'è un osservazione alla fine del paragrafo su questo
Riga 6:
Un [[anello (algebra)|anello]] è una struttura algebrica dotata di un sostegno <math> A </math> e di due operazioni, chiamate ''somma'' e ''prodotto'', che soddisfano le proprietà seguenti:
* <math> A </math> è un [[gruppo abeliano]] rispetto alla somma, con [[elemento neutro]] 0;
* <math> A </math> è un [[semigruppomonoide]] rispetto al prodotto, con elemento neutro 1;
* le operazioni di somma e prodotto sono collegate dalla [[proprietà distributiva]].
Informalmente, si chiede che somma e prodotto soddisfino le stesse proprietà valide nei [[numeri interi]], tranne una: non è richiesto infatti che il prodotto sia [[commutativo]] (mentre è richiesto che la somma lo sia).
 
Un anello in cui anche il prodotto è commutativo è un [[anello commutativo]]; inoltre, un anello che ammette elemento neutro si dice unitario. Oltre ai numeri interi, esempi classici di anelli sono gli spazi di [[matrice|matrici]] (non commutativo) e soprattutto di [[polinomio|polinomi]] (commutativo). Spesso questi spazi hanno anche una struttura di [[spazio vettoriale]], e vengono quindi chiamati [[algebra su campo|algebre]].
 
Come nelle altre strutture algebriche, un [[omomorfismo]] è una funzione fra anelli che preserva le operazioni. Un [[isomorfismo]] è un omomorfismo che ammette un [[funzione inversa|inverso]].