条件不全吧.
我觉得一般不成立.例如,令G- 为非循环群（例如 S_3） ,a 属于 G- ,
从循环群 到 G- 的映射 f 为嵌入映射.
G- 是G 的同态像?循环群的商群是循环群.