שינויים

::בזכות תומר שמתי לב ש-p לא בהכרח שייך ל-F, חכו. -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 20:07, 27 ביולי 2010 (IDT)

:::ברגע שמוכיחים סגירות נובע מכך: <math>a^2-b^2 p \in \mathbb{F}[\sqrt{p}]</math>. ניסיתי להוכיח סגירות: <math>(a+b\sqrt{p})(c+d\sqrt{p})=^\text{(distributivity)}ac+bdp+ad\sqrt{p}+bc\sqrt{p}=^\text{(associativity)}(ac+bdp)+(ad+bc)\sqrt{p}</math>. בזכות הגדרת <math>\mathbb{F}[\sqrt{p}]</math>, נותר להוכיח ש-<math>ac+bdp \in \mathbb{F}</math>, אבל בגלל קיום איבר נגדי, איבר הופכי וסגירות החיבור והכפל ב-F, צריך להתקיים ש-p שייך ל-F. חכו רגע, או שטעיתי או שיש פה משהו מתוחכם שלא ראיתי. נ.ב. נמרוד, למה מחקת? -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 20:37, 27 ביולי 2010 (IDT)