Το µονοειδές είναι ίσως η απλούστερη αλγεβρική δοµή µε ενδιαφέρουσες ιδιότητες.

Ένα ζεύγος (X,*), όπου «*» είναι µια πράξη επί ενός συνόλου X καλείται µονοειδές, αν:

1. Η πράξη «*» είναι προσεταιριστική.

2. Υπάρχει ουδέτερο στοιχείο e για την πράξη «*» επί του X.

Το µονοειδές (X,*) καλείται µεταθετικό µονοειδές, αν η πράξη «*» είναι µεταθετική. [1]

ΠαραπομπέςΕπεξεργασία

  1. «Μια Εισαγωγη στη Βασικη Αλγεβρα» (PDF). Αρχειοθετήθηκε από το πρωτότυπο (PDF) στις 13 Ιουλίου 2019.