מושג השדה

קבוצה $𝔽$ עם פעולות חיבור וכפל ($+,\cdot$) תיקרא שדה אם מתקיימות התכונות הבאות:

א1. סגירות החיבור: אם $x,y\in 𝔽$ אז $x+y\in 𝔽$.

א2. חילופיות החיבור: לכל $x,y\in 𝔽$ מתקיים $x+y=y+x$.

א3. קיבוציות החיבור: לכל $x,y,z\in 𝔽$ מתקיים $(x+y)+z=x+(y+z)$.

א4. קיום אדיש לחיבור: קיים אבר $0\in 𝔽$ עבורו $x+0=x$ לכל $x\in 𝔽$.

א5. קיום נגדי: לכל $x\in 𝔽$ קיים אבר $y\in 𝔽$ עבורו $x+y=0$. מסמנים $y=-x$.

ב1. סגירות הכפל: לכל $x,y\in 𝔽$ מתקיים $x\cdot y\in 𝔽$.

ב2. חילופיות הכפל: לכל $x,y\in 𝔽$ מתקיים $x\cdot y=y\cdot x$.

ב3. קיבוציות הכפל: לכל $x,y\in 𝔽$ מתקיים $(x\cdot y)\cdot z=x\cdot (y\cdot z)$

ב4. קיום אדיש לכפל: קיים אבר $1\in 𝔽$ עבורו $x\cdot 1=x$ לכל $x\in 𝔽$.

ב5. קיום הופכי: לכל $0\ne x\in 𝔽$ קיים אבר $y\in 𝔽$ עבורו $x\cdot y=1$. מסמנים $y=x^{-1}$.

ג1. פילוג: לכל $x,y,z\in 𝔽$ מתקיים $x\cdot (y+z)=(x\cdot y)+(x\cdot z)$.