:איבר כלשהו בתת הקבוצה הוא מן הצורה <math>km</math> עבור <math>m \in U_n</math>. מי יכול להיות ההופכי של <math>km</math>, כאשר ידוע לנו ש-<math>k,m \in U_n</math>? למה בכלל <math>k \in U_n</math>? אני מקווה שזה רמז מספיק.
::היי שוב:)
::זה ברור ש - k שייך לUn מכיוון שהוא זר לn בגלל הנתון שה - gcd שלהם 1.::לכן גם ברור למה km שייך לUn(סגירות החבורה לפעולה בין 2 האיברים שלה)::ולכן גם ברור למה ההופכי של km נמצא בUn.::כל זה עדיין לא מוביל אותי לדרך בה אני מראה שאותו הופכי נמצא גם ב - KUn...לצערי.
::תודה שוב! :::לגבי עיצוב: אפשר להזיח שורות עם ":", ואפשר להוסיף מתמטיקה עם הכפתור <math>\sqrt{n}</math>.:::בנוגע לשאלה, בחבורה כללית מה הוא ההופכי של מכפלה של שני איברים? כלומר אם <math>a,b \in G</math>, אז מה יהיה ההופכי של <math>ab</math>?:::בחבורה בשאלה, אם יש איבר <math>x \in U_n</math>, אז איך ניתן להציג אותו כ-<math>x=ky</math>, עבור <math>y \in U_n</math>, כאשר כפי שאמרת ידוע ש-<math>k^{-1} \in U_n</math>?