מאגמה (מבנה אלגברי)

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

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

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

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

אם • היא פעולה בינארית חלקית אז המאגמה תיקרא מאגמה חלקית.

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

המונח מאגמה הוכנס לשימוש על ידי קבוצת בורבאקי. אחד מחבריה ז'אן-פייר סר כתב אותו בספרו "אלגברת לי וחבורות לי".

מורפיזם של מאגמה
מורפיזם של מאגמה  למאגמה  הוא פונקציה  אשר משמרת את הפעולה הבינארית, כלומר לכל זוג איברים  מתקיים .

קישורים חיצוניים

הערות שוליים

מבנים אלגבריים