Μετάβαση στο περιεχόμενο

Μονοειδές

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

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

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

  1. Η πράξη είναι προσεταιριστική.
  2. Υπάρχει ουδέτερο στοιχείο για την πράξη , δηλαδή
, για κάθε .

Μεταθετικό μονοειδές

[Επεξεργασία | επεξεργασία κώδικα]

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

  1. Μπεληγιάννης, Α. «Αλγεβρικές Δομές Ι: Φυλλάδιο 2» (PDF). Πανεπιστήμιο Ιωαννίνων. Ανακτήθηκε στις 4 Φεβρουαρίου 2023.