Definition:Group Epimorphism