בסעיף א' שתיי החבורות סופיות.
== סדרים ==
צריך עזרה בהוכחת שתיי טענות:
טענה:
<math>G</math> חבורה.
<math>g\in G</math>.
מניחים כי <math>o(g)</math> סופי.
צריך להוכיח:
<math>\left |<g> \right |=o(g)</math>.
שאלה:
איך יתכן שמספר האיברים ב <math>\left |<g> \right|</math> הוא סופי?
הרי <math><g> </math> מוגדרת להיות :
<math><g>={g^0,g^1,g^2,g^3,g^4,......g^{-1},g^{-2},g^{-3},g^{-4},....} </math>.
כלומר זו קבוצה בעלת אינסוף איברים.
איך יתכן, ש-מספר האיברים ב <math>\left |<g> \right|</math> הוא סופי?..הרי הרגע הראיתי שזו קבוצה עם אינסוף איברים ע"פ הגדרתה.