שינויים
/* תרגיל 2.3 סעיף א' */
נוסיף לשני האגפים את הנגדי של a ונקבל <math>-a=(-1)\cdot a</math> כפי שרצינו.
===תרגיל ===
יהא <math>\mathbb{F}</math>. הוכיחו כי אין לו מחלקי אפס. כלומר לא קיימים <math>a,b\in \mathbb{F}</math> שונים מאפס כך ש <math>ab=0</math> (באופן שקול: אם <math>ab=0</math> אז בהכרח אחד מהם שווה 0)
====פתרון====
נניח <math>ab=0</math>. צ"ל שאחד מהם אפס.
אם <math>a=0</math> סיימנו
אחרת <math>a\neq 0 </math> ולכן קיים לו הופכי <math>a^{-1}</math>. נכפיל את ההופכי של a בשני האגפים ונקבל
<math>b=a^{-1}ab=a^{-1}0=0</math> וסיימנוץ
===תרגיל 2.3 סעיף א'===
====פתרון====
אין איבר נייטרלי לחיבור: <math>\forall n,k\in\mathbb{N}:n+k>n</math> ואילו האיבר הנייטרלי היה צריך לקיים <math>n+0=n</math>.
===תרגיל 2.3 סעיף ג'===
