Μονοειδές

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση

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

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

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

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

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

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]