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

תוכן שנמחק תוכן שנוסף
Flyelog (שיחה | תרומות)
מ ←‏הגדרה: שינו' תצוגה של סימני פעולות
שורה 6:
 
== הגדרה ==
שדה הוא [[מבנה אלגברי]] הכולל [[קבוצה (מתמטיקה)|קבוצה]] <math>\ F</math> עם שתי [[פעולה בינארית|פעולות בינאריות]], להן אפשר לקרוא "חיבור" ו"כפל" (המסומנות בדרך כלל ב- <math>'''+</math>''' ו-<math>\cdot</math> '''−''') ושני קבועים (שונים) - 0 ו- 1, המקיימות את התכונות הבאות:
* המבנה <math>\ (F, + , 0)</math> הוא [[חבורה אבלית]], כלומר: החיבור [[פעולה אסוציאטיבית|אסוציאטיבי]] ו[[חילופיות|קומוטטיבי]], 0 הוא איבר נייטרלי, ולכל איבר יש הפכי;
* המבנה <math>\ (F\setminus \{0\}, \cdot , 1)</math> הוא [[חבורה אבלית]], כלומר: הכפל [[פעולה אסוציאטיבית|אסוציאטיבי]] ו[[חילופיות|קומוטטיבי]], 1 הוא [[איבר יחידה]], ולכל איבר שונה מאפס יש [[איבר הופכי|הפכי]];