G/ker(f) 同型 G': abelian

ker(f) = 1 ⇒ Gは?