גרופואיד

במתמטיקה, גרופואיד הוא קטגוריה קטנה שכל המורפיזמים שלה הם איזומורפיזמים, כלומר הפיכים (מימין ומשמאל).

דוגמה טיפוסית: הקטגוריה שהאובייקטים שלה הם תת-הקבוצות של קבוצה קבועה, והמורמפיזמים הם התאמות חד-חד-ערכיות ועל בין תת-קבוצות. כשמקודדים את התכונות של קטגוריות כאלה לאקסיומות, מתקבלת הגדרה לאובייקט הקרוי גרופואיד אינדוקטיבי; גרופואידים אלה מתאימים באופן טבעי לחבורות למחצה הפיכות.

ב-1929 הוכיח H.Brandt שכל גרופואיד קשיר הוא קטגוריה שבה האובייקטים הם קבוצה X והמורפיזמים מ-a ל-b נמצאים בהתאמה לאברים של חבורה קבועה, G. "אלגברת החבורה" של גרופואיד כזה היא אלגברת מטריצות מעל אלגברת החבורה של G.

ראו גם

בעבר התייחסה המלה גרופואיד לקבוצה עם פעולה בינארית כלשהי; אובייקט זה מכונה היום מאגמה.

לקריאה נוספת

• The algebraic theory of semigroups, A. H. Clifford, G. B. Preston‏.