לגבי ג: מספר היוצרים לא נשמר בהכרח. אם היה מדובר באיזומורפיזם אז זה היה נכון אך בשאלה אנו מניחים רק אפימורפיזם. יתכן בהחלט ש<math>\varphi(a_1)=\varphi(a_2)</math> כאשר <math>a_1,a_2</math> יוצרים של <math>G</math>. --[[משתמש:מני ש.|מני]] 11:10, 23 בנובמבר 2012 (IST)
בסעיף ב לא מספיק להניח מונומורפיזם?