צ"ל: אם <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> מהווה דוגמה נגדיתעבור <math>|H|>1</math>.
איפה טעיתי בהבנת השאלה?