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

שדה הוא [[מבנה אלגברי]] הכולל [[קבוצה (מתמטיקה)|קבוצה]] <math>\ F</math> עם שתי [[פעולה בינארית|פעולות בינאריות]], להן אפשר לקרוא "חיבור" ו"כפל" (המסומנות בדרך כלל ב- <math>+</math> ו-<math>\cdot</math>) ושני קבועים (שונים) - 0 ו- 1, המקיימות את התכונות הבאות:

* המבנה <math>\ (F, + , 0)</math> הוא [[חבורה אבלית]], כלומר: החיבור [[פעולה אסוציאטיבית|אסוציאטיבי]] ו[[חילופיות|קומוטטיבי]], 0 הוא איבר נייטרלי, ולכל איבר יש הפכי;

* מתקיים [[חוק הפילוג]] (דיסטריבוטיביות הכפל מעל החיבור): לכל <math>a, b, c</math> ב- <math>\ F</math> מתקיים <math>a\cdot(b+c) = (a\cdot b)+(a\cdot c)</math>.