שינויים
/* שאלה */ פסקה חדשה
:באמת זה לא אינטואיטיבי. פורמלית יש כאן תעלול אריתמטי: אם <math>(ab)^n=1</math> אז ניתן להכפיל ב-a מימין ולקבל <math>ababab \cdots ba = a</math>. נכנס כעת את האיברים מימין, ונקבל <math>a(ba)^n=a</math> ולכן <math>(ba)^n=1</math>. זה אכן תעלול אריתמטי, ולי אין אינטואיציה לטענה הזו. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 18:32, 17 בדצמבר 2013 (EST)
== שאלה ==
<math>G</math> חבורה.
<math>g \in G</math>.
<math>o(g)=n</math>.
צריך להוכיח ש:
<math>a\equiv b(mod n)</math> אם"ם <math>g^a=g^b</math>.
איך עושים את זה? ואם אפשר בקשה להזכיר, מה הפירוש במילים של השיוויון : <math>a\equiv b(mod n)</math>?
