:פירוש המילים <math>a\equiv b(mod n)</math> הוא <math>n \mid a-b</math>. זאת אומרת שקיים k שלם כך ש-<math>a-b=nk</math> או <math>a=b+nk</math>. זה אמור להספיק לדעתי. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 18:39, 17 בדצמבר 2013 (EST)
== שאלה על חבורת אוילר ==
חבורת אוילר <math>U_{n}</math> היא קבוצת כל האיברים ההפיכים במונואיד <math>Z_{n}</math>.
זו ההגדרה של חבורת אוילר? או שזה משפט שאומר שקבוצת האיברים ההפיכים במונואיד <math>Z_{n}</math>, היא חבורה שנקראת "חבורת אוילר"?
שאלה שניה:
למה קבוצת האיברים ההפיכים במונואיד <math>Z_{n}</math> , היא קבוצת המספרים במונואיד <math>Z_{n}</math>, שזרים ל-n?