^^Magma. Semigruppo. Gruppo. Monoide.

Magma (=def) un insieme dotato di operazione binaria.

Notazione

(X,+)  notazione additiva (per l'opbin)

(X,*)   notazione moltiplicativa (per l'opbin).

 

un insieme               }        }             }
dotato di opbin interna  } MAGMA  }             }
associativa                       } SEMI-GRUPPO }
commutativa                                     } SEMI-GRUPPO
                                                  COMMUTATIVO

 

credits: wkimedia/File:Magma_to_group3.svg

 

Magma. Esempi.

  1. Operazione binaria interna.
  2. Omomorfismo. Isomorfismo.
  3. Legge additiva; schema astratto matematico. Funzione additiva.
  4. Proprieta' delle potenze in linguaggio funzionale.
  5. Funzione potenza e esponenziale.

 

Links

  1. wp/Monoid
  2. johndcook/weak-groups

 

Talk

Titolo

  1. Magma. Semigruppo. Gruppo.
    c: ori.
  2. 26-8-2020. Magma. Semigruppo. Gruppo. Monoide.
    c: "Monoide" e' importante in relazione alla teoria delle Categorie

    Penso che l'dentita' serve affinche' l'insieme delle immagini di un elemento dovuto alle azioni contenga l'elemento stesso.