Complements
摘要
This means that f is injective, g is surjective, and \(\ker g=\operatorname {im}f\) . Note that in this case, K is isomorphic to f(K), which is a normal subgroup of G and \(G/f(K)\cong Q\) . We also say that G is an extension of K by Q.