:: הערך <math>\phi(0)</math> אכן אינו מוגדר, אבל אם היינו רוצים להגדיר אותו, הייתי בוחר בערך 2. נחזור על ההגדרה הכללית עבור n=0: "שקילות מודולו n" היא יחס השוויון, ולכן החבורה <math>\ \mathbb{Z}_n</math> עבור n=0 היא חבורת המספרים השלמים כולה. "חבורת אוילר" היא אוסף האברים ההפיכים בחבורה הזו (ביחס לכפל), כלומר המספרים <math>\ 1,-1</math>, שיש בה 2 אברים. אפילו משפט אוילר מתקיים (עבור n=0): לכל a "זר ל-0" (כלומר שווה ל-<math>\ 1,-1</math>), מתקיים <math>\ a^2 \equiv 1 \pmod{0}</math>. [[משתמש:עוזי ו.|עוזי ו.]] 19:42, 18 בנובמבר 2012 (IST)
== הוכחה קשה באגודות ==
במבחן בקיץ הופיעה השאלה הבאה כבונוס:
הוכח שאם באגודה <math>S</math> יש לכל <math>a,b \in S</math> פתרונות יחידים <math>x,y \in S</math> למשוואות <math>ax=b, ya=b</math> אז <math>S</math> היא חבורה.
אפילו להוכיח שיש איבר יחידה לא הצלחתי... נראה שצריך לשחק עם הצבות של a=b. אשמח לעזרה.