שינויים

:(בוצעו תיקוני לאטך, וקראתי לחבורת הזרים ל-n הקטנים ממנו בשמה, <math>U_n</math>). עד לשלב זה הוּכְחָה הטענה לכל <math>m\in U_n</math>, דהיינו לכל m זר ל-n וקטן ממנו. אנו רוצים להרחיב את ההוכחה גם ל-m זר ל-n אבל גדול ממנו. הטענה היא שלכל <math>m</math> שכזה קיים <math>m_1\in U_n</math> שתואם לו, דהיינו מקיים <math>m \equiv m_1 \pmod n</math>. חיים רוזנר 05:36, 22 בדצמבר 2013 (EST)

== טעות בהגדרת מושגים בתרגיל 7? ==