groups: prove that a morphism is injective iff kernel is null. also placeholder theorem for quotient group being isomorphic to the image of a morphism