^^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.