לפי הקריטריון צריך להוכיח שהקבוצה הנתונה היא תת-קבוצה של R וכל שני איברים המוכלים בה מהצורה <math>a+b\sqrt p</math> מקיימים <math>((a+b\sqrt p)(c+d\sqrt p)^{-1})\in \mathbb{F} [\sqrt p]</math> ועוד תנאי שאותו קל להוכיח, השאלה איך אפשר בכלל להוכיח שכפל בהופכי של מס' מסויים (המכפלה היא לא בין מספר והופכו אלא הופכי של מס' אחר) תקיים סגירות?
תודה מראש.
:[[שיחת משתמש:Nimrod#תרגיל 1, 2.8א |כבר עניתי על זה לנמרוד]]: <math>\frac{1}{a+b\sqrt{p}} = \frac{a-b\sqrt{p}}{a^2-b^2 p}</math> -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 19:00, 27 ביולי 2010 (IDT)
==תרגיל 2.8א'==