Category:Group Epimorphism is Isomorphism iff Kernel is Trivial