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:

  1. è un gruppo abeliano
  2. è 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.

Risorse