【CINTA第5次作业】

CINTA第5次作业

证明： $$\begin{array}{rl}充分性：& \because \varphi 是一种群同态\\ & \therefore \forall a,b\in \mathbb{G},\varphi (a\cdot b)=\varphi (a)◦\varphi (b)\\ & \therefore (ab{)}^2=a^2{b}^2\\ & \therefore ab=a^2{b}^2(ab{)}^{-1}=a^{2}b{a}^{-1}\\ & \therefore b=ab{a}^{-1},即ba=ab\\ & \therefore \mathbb{G}是阿贝尔群\\ 必要性：& \because \mathbb{G}是阿贝尔群\\ & \therefore \forall a,b\in \mathbb{G},有ba=ab\\ & \therefore abba=abab,即aabb=abab\\ & \therefore a^2{b}^2=(ab{)}^2,满足\varphi (a\cdot b)=\varphi (a)◦\varphi (b)\\ & \therefore \varphi 是一种群同态\end{array}$$

证明：
$$\begin{array}{rl}& \because \mathbb{G}是循环群,且\forall a,b\in \mathbb{G}有\varphi (ab)=\varphi (a)\varphi (b)\\ & \therefore \forall g\in \mathbb{G}且存在整数k使g=g^k,有\varphi (g)=\varphi (g^k)=\varphi (g)\varphi (g)\dots \varphi (g)=\varphi (g{)}^k\\ & \therefore \varphi (\mathbb{G})也是循环群\\ & \\ & \because \mathbb{G}是交换群,且\forall a,b\in \mathbb{G}有\varphi (ab)=\varphi (a)\varphi (b)\\ & \therefore \forall a,b\in \mathbb{G},有ab=ba\\ & \therefore \varphi (a)\varphi (b)=\varphi (ab)=\varphi (ba)=\varphi (b)\varphi (a)\\ & \therefore \varphi (\mathbb{G})也是交换群\end{array}$$

证明：
$$\begin{array}{rl}& \because [\mathbb{G}:\mathbb{H}]=2\\ & \therefore \mathbb{H}在\mathbb{G}上不相同的左陪集的个数为2\\ & 设\mathbb{H}的左陪集分别为{\mathbb{H}}_1、{\mathbb{H}}_2\\ & \forall g\in \mathbb{G}，当g落在{\mathbb{H}}_1时，则g{\mathbb{H}}_1={\mathbb{H}}_1={\mathbb{H}}_{1}g\\ & 当g落在{\mathbb{H}}_2时，则g{\mathbb{H}}_2={\mathbb{H}}_2={\mathbb{H}}_{2}g\\ & \therefore \forall g\in \mathbb{G}，g\mathbb{H}=\mathbb{H}g\\ & \therefore \mathbb{H}是\mathbb{G}的正规子群\end{array}$$

证明：
∵ H 是群 G 的正规子群 , 商群 G / H = { g H , g ∈ G } ∴ ∀ g 1 H , g 2 H ∈ G / H , 有 ( g 1 H ) ( g 2 H ) = g 1 g 2 H ∵ 群 G 是阿贝尔群 ∴ ∀ a , b ∈ G , 有 a b = b a ∴ ∀ g 1 , g 2 ∈ G , ( g 1 H ) ( g 2 H ) = g 1 g 2 H = g 2 g 1 H = ( g 2 H ) ( g 1 H ) ∴ 商群 G / H 也是阿贝尔群 \begin{aligned} &\because \mathbb{H}是群\mathbb{G}的正规子群,商群\mathbb{G}/\mathbb{H}=\{g\mathbb{H},g\in \mathbb{G}\}\\ &\therefore \forall g_1\mathbb{H},g_2\mathbb{H}\in \mathbb{G}/\mathbb{H},有(g_1\mathbb{H})(g_2\mathbb{H})=g_1g_2\mathbb{H}\\ &\because 群\mathbb{G}是阿贝尔群\\ &\therefore \forall a,b\in\mathbb{G},有ab=ba\\ &\therefore \forall g_1,g_2\in\mathbb{G},(g_1\mathbb{H})(g_2\mathbb{H})=g_1g_2\mathbb{H}=g_2g_1\mathbb{H}=(g_2\mathbb{H})(g_1\mathbb{H})\\ &\therefore 商群\mathbb{G}/\mathbb{H}也是阿贝尔群\\ \end{aligned} ​∵H是群G的正规子群,商群G/H={gH,g∈G}∴∀g1​H,g2​H∈G/H,有(g1​H)(g2​H)=g1​g2​H∵群G是阿贝尔群∴∀a,b∈G,有ab=ba∴∀g1​,g2​∈G,(g1​H)(g2​H)=g1​g2​H=g2​g1​H=(g2​H)(g1​H)∴商群G/H也是阿贝尔群​

证明：
∵ H 是群 G 的正规子群 , 商群 G / H = { g H , g ∈ G } ∴ ∀ g 1 H , g 2 H ∈ G / H , 有 ( g 1 H ) ( g 2 H ) = g 1 g 2 H ∵ 群 G 是循环群 ∴ ∀ g ∈ G , 存在整数 k 使 g = g k ∴ g H = g k H = ( g H ) ( g H ) … ( g H ) = ( g H ) k ∴ 商群 G / H 也是循环群 \begin{aligned} &\because \mathbb{H}是群\mathbb{G}的正规子群,商群\mathbb{G}/\mathbb{H}=\{g\mathbb{H},g\in \mathbb{G}\}\\ &\therefore \forall g_1\mathbb{H},g_2\mathbb{H}\in \mathbb{G}/\mathbb{H},有(g_1\mathbb{H})(g_2\mathbb{H})=g_1g_2\mathbb{H}\\ &\because 群\mathbb{G}是循环群\\ &\therefore \forall g\in\mathbb{G},存在整数k使g=g^k\\ &\therefore g\mathbb{H}=g^k\mathbb{H}=(g\mathbb{H})(g\mathbb{H})…(g\mathbb{H})=(g\mathbb{H})^k\\ &\therefore 商群\mathbb{G}/\mathbb{H}也是循环群\\ \end{aligned} ​∵H是群G的正规子群,商群G/H={gH,g∈G}∴∀g1​H,g2​H∈G/H,有(g1​H)(g2​H)=g1​g2​H∵群G是循环群∴∀g∈G,存在整数k使g=gk∴gH=gkH=(gH)(gH)…(gH)=(gH)k∴商群G/H也是循环群​