C. E. LinderholmA Group Epimorphism is Surjective10.1080/00029890.1970.11992448in The american mathematical monthly