מה בדיוק צריך להוכיח במשפט 2 ? האם צריך להוכיח שלכל מספר המחלק את הסדר של החבורה הציקלית קיימת תת חבורה מהסדר של המספר או שצריך להוכיח שכל ת"ח של חבורה ציקלית היא חבורה ציקלית או שצריך להוכיח את שתיהם?
== מספר חבורות מסדר מסוים ==
מישהו יכול להסביר לי איך יודעים כמה חבורות יש מסדר מסוים עד כדי איזומורפיזם ?
אני זוכר שמשתמשים בפירוק או משהו כזה..