anello
Definizione (Logar)
Siano: un insieme non vuoto,
un’operazione associativa, commutativa, con elemento neutro e che ammette inversi in ,
un’operazione associativa.
Se inoltre le due operazioni sono legate dalle proprietà distributive:
la struttura si dice anello.
Se esiste elemento neutro di l’anello si dice unitario.
Se risulta commutativo l’anello si dice commutativo.
D’ora in avanti si tratterà solamente di anelli unitari e commutativi.
anello commutativo
anello unitario
Osservazione
Risulta equivalente dire che:
- è un gruppo abeliano
- è un semigruppo associativo.
Esempio
Definizione
Un anello è una struttura algebrica dove è un insieme non vuoto e sono due operazioni binarie su (chiamate rispettivamente addizione e moltiplicazione) che soddisfano i seguenti assiomi:
- è un [gruppo abeliano](gruppo e gruppo abeliano).
- Associatività della moltiplicazione:
- Proprietà distributive: :
- (distributività sinistra)
- (distributività destra)
Se la moltiplicazione è commutativa, l’anello si dice commutativo.
Se esiste un elemento neutro per la moltiplicazione (indicato con 1), l’anello si dice anello con unità.
Esempio
è un anello commutativo unitario.
insieme dei numeri pari è un anello commutativo non unitario.
insieme delle matrici quadrate di ordine a coefficienti reali è un anello non commutativo ma unitario.