semianello

Un semianello è una struttura algebrica formata da un insieme munito di due operazioni binarie, dette somma e prodotto e denotate rispettivamente con e , le quali verifichino le seguenti proprietà: 1. * Somma e prodotto sono operazioni associative: si ha cioè e per ogni terna di elementi di ; 2. * Esiste un (unico) elemento neutro per la somma, indicato con . Ciò significa che comunque si scelga in , vale ; 3. * Il prodotto è distributivo rispetto alla somma, vale a dire e per ogni scelta di , e in . 4. * Per ogni in , . Si noti che la prima proprietà dice esattamente che e sono semigruppi, mentre la seconda proprietà specifica più completamente che è anche un monoide.