Clanlu Clanlu
  • 请到 [后台->外观->菜单] 中设置菜单
  • 登录
现在登录。
  • 请到 [后台->外观->菜单] 中设置菜单

The image of a group homomorphism is a subgroup

Math 2年 前
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 1.6 Exercise 1.6.13

Let $G$ and $H$ be groups and let $\varphi : G \rightarrow H$ be a group homomorphism. Prove that the image $\mathsf{im}\ \varphi$ of $\varphi$ is a subgroup of $H$. Prove that if $\varphi$ is injective then $G \cong \mathsf{im}\ \varphi$.


Solution: By Exercise 1.1.26, it suffices to show that $\mathsf{im}\ \varphi$ is closed under multiplication and inversion. To that end, let $h_1, h_2 \in \mathsf{im}\ \varphi$. Then there exist $g_1, g_2 \in G$ such that $\varphi(g_1) = h_1$ and $\varphi(g_2) = h_2$. Since $$h_1 h_2 = \varphi(g_1) \varphi(g_2) = \varphi(g_1 g_2),$$ $\mathsf{im}\ \varphi$ is closed under multiplication. Now let $h \in \mathsf{im}\ \varphi$; then there exists $g \in G$ such that $\varphi(g) = h$. Now $$h^{-1} = \varphi(g)^{-1} = \varphi(g^{-1}),$$ so that $\mathsf{im}\ \varphi$ is closed under inversion. Thus $\mathsf{im}\ \varphi$ is a subgroup of $H$.
Suppose now that $\varphi$ is injective. We can then defined a mapping $\psi : G \rightarrow \mathsf{im}\ \varphi$ by $\psi(g) = \varphi(g)$; this $\psi$ is clearly a homomorphism and is bijective, hence an isomorphism. Thus $G \cong \mathsf{im}\ \varphi$.

#Group Homomorphism#Image#Subgroup
0
Math
O(∩_∩)O哈哈~
猜你喜欢
  • The set of prime ideals of a commutative ring contains inclusion-minimal elements
  • Use Zorn’s Lemma to construct an ideal which maximally does not contain a given finitely generated ideal
  • Not every ideal is prime
  • Characterization of maximal ideals in the ring of all continuous real-valued functions
  • Definition and basic properties of the Jacobson radical of an ideal
17 6月, 2020
A norm on the integral Hamiltonians
精选标签
  • Subgroup 40
  • Order 37
  • Counterexample 36
Copyright © 2022 Clanlu. Designed by nicetheme.