第9讲群的同构与同态
2-9群同态,群同构
11:56
例：A包含a, b, c三个元，A的乘法由下表规定，证明：A是一个群
证明： : G A, G {全体整数} 普通加法, A {a,b,c}
(x) a，若 x 0 (3), (x) b，若 x 1 (3)
abc aa b c
(x) c，若 x 2 (3), 显然是满射
三、同态核
思考题1：G ~ G ， (e) e ，那么 1(e ) e ?
例1 G (Z, ) 与 G {0,1, 2, 3}, a b (a b) mod 4 同态
: x x mod 4, (x Z )
e (0) 0 mod 4 0
1(e ) { , 8, 4, 0, 4, 8, }
s 在 之下的象；
s A ，称 s 1(s ) {a | (a) a, a s }
为 s 在 之下的逆象.
2019/9/30
11:56
定理2
两个代数系统 G 与 G 同态， 若 G 是群，
则 G 也是群.
证明：
G
~
G
，G
是群，有结合律，则
G
也有结合律； 是同态满射，有
2019/9/30
11:56
推论1：设
G
与G
是有限群，且
G~G
，则 | G | 整除 | G | .
| G || G / Ker | | G |
推论2： 循环群的商群也是循环群.
2019/9/30
11:56
五、群的同构定理
定理5 设 是群 G 到群G 的同态满射 ，又 Ker N G, N (N ) ，则
Ker {全体偶数}2019/9/3011:56引理1
同态基本定理与同构定理
第九节 同态基本定理与同构定理重点、难点：同态基本定理，满同态与子群的关系.一 同态基本定理前几节是研究一些定量的东西，下面我们来研究一些定性的东西.本节中的同态基本定理是群论中的研究基础.定理2.9.1 一个群G 与它的每一个商群N G /同态.证 令G a aN a N G G ∈∀→,;/: π显然π是G 到N G /的满射.G b a ∈∀,，)()())(()()(b a bN aN N ab ab πππ=== 故π是一个满同态.注1 定理2.9.1中的π称为自然同态；注2 自然同态π一定是满同态.利用子群来研究群本身，任意给定一个不变子群N ，有两个可以供我们参考的群： N 和N G /，由于0/→→→N G G N ，故更容易推测G 的性质.自然会问：定理2.9.1的逆命题是否成立？即0→'→G G ，G '是否与G 的某个商群是同构的呢？我们说是对的.首先有一个概念.定义2.9.1 设G G '→Φ:为一个群同态.e '为G '的单位元,集合})(|{e a G a Ker '=Φ∈=Φ称为同态映射Φ的核.注1 未必要求Φ为满射，但本书中同态均为满同态；注2 一个同态是单同态⇔G e Ker ⊆=}{φ.推论2.9.2 设π是N G G /→的自然同态，则N Ker =π.证 由于N G /的单位元是N ，则N N a G a N aN G a N a G a Ker =∈∈==∈==∈=}|{}|{})(|{ππ.定理2.9.3 （同态基本定理）设ϕ是群G 到群G '的一个同态满射，则(1)G Ker ϕ；(2)G Ker G '≅ϕ/.证 (1)由于φϕϕ≠⇒∈Ker Ker e .,,,G x Ker b a ∈∀∈∀ϕ则e b a '==)()(ϕϕ为G '的单位元.则e e e e e b a b a ab e e bb b b '='⋅'='⋅'===--'===----11)()()()(11)()()()()()(11ϕϕϕϕϕϕϕϕϕ即G Ker Ker ab ≤⇒∈-ϕϕ1.又由于e x x x e x x a x xax '=='==----1111)()()()()()()()(ϕϕϕϕϕϕϕϕ，即G Ker Ker xax ϕϕ⇒∈-1.(2)令G a a aKer G Ker G ∈∀'→),(;/:ϕϕϕψ .下证ψ为一个同构映射：(ⅰ)ψ为映射：).()()()()(111b a e a b e a b Ker a b bKer aKer ϕϕϕϕϕϕϕϕ=⇒'=⇒'=⇒∈⇒=--- (ⅱ) ψ为满射：,,G a G a ∈∃'∈'∀使得a a aKer a a '==⇒'=)()()(ϕϕψϕ(ⅲ) ψ为单射：ϕϕϕKer G bKer aKer /,∈∀，则ϕϕϕϕϕϕϕψϕψbKer aKer Ker a b e a b b a bKer aKer =⇒∈⇒'=⇒⇒=--11)()()()()((ⅳ) ψ为一个同态：ϕϕϕKer G bKer aKer /,∈∀，则)()()()()()()(ϕψϕψϕϕϕϕψϕϕψbKer aKer b a ab abKer bKer aKer ====⋅.综上所述，G Ker G '≅ψϕ/. 注 一般地，设G G '→:ϕ为一个群同态，则⎩⎨⎧≅'≤ϕϕϕIm /Im Ker G G我们知道，群在一个群的满同态映射之下，一个群的若干性质会发生改变的，下面讨论哪些性质不发生变化.定义2.9.2 设A A →Φ:为集合之间的一个满射.(1) 设A S ⊆，记A S a a S ⊆∈Φ=Φ}|)({)(称为子集S 在Φ之下的像；(2)设A S '⊆'，记})(|{)(1S a A a S '∈Φ∈='Φ-称为子集S '在Φ之下的逆像（或后像）.注 一个不能多且一个不能少！定理2.9.4 设G G '→:ϕ是一个群之间的同态满射，(ⅰ),G H ≤∀ 则G H ≤)(ϕ；(ⅱ),G N ∀ 则G N )(ϕ；(ⅲ),G H ≤∀ 则G H ≤-)(1ϕ；(ⅳ),G N ∀ 则G N )(1-ϕ.证 (ⅰ)φϕφ≠⇒≠)(H H .b b a a t s H b a H b a ==∈∃⇒∈∀)(,)(..,,)(,ϕϕϕ， )()()()()()()(11111H b a b a b a b a Hb a ϕϕϕϕϕ∈⇒==-∈----，故G H ≤)(ϕ. (ⅱ).),(G x N a ∈∀∈∀ϕ 则⎩⎨⎧==∈∈∃a a x x t s G x N a )()(..,,ϕϕ .从而 )()()()()(111N xax x a x x a x ϕϕϕϕϕ∈==---，故G N )(ϕ.(ⅲ)由φϕ≠⇒≤-)(1H G H .（)(1H e H e -∈⇒∈ϕ）)()()()()(),()(,11111H b a H b a H b a H b a H b a -----∈⇒∈⇒∈⇒∈⇒∈∀ϕϕϕϕϕϕϕ即G H ≤-)(1ϕ.(ⅳ),),(1G x N a ∈∀∈∀-ϕ则 )()()()()()(,)(1111N xax N xax N x a x G x N a N ----∈⇒∈⇒∈⇒∈∈ϕϕϕϕϕϕϕ 故G N )(1-ϕ.注第(ⅰ)条不需要用道ϕ为满射.由(ⅳ)可知G e Ker )(1'=-ϕϕ.二 同构定理第一同构定理 设G G f '→:为群同态，则f G f Kerf G fIm )(/=≅ 第二同构定理（方块定理）H K H G HK G K G H ⋂≤⇒≤,,且有K H K H HK ⋂≅//.第三同构定理（分式定理） 设G K G H K ,≤≤，则①GH G H ⇔（K G G K H H /,/==） ② H G K H K G ≅.第四同构定理（对应定理） 设G G f '→:为群的满同态，则}{}|{11的子群G H Kerf G H −→←⊆≤- ；Kerf K K f K ≅)(且正规子群对应与正规子群.有兴趣的读者可以参考相关文献书籍.作业：Page 79 第2题，第3题。
群的同构定理
群的同构定理在抽象代数中，群是一种具有代数结构的数学对象，它在数学领域中有着广泛的应用和重要地位。
对于群的研究，同构是一个重要的概念。
同构是指两个群之间存在一个一一对应的双射，其保持了两个群之间的运算结构。
在本文中，我们将探讨群的同构定理及其相关性质。
一、同构的定义和性质设G和H是两个群，若存在一个从G到H的双射f，且对于任意的元素a、b∈G，有f(ab)=f(a)f(b)，则称这个双射f为从G到H的同构映射，记作G≅H。
若存在一个同构映射从G到H，则称G和H是同构的。
同构的基本性质如下：1. 同构是等价关系。
即同一个群与自身同构，若G≅H，则一定有H≅G；若G≅H，H≅K，则一定有G≅K。
2. 同构保持群的运算结构。
若G≅H，且a、b∈G，则f(a·b)=f(a)·f(b)。
3. 同构保持单位元。
若G≅H，且eG和eH分别为G和H的单位元，则f(eG)=eH。
4. 同构保持逆元。
若G≅H，且a∈G，则f(a⁻¹)=f(a)⁻¹。
二、下面我们介绍两个经典的群的同构定理。
1. 序号群同构定理设G是一个群，H是G的一个子群。
对于G中的任意元素a∈G，定义一个同态映射f：G→H，使得f(a)=aH。
则f是从G到H的一个同态映射，并且Ker(f)={a∈G | a∈H}是G的一个同态核。
根据同态核定理，G/Ker(f)≅H。
2. 基本同构定理设f：G→H是一个群之间的同态映射，其同态核为Ker(f)。
根据同态核定理，G/Ker(f)≅Im(f)，即G除以同态核的商群与f(G)同构。
三、同构的应用群的同构是抽象代数中一个重要的研究对象，它在很多数学领域中有广泛的应用。
以下是一些同构的常见应用：1. 规范形式：通过寻找两个同构的群，可以将一个复杂的群转化为一个更简单的形式，从而更容易研究和理解。
2. 基于同构的证明：在证明中，可以通过寻找两个同构的群，将一个问题转化为另一个已知结论的证明，从而简化证明的难度。
离散数学-同态和同构
离散算法设计
同态和同构可以用于设计高效的离散算法， 如通过同态映射将问题转化为易于处理的数
学形式，从而降低计算复杂度。
05
同态和同构的实例分析
BIG DATA EMPOWERS TO CREATE A NEW
ERA
二次方程的同态和同构分析
要点一
总结词
要点二
详细描述
在二次方程中，同态和同构的概念主要应用于方程的变形 和等价分类。
拓扑同构映射保持了原拓扑空间中的拓扑性质，即如果映射$f: X rightarrow Y$是 拓扑空间$X, Y$之间的同构映射，那么对于任意子集$U subseteq X$，有$f(U)$是 $Y$中的开集当且仅当$U$是$X$中的开集。
保持连通性
拓扑同构映射保持了原拓扑空间中的连通性，即如果映射$f: X rightarrow Y$是拓 扑空间$X, Y$之间的同构映射，那么对于任意子集$A subseteq X, B subseteq Y$， 有$(A subseteq B) Leftrightarrow (f(A) subseteq f(B))$。
逻辑同构的性质
保持逻辑关系
逻辑同构映射保持了原逻辑系统中的逻辑关系，即如果映射$f: L_1 rightarrow L_2$是逻辑系统$L_1, L_2$之间的同构映射，那么对于任意命题$varphi in L_1, psi in L_2$，有$(L_1 models varphi) Leftrightarrow (L_2 models psi)$。
的。
同构的性质
同构是一种更强的相似性关系，它不仅保持了群的基本运算性质，还要求存在一个双射 的映射。这意味着原始群和目标群在某种程度上是完全相同的。
群环域论中的同态与同构
群环域论中的同态与同构群环域论是数学中的一个重要分支，研究群与环域之间的关系及其性质。
在群环域论中，同态与同构是两个重要的概念。
本文将从同态和同构的定义、性质以及应用等方面进行探讨。
一、同态的定义与性质同态是指保持代数结构之间运算相容性的映射。
对于群与环域，同态具体的定义如下：（一）群同态：设G和H是两个群，如果存在一个映射f：G→H，满足对于任意的a,b∈G都有f(a•b)=f(a)•f(b)，则称f为从G到H的一个群同态。
（二）环域同态：设R和S是两个环域，如果存在一个映射f：R→S，满足对于任意的a,b∈R都有f(a+b)=f(a)+f(b)和f(a•b)=f(a)•f(b)，则称f为从R到S的一个环域同态。
同态具有以下性质：（一）同态保持单位元：对于群同态，有f(eG)=eH，其中eG和eH分别是群G和H的单位元。
（二）同态保持逆元：对于群同态，有f(a^(-1))=f(a)^(-1)，其中a^(-1)是a的逆元。
（三）同态保持加法和乘法运算：对于环域同态，有f(a+b)=f(a)+f(b)和f(a•b)=f(a)•f(b)。
二、同构的定义与性质同构是指两个代数结构之间存在一个双射，使得这个映射保持运算性质。
对于群与环域，同构具体的定义如下：（一）群同构：设G和H是两个群，如果存在一个双射f：G→H，且对于任意的a,b∈G都有f(a•b)=f(a)•f(b)，则称G和H是同构的，f为从G到H的一个群同构映射。
（二）环域同构：设R和S是两个环域，如果存在一个双射f：R→S，且对于任意的a,b∈R都有f(a+b)=f(a)+f(b)和f(a•b)=f(a)•f(b)，则称R和S是同构的，f为从R到S的一个环域同构映射。
同构具有以下性质：（一）同构保持单位元和逆元：对于群同构，有f(eG)=eH和f(a^(-1))=f(a)^(-1)，其中eG和eH分别是群G和H的单位元，a^(-1)是a的逆元。
群同态基本定理与同构定理
思路拓展
采用归纳法，将问题划分为小规模子问题，通过递归调用，逐步缩小问题规模，最终得出证明结果。
证明过程细节
在归纳过程中，需要建立递归终止条件和归纳转移条件，并利用群的定义和性质，逐步缩小问题规模，最终得出 $f(a)=f(b)$ 的矛盾结果。
群同态基本定理的证明方法二
应用场景一
应用场景二
群的同构定理的表述与证明
应用一
在有限群表示论中，群的同构定理可以用来判断两个群是否具有相同的表示。
应用二
在代数拓扑中，群的同构定理可以用来判断两个拓扑空间是否同胚。
群的同构定理的应用举例
密码学中的许多算法都涉及到了群结构，如对称加密算法中的有限域等。
同构定理可以用来判断两个有限群是否同构。如果两个有限群同构，则它们具有相同的性质和结构，因此可以用来构造相同的密码学算法。但是，如果两个有限群不同构，则它们具有不同的性质和结构，因此不能用来构造相同的密码学算法。因此，同构定理在密码学中具有重要的作用。
2023
群同态基本定理与同构定理
CATALOGUE
目录
群与群同态基本概念群同态基本定理的证明群的同构定理群同态基本定理与同构定理的应用群同态基本定理与同构定理的推广
01
群与群同态基本概念
群是一个非空集合，其中存在一个二元运算符，满足封闭性、结合律、单位元存在性和逆元存在性。
封闭性：对于任意$a,b\in G$，有$a\cdot b\in G$。
操作系统的权限管理
群同态基本定理可以用于将一些数据结构的设计问题转化为群同构问题，从而设计出更有效的算法。
数据结构与算法设计
在计算机科学中的应用
量子计算
在量子计算中，同构定理可以用于量子态的变换和量子测量等问题。
群论中的群同态与同构
群论是数学的一门重要分支，研究的是群这一抽象代数结构的性质和性质间的关系。
在群论中，群同态和群同构是两个基本概念。
首先，我们来讨论群同态。
群同态是指一种映射，它保持群的结构。
具体来说，设有两个群G和H，群同态是一个映射f: G -> H，它满足以下两个性质：1.f(x * y) = f(x) * f(y)，对于所有的x, y ∈ G；2.f(e) = e’，其中e是G的单位元，e’是H的单位元。
第一个性质保证了同态映射将群的乘法运算保持不变，第二个性质确保了同态映射将单位元映射到单位元。
群同态的一个重要应用是在简化问题的复杂性方面。
通过将一个较大的群映射到一个较小的群，我们可以研究原问题的较小版本，并利用较小群的性质来推导有关于原问题的结论。
接下来，我们谈论群同构。
群同构是指两个群之间存在双射的同态映射。
具体来说，如果存在一个双射f: G -> H，并且f满足同态的两个性质，那么我们称G和H是同构的，记作G ≅ H。
同构意味着两个群具有相同的抽象结构，虽然它们的元素和操作可能看起来不同。
例如，考虑整数加法群（Z，+）和整数乘法群（Z，*）。
尽管整数加法群和整数乘法群的运算看起来不同，但它们具有相同的结构，因此我们可以说这两个群是同构的。
同构的两个群之间有一些重要的性质如下：1.同构是一种等价关系。
即对于任意的群G，它与自身同构，即G ≅ G。
2.若G ≅ H，那么H ≅ G。
同构满足交换性。
3.若G ≅ H且H ≅ K，那么G ≅ K。
同构满足传递性。
群同构在研究群的性质和计算中发挥着重要的作用。
通过将一个群与一个已知的同构群进行比较，我们可以轻松地推导出这个群的一些性质。
同时，群同构也为群的计算提供了便利。
如果两个群是同构的，我们可以在计算一个群的过程中，使用另一个同构群的性质来简化计算。
总结来说，群同态和群同构是群论中非常重要的概念。
群同态是保持群结构的映射，而群同构则是保持群结构并具有一一对应关系的映射。
群论中的同态与同构理论
群论中的同态与同构理论群论是数学中的一个重要分支，研究群的性质和结构。
在群论中，同态和同构是两个基本概念，它们对于理解群的性质和群之间的关系非常重要。
一、同态的定义和性质在群论中，同态是指两个群之间的映射，它保持了群运算的结构。
具体来说，设有两个群G和H，如果存在一个映射φ：G→H，对于任意的x、y∈G，有φ(xy)=φ(x)φ(y)，那么φ就是一个从G到H的同态。
同态具有以下性质：1. 同态保持群运算：对于任意的x、y∈G，有φ(xy)=φ(x)φ(y)。
2. 同态保持单位元：对于任意的eG∈G，有φ(eG)=eH。
3. 同态保持逆元：对于任意的x∈G，有φ(x^(-1))=[φ(x)]^(-1)。
二、同构的定义和性质同构是指两个群之间的一种特殊的同态映射，它是一种双射，并且保持了群运算和群结构。
具体来说，设有两个群G和H，如果存在一个映射φ：G→H，满足以下条件：1. φ是一个双射，即φ是一个一一对应的映射。
2. φ保持群运算，即对于任意的x、y∈G，有φ(xy)=φ(x)φ(y)。
那么φ就是一个从G到H的同构。
同构具有以下性质：1. 同构保持群运算：对于任意的x、y∈G，有φ(xy)=φ(x)φ(y)。
2. 同构保持单位元：对于任意的eG∈G，有φ(eG)=eH。
3. 同构保持逆元：对于任意的x∈G，有φ(x^(-1))=[φ(x)]^(-1)。
三、同态和同构的应用同态和同构在群论中有着广泛的应用。
它们可以帮助我们研究群的性质和结构，以及群之间的关系。
1. 同态的应用：同态可以用来研究群之间的映射关系。
通过同态，我们可以将一个复杂的群映射到一个简单的群，从而简化问题的研究。
同态还可以用来刻画群的性质，例如同态核和同态像等。
2. 同构的应用：同构可以将一个群与另一个群进行一一对应，从而帮助我们找到两个群之间的相似之处。
同构还可以用来研究群的结构，例如分类群的同构分类问题。
四、同态与同构的例子为了更好地理解同态和同构的概念，我们来看几个具体的例子。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2018/11/13
群的同态实例
(1) 整数加群<Z,+>的自同态： fc(x)=cx，c 为给定整数 (2) 模n 加群<Zn,⊕>的自同态： fp(x)=(px)mod n, p=0,1,…,n−1 (3) G1=<Z,+>,G2=<Zn,⊕>,G1 到G2 的满同 态 f:Z→Zn, f(x)=(x)mod n
保持群G 的性质：交换性，循环性等.
2018/11/13
14
同态基本定理
(1) H 为G 的正规子群，则G/H 是G 的同态 像 (2) 若G’为G 的同态像（f(G)=G’），则 G/kerf ≅G’.
例：G1=<Z,+>,G2=<Zn,⊕>,G1 到G2 的满 同态 f:Z→Zn, f(x)=(x)mod n
2018/11/13
9
同态核性质
同态核 kerf = { x | x∈G1, f(x)=e2 } (1)kerf={e1} ⇔ f 为单同态 (2)kerf⊴G1，∀a,b∈G1, f(a)=f(b) ⇔ akerf = bkerf
2018/11/13
10
同态核性质的证明
(2)证： (i)显然kerf 非空. ∀a,b∈kerf, f(ab−1) = f(a)f(b)−1 = e2e2−1=e2 ⇒ ab−1∈kerf kerf 为G1 的子群，下面证明正规性. (ii)∀g∈G1, ∀a∈kerf, f(gag−1) = f(g)f(a)f(g−1)= f(g)f(g−1) = f(e1)=e2 (iii)f(a)=f(b) ⇔ f(a)–1f(b)=e2 ⇔ f(a−1b)=e2 ⇔ a−1b∈kerf ⇔ akerf=bkerf
15
2018/11/13
同态基本定理推论
(同态基本定理)若G’为G 的同态像 （f(G)=G’），则G/kerf ≅G’. |f(G)|整除于|G|
2018/11/13
16
小结:
集合和二元运算构成半群,独异点,群 群(集合及元素)的基本性质 群G 的给定子集H 构成子群 群G 的给定子群是正规的 f 是群G1 到G2 的同态映射 循环群，置换群
2018/11/13 4
群的同态与同构
群同态只要求保持乘法运算,即若 ∀x,y∈G1，f(xy)=f(x)f(y) ，
若将群看成代数系统<G, ◦,-1,e>，则同态 f 是否满足： f(e1)=e2 ，f(x−1)=f(x)−1
2018/11/13
5
同态映射的性质1
同态保持元素的性质
正规子群
正规子群：H≤G,，且∀a∈G，aH=Ha. 记 为H ⊴ G . （1）判定定理
(1) N 是G 的正规子群 (2) ∀g∈G, gNg−1 = N (3) ∀g∈G, ∀n∈N, gng−1∈N
（2）|N|=t, N是G的唯一t阶子群 （3）指数为2的子群
1
2018/11/13
置换群子群
2018/11/13
12
商群定义
商群 G/H = { Ha | a∈G },其中H ⊴ G 定义运算HaHb = Hab 说明：
良定义性质：
Ha=Hx, Hb=Hy ⇒ Hab=Hxy
可结合 He是单位元 Ha-1是Ha的逆元
13
2018/11/13
商群的性质
性质：|G/H|=[G:H]，商群的阶是|G|的因 子．|G|=|H| |G/H|=|H|[G:H]
2018/11/13 8
同态核
同态核 kerf = { x | x∈G1, f(x)=e2 } (1) 整数加群<Z,+>的自同态： fc(x)=cx，c 为给定整数 (2) 模n 加群<Zn,⊕>的自同态： fk(x)=(kx)mod n, k=0,1,…,n−1 (3) G1=<Z,+>,G2=<Zn,⊕>,G1 到G2 的满同态 f:Z→Zn, f(x)=(x)mod n
S3={(1),(12),(13),(23),(123),(132)} 正规子群
<(1)>, S3, A3=<(123)>
非正规子群
<(12)>, <(13)>,<(23)>,
2018/11/13
2
群的同态与同构
定义： 群G1 ，G2，映射f: G1→G2． 若∀x,y∈G1，f(xy)=f(x)f(y) ， 则称 f 为G1 到G2 的同态映射，简称同 态． 满同态，单同态，自同态，同构，自同 构
2018/11/13
17
题例分析
EX5 (1)a * b = a * (a * a)
= (a * a ) * a =b*a 论。 ° 1 若a * b = a，则： b * b = (a * a) * b = a * (a * b) =a*a =b
2018/11/13
(a * a = b) (结合律) (a * a = b )
(2)证明: 由于V中只有a, b 两个元素， 故分a * b = a 和a * b = b 两种情况讨
(a * a = b) (结合律) (a * b = a) (a * a = b)
2018/11/13 11态, 则f −1(f(a)) = akerf , 证 a∈G1, x∈f −1(f(a)) ⇔ f(x) = f(a) ⇔ f (a)−1f(x) = e2 ⇔ f(a−1x) = e2 ⇔ a−1x∈kerf ⇔ x∈akerf
f(e1)=e2 f(x−1)=f(x)−1 f 将生成元映到生成元(满同态时) |f(a)| 整除 |a|，同构条件下|f(a)| = |a|
2018/11/13
6
同态映射的性质2
同态保持子代数的性质
H≤ G1 ⇒ f(H)≤ G2 H⊴G1, f 为满同态，f(H)⊴G2
2018/11/13
7
同态保持元素性质的应用
证明不存在同构(反证法) 例1 证明不存在<Q*,⋅>到<Q,+>的同构. 证 假设存在同构f:Q*→Q, 则 f(1)=0, 0 = f(1) = f((−1)(−1)) = f(−1)+f(−1) = 2f(−1)， 从而f(−1) = 0 与f 的单射性矛盾.