שינויים
/* איזומורפיזם בין חבורות. */
האם זה נכון להגיד ששתי חבורות שונות, בעלות אותו הסדר (סופי), אינן איזומורפיות כי מספר תתי החבורות שלהן, עבור סדר מסויים כלשהו, הוא שונה?
במידה וכן, האם אפשר לקבל כיוון להוכחת הדבר?
::כן. זה נכון. אם <math>G_1,\ldots G_i</math> תתי חבורות שונות מסדר <math>n</math> של <math>G</math>
ו<math>f:G\to H</math> איזו' אז <math>f(G_1),\ldots f(G_i)</math> תתי חבורות שונות מסדר <math>n</math> של <math>H</math>. לכן מספר תתי החבורות מסדר <math>n</math> של <math>H</math> גדול או שווה למספר תתי החבורות מסדר <math>n</math> של <math>G</math>.
<math>f^{-1}:H\to G</math> גם היא איזו' ולכן ניתן להוכיח בצורה דומה שמספר תתי החבורות מסדר <math>n</math> של <math>G</math> גדול או שווה למספר תתי החבורות מסדר <math>n</math> של <math>H</math>. בסה"כ נקבל את השוויון הדרוש. --[[משתמש:מני ש.|מני]] 16:56, 17 בדצמבר 2012 (IST)
