שינויים
/* מבחן 2012 מועד א' */
מישהו יכול לעזור לי עם שאלת הבונוס במבחן http://www.math-wiki.com/images/5/57/AA12A.pdf
:יש כמה שלבים:
:# יש לדעת שהחיתוך <math>H_1 \cap H_2</math> הוא תת חבורה של <math>H_1, H_2, G</math>.
:# יש להראות כי אם <math>[G:H_1]< \infty</math> אז גם <math>[H_2:H_1 \cap H_2]< \infty</math>. את זה אפשר להראות עם העתקה חח"ע מן המחלקות השמאליות של <math>H_1 \cap H_2</math> בתוך <math>H_2</math> למחלקות השמאליות של <math>H_1</math> בתוך <math>G</math>. אם <math>[G:H_1]</math> סופי, אז עקב קיום ההעתק החח"ע נקבל שודאי שגם <math>[H_2:H_1 \cap H_2]</math> סופי.
:# משתמשים במסקנה ממשפט לגראנז' (הופיע בתרגיל בית 3) שאומרת <math>[G:H_1 \cap H_2]=[G:H_2][H_2:H_1 \cap H_2]</math> וסיימנו לפי הסעיף הקודם והנתון בשאלה <math>[G:H_2]< \infty</math>.
:--[[משתמש:Mathzeta2|Mathzeta2]] 21:01, 28 באוגוסט 2013 (IDT)
== משפט 2 ==
מה בדיוק צריך להוכיח במשפט 2 ? האם צריך להוכיח שלכל מספר המחלק את הסדר של החבורה הציקלית קיימת תת חבורה מהסדר של המספר או שצריך להוכיח שכל ת"ח של חבורה ציקלית היא חבורה ציקלית או שצריך להוכיח את שתיהם?
