מבנה אלגברי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
הוספת קוואזי-חבורה
Matanyabot (שיחה | תרומות)
מ בוט החלפות: לעיתים, \1ליניארי
שורה 3:
מבנים אלגבריים מדגימים את ה[[הפשטה (מתמטיקה)|הפשטה]] וה[[הכללה (מתמטיקה)|הכללה]] שהם נשמת אפה של ה[[מתמטיקה]]. במסגרת הדיון במבנים אלגבריים נלקחים עצמים מתמטיים קונקרטיים, כגון ה[[מספר|מספרים השלמים]] או ה[[מספר ממשי|מספרים הממשיים]], נבחנות תכונותיהם המופשטות ביותר, ותכונות אלה עוברות הכללה, כך שניתן לבחון באמצעותן מגוון רחב של עצמים מתמטיים שאף להם תכונות אלה. בדרך זו אפשר למקד את תשומת הלב בתכונות המהותיות של העצם שאותו חוקרים, ולקבל תוצאות כלליות שיהיו ישימות גם במקרים אחרים.
 
כאשר אין חשש לבלבול, המבנה האלגברי מזוהה עם הקבוצה. כך למשל, ה[[חבורה (מבנה אלגברי)|חבורה]] (1,*,G) קרויה בפשטות החבורה G. לפעולות המוגדרות במבנה האלגברי קוראים בדרך כלל "כפל" או "חיבור", משום שהאקסיומות כופות עליהן תכונות דומות לאלו של החיבור והכפל הרגילים. עם זאת, לעתיםלעיתים קרובות האיברים במבנה האלגברי אינם [[מספר|מספרים]], וממילא הפעולות אינן אלו המוכרות מחיי היום-יום.
 
להלן מספר מבנים אלגבריים ידועים{{הערה|1=אחדים מהמושגים המופיעים להלן מוגדרים בערך [[פעולה בינארית]]}}:
שורה 18:
* [[מודול (מבנה אלגברי)|מודול]] מעל [[חוג (מבנה אלגברי)|חוג]] - חבורה אבלית עם פעולת כפל ('[[כפל בסקלר]]') של אברי החוג באברי המודול.
* [[מרחב וקטורי]] מעל [[שדה (מבנה אלגברי)|שדה]] - מודול שהחוג מעליו הוא מוגדר הוא שדה.
* [[אלגברה (מבנה אלגברי)|אלגברה]] מעל [[חוג (מבנה אלגברי)|חוג]] חלופי - מודול בעל מכפלה [[אופרטור בילינאריביליניארי|בילינאריתביליניארית]].
* [[אלגברה בוליאנית (מבנה אלגברי) |אלגברה בוליאנית]] - קבוצה עם שתי [[פעולה בינארית|פעולות בינאריות]] .