אני הבנתי את השאלה באופן הבא:
יהיו <math>H,G</math> חבורות ו- <math>\phi:G->\to H</math> הומומרפיזם.
צ"ל: אם <math>\langle \left\{a_1,...,a_n \right\} \rangle=G</math> אזי <math> \langle \phi ( \left\{a_1,...,a_n \right\} ) \rangle=H</math>.
אך זוהי טענה שגויה שכן <math>\phi(G)=\left\{ 1_H \right\}</math> מהווה דוגמה נגדית.
איפה טעיתי בהבנת השאלה?