תודה:)
:נכון, כדי להוכיח שקבוצה עם פעולה מסוימת היא חבורה צריך להוכיח שלכל איבר קיים הופכי.
:איבר כלשהו בתת הקבוצה הוא מן הצורה <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>? אני מקווה שזה רמז מספיק.