This is a question about Hirshon's paper "The center and the commutator subgroup in hopfian groups"(https://projecteuclid.org/euclid.afm/1485894451). In Theorem 12, he showed stating that if $B$ is a perfect group with finitely many normal subgroups and $A$ is a hopfian group, then the direct product $A \times B$ is hopfian. Does $B$ haveIs it possible to be a group with finitelyweaken the "finitely many normal subgroupssubgroups" hypothesis?