Μονοειδές

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

Πιο συγκεκριμένα, το ζεύγος , όπου  είναι μία δυαδική πράξη στο σύνολο , καλείται μονοειδές, αν: 
Η πράξη  είναι προσεταιριστική. 
Υπάρχει ουδέτερο στοιχείο  για την πράξη , δηλαδή 
, για κάθε .

Μεταθετικό μονοειδές 
Το μονοειδές  καλείται µεταθετικό µονοειδές, όταν η πράξη  είναι μεταθετική.

Παραπομπές 

Αλγεβρικές δομές