*(לא מתרגל) החבורה שמתאורת למעלה מוגדרת עבור כפל של מרוכבים ולכן הפעולה היא כפל. אפשר לראות שעבור חיבור בכלל אין סגירות, כי לדוגמא עבור n=2 הרי שסכום שני האיברים הוא 0 והוא לא בקבוצה.
== שאלה לגבי הבוחן ==
בבוחן, במידה וינתן סעיף של מס' בחזקת מס' ביחס למודולו של מס' ראשוני (לדוג' <math>22^{40}\equiv x(mod 41)</math>), יהיה ניתן להעזר במשפט הקטן של פרמה? במידה וכן יהיה צריך להוכיח אותו (לדוג' [http://en.wikipedia.org/wiki/Proofs_of_Fermat%27s_little_theorem כמו ב4])?