==פרק 1 - שדות==
===הגדרה ותכונות של שדה===
*הגדרת השדה'''שדה''' הוא קבוצה <math>\mathbb{F}</math> יחד עם שתי פעולות <math>+,\cdot</math> כך שמתקיימות התכונות הבאות:#סגירות: לכל <math>a,b\in\mathbb{F}</math> מתקיים כי <math>a+b,a\cdot b\in\mathbb{F}</math>#קומוטטיביות (חילופיות): לכל <math>a,b\in\mathbb{F}</math> מתקיים כי <math>a+b=b+a</math> וכן <math>a\cdot b=b\cdot a</math>#אסוציאטיביות (קיבוץ): לכל <math>a,b,c\in\mathbb{F}</math> מתקיים כי <math>a+(b+c)=(a+b)+c</math> וכן <math>a\cdot (b\cdot c)=(a\cdot b)\cdot c</math>#איברים נייטרליים: קיימים <math>0_{\mathbb{F}}\neq 1_{\mathbb{F}}\in\mathbb{F}</math> כך שלכל <math>a\in\mathbb{F}</math> מתקיים כי <math>0_{\mathbb{F}}+a=1_{\mathbb{F}}\cdot a = a</math>
*כפל באפס תמיד שווה אפס