CINTA(五)同构
9.1证明
1
∵ G ↦ H , ϕ 为 双 射 \because G\mapsto H,\phi 为双射 ∵G↦H,ϕ为双射
∴ G , H 中 元 素 一 一 对 应 \therefore G,H中元素一一对应 ∴G,H中元素一一对应
∴ ϕ − 1 : H ↦ G 也 为 同 构 \therefore \phi^{-1}:H\mapsto G 也为同构 ∴ϕ−1:H↦G也为同构
2
∵ G ↦ H , ϕ 为 双 射 \because G\mapsto H,\phi 为双射 ∵G↦H,ϕ为双射
∴ G , H 中 元 素 一 一 对 应 \therefore G,H中元素一一对应 ∴G,H中元素一一对应
∴ ∣ G ∣ = ∣ H ∣ \therefore |G|=|H| ∴∣G∣=∣H∣
3
ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) \phi(a \cdot b)=\phi(a) \circ \phi(b) ϕ(a⋅b)=ϕ(a)∘ϕ(b)
ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) = ϕ ( b ⋅ a ) = ϕ ( b ) ∘ ϕ ( a ) \phi(a \cdot b)=\phi(a) \circ \phi(b)=\phi(b\cdot a)=\phi(b)\circ \phi(a) ϕ(a⋅b)=ϕ(a)∘ϕ(b)=ϕ(b⋅a)=ϕ(b)∘ϕ(a)
∴ 可 得 G 是 阿 贝 尔 群 的 话 ， H 也 是 阿 贝 尔 群 \therefore 可得G是阿贝尔群的话，H也是阿贝尔群 ∴可得G是阿贝尔群的话，H也是阿贝尔群
4
G 是 循 环 群 的 话 ， 设 g 为 生 成 元 G是循环群的话，设g为生成元 G是循环群的话，设g为生成元
ϕ ( g m + n ) = ϕ ( g m ) ∘ ϕ ( g n ) \phi( g^{m+n})=\phi(g^m)\circ \phi(g^n) ϕ(gm+n)=ϕ(gm)∘ϕ(gn)
可 得 H 也 是 循 环 群 可得H也是循环群 可得H也是循环群
5
如果 G ′ 是 G 的 n 阶 子 群 ， 由 G ′ 双 射 同 构 成 H ′ , 可 得 H ′ 为 H 的 子 群 G'是G的n阶子群，由G'双射同构成H',可得H'为H的子群 G′是G的n阶子群，由G′双射同构成H′,可得H′为H的子群
∵ G ↦ H , ∣ G ∣ = ∣ H ∣ ∴ H ′ 也 为 n 阶 \because G\mapsto H,|G|=|H| \therefore H'也为n阶 ∵G↦H,∣G∣=∣H∣∴H′也为n阶
9.2所有无限阶的循环群都同构于群Z
证：
设群G是一个无限阶的循环群， g ∈ G g \in G g∈G是生成元。
定义 ϕ : Z ↦ G 为 ϕ : n ↦ g n \phi : Z \mapsto G为\phi:n\mapsto g^n ϕ:Z↦G为ϕ:n↦gn
则 ϕ ( m + n ) = g m + n = g m g n = ϕ ( m ) ϕ ( n ) \phi(m+n)=g^{m+n}=g^mg^n=\phi(m)\phi(n) ϕ(m+n)=gm+n=gmgn=ϕ(m)ϕ(n)
下面证明 ϕ 是 双 射 \phi 是双射 ϕ是双射
单射： ∀ a , b ∈ Z , 若 ϕ （ a ） = ϕ ( b ) , g a = g b \forall a,b\in Z,若\phi（a）=\phi(b),g^a=g^b ∀a,b∈Z,若ϕ（a）=ϕ(b),ga=gb
∵ G 是 无 限 阶 的 循 环 群 ， 则 a = b ， ∴ 为 单 射 \because G是无限阶的循环群，则a=b，\therefore 为单射 ∵G是无限阶的循环群，则a=b，∴为单射
满射： ∀ g m ∈ G ， 都 有 a 使 得 ϕ ( a ) = g m \forall g^m\in G，都有a使得\phi(a)=g^m ∀gm∈G，都有a使得ϕ(a)=gm
∴ 为 满 射 \therefore 为满射 ∴为满射
7378
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
