Μονοειδές

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

Τα μονοειδή είναι ημιομάδες με ταυτοτικότητα. Τέτοιες αλγεβρικές δομές εμφανίζονται σε διάφορους κλάδους των μαθηματικών.

Οι συναρτήσεις από ένα σύνολο στο ίδιο το σύνολο σχηματίζουν ένα μονοειδές σε σχέση με τη σύνθεση συναρτήσεων. Γενικότερα, στην θεωρία κατηγοριών, οι μορφισμοί ενός αντικειμένου στο ίδιο το αντικείμενο σχηματίζουν ένα μονοειδές και, αντιστρόφως, ένα μονοειδές μπορεί να θεωρηθεί ως μια κατηγορία με ένα μόνο αντικείμενο.

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

Στην θεωρητική επιστήμη των υπολογιστών, η μελέτη των μονοειδών είναι θεμελιώδης για τη θεωρία των αυτομάτων (θεωρία Κρον-Ρόουντς) και τη θεωρία των τυπικών γλωσσών (πρόβλημα ύψους αστεριού).  

Δείτε ημιομάδα για την ιστορία του θέματος και μερικές άλλες γενικές ιδιότητες των μονοειδών.  

Ιδιοτήτες

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

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

Βιβιογραφία







 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου.

 Παραπομπές 

Κατηγορία:Αλγεβρικές δομές
Κατηγορία:Θεωρία κατηγοριών