Kernel is Trivial iff Group Monomorphism