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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Complements

  • Ferran Cedó,
  • Leandro Vendramin

摘要

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.