Мне кажется, что у вас ошибка в логике рассуждений. Сюръективный гомоморфизм - это когда для каждого элемента g` из G' существует, ХОТЯ БЫ ОДИН элемент g из G, что его образом является g'. Тогда С12 -> С3 тоже сюръективный гомоморфизм. Для С5 лучше указывать, что кроме тривиального гомоморфизма в единичный элемент других гомоморфизмов построить невозможно.