【无标题】CINTA第五次作业同构

最新推荐文章于 2024-07-08 22:12:26 发布

SKLM_Windsinger

最新推荐文章于 2024-07-08 22:12:26 发布

阅读量164

点赞数

分类专栏：数论文章标签：算法

本文链接：https://blog.csdn.net/SKLM_Windsinger/article/details/127839667

版权

数论专栏收录该内容

6 篇文章 0 订阅

订阅专栏

证明：命题9.1 .
命题9.1：

设 ϕ : G → H 从群 G 到群 H 的一种同构映射，则以下命题为真：

ϕ ⁻¹ : H → G 也是同构；
|G| = |H|；
如果 G 是阿贝尔群，则 H 也是阿贝尔群；
如果 G 是循环群，则 H 也是循环群；
如果 G 有阶为 n 的子群，则 H 也有阶为 n 的子群。
证明：

（1）即证明 $\phi ^{-1}$ 保持群操作： $\forall x,y \in \mathbb{H}$ ， $\phi^{-1}(x\circ y) = \phi^{-1}(x)\cdot \phi^{-1}(y)$ 。
$\phi(\phi^{-1}(x \circ y)) = x \circ y = \phi(\phi^{-1} (x)) \circ \phi(\phi^{-1}(y)) = \phi(\phi^{-1}(x) \cdot \phi^{-1}(y))$ ,
由于 $\phi$ 为双射，所以 $\phi^{-1}(x\circ y) = \phi^{-1}(x)\cdot \phi^{-1}(y)$ 。证毕。
（2）证明：因为 $\phi$ 为双射， $\mathbb{G}$ 与 $\mathbb{H}$ 中的元素一一对应，所以 $|\mathbb{G} | = | \mathbb{H} |$ 。
（3）证明：因为 $\mathbb{G}$ 是阿贝群，群运算满足交换律， $\forall a,b \in \mathbb{G} ,a \cdot b = b\cdot a$ .
$\phi(a\cdot b) = \phi(a) \circ \phi(b)$ , $\phi(b\cdot a ) = \phi(b) \circ \phi (a)$ ;
所以 $\phi(a) \circ \phi(b) = \phi(b) \circ \phi (a)$ 。 $\mathbb{H}$ 也是阿贝尔群。
（4）证明：射 $g$ 为 $\mathbb{G}$ 的生成元，对于 $G$ 中的任意元素 $g^m$ ，有：
$\phi(g^m)=\phi(g)^m$ ,因为 $\phi$ 为双射，所以 $\phi(g)^m$ 为 $\mathbb{H}$ 中的任意元素，所以 $\mathbb{H}$ 是循环群。
（5）证明：设 $\mathbb{G} '$ 为 $\mathbb{G}$ 的 $n$ 阶子群， $\forall a ,b \in \mathbb{G}'$ ， $a^{-1} ,b^{-1} ,ab \in \mathbb{G}'$ 。通过映射 $\phi$ ，可得 $\phi(a),\phi(b),\phi(a^{-1}),\phi(b^{-1}) ,\phi(ab) =\phi(a)\phi(b)$ ，此外，对于单位元 $e$ 有 $\phi(e)$ 。这些元素的集合构成 $\mathbb{H}$ 的子群 $\mathbb{H}'$ ，满足群公理。且由(2) 可知 $\mathbb{H}'$ 的阶为 $n$ 。

命题9.2：所有无限阶的循环群都同构于群 Z。
证明：设群 G 是一个无限阶的循环群，g ∈ G 是生成元。定义 ϕ : Z → G 为 ϕ : n → gⁿ。

则 ϕ(m + n) = g ^m+n = g ^mgⁿ = ϕ(m)ϕ(n)。然后，证明 ϕ 是双射。
（1）证明单射：任取 $\in \mathbb{Z}$ ，若 $\phi(a) = \phi(b)$ ，即 $g^a = g^b$ ，因为 $\mathbb{G}$ 为无限循环群 ,所以 $a = b$ ，则 $\phi$ 是单射。

（2）证明满射：任取 $g^x \in \mathbb{G}$ ,则存在 $\in \mathbb{Z}$ ，使得 $\phi(x) = g^x$ ，所以 $\phi$ 是满射。
有（1）（2）可知， $\phi$ 是双射，命题得证。