同态和同构

线性空间的同构与同态线性空间是很多高阶数学领域所需要用到的基本概念，因此在线性代数的学习中，我们不得不对线性空间基本的性质、定义、等价性、基础定理等有一个深刻的理解。

当然，线性空间的同构与同态作为线性变换的代名词，也是我们学习线性空间理论时，需要重点关注的。

一、线性空间同构同构，是数学中一个十分重要的概念。

它指的是两个结构相同、具有相同性质的数学对象。

更准确地说，如果两个集合之间存在一一对应，且它们之间的映射不仅是单射还是满射，那么这两个集合就是同构的。

对于线性空间，它满足向量的加法和数量的乘法这两个运算规则，因此，我们可以要求用以下方式定义两个线性空间的同构：定义：若存在双射映射$f:V\to W$，并满足：1. $\forall u,v\in V$，有$f(u+v)=f(u)+f(v)$。

2. $\forall u\in V$和$c\in F$，有$f(cu)=cf(u)$。

则称线性空间$V$和$W$之间存在同构，称$f$为同构映射。

其中，$F$是一个数域，它是一个固定的标量（标量乘法满足分配律、结合律、单位元和逆元等基本性质）。

同构可以理解为两个向量空间“外形”相同，尽管它们之间的标量乘法、向量加法的具体运算方式可能不同。

关于线性空间同构，我们有如下三个重要结论：（1）同构是一种双射关系，即两个线性空间同构当且仅当它们的维度相等。

（2）两个线性空间同构，则它们必须同构于数域$F$上的$n$维线性空间$F^n$。

（3）两个线性空间同构，当且仅当它们的基底个数相等。

通过上述结论，我们可以发现，实际上同构所关注的是两个线性空间的向量基。

只有当两个线性空间的维度相等、同构映射满足条件时，它们才是同构的。

因此，为了构造同构映射，我们通常需要找到两个向量空间之间的一个映射，满足一一对应、线性、满射的性质，这样才能实现同构。

二、线性空间同态同态是另一个重要的概念。

它们也是线性代数中常用的术语，他们主要与线性空间中的变换相关。

群环域论中的同态与同构群环域论是数学中的一个重要分支，研究群与环域之间的关系及其性质。

在群环域论中，同态与同构是两个重要的概念。

本文将从同态和同构的定义、性质以及应用等方面进行探讨。

一、同态的定义与性质同态是指保持代数结构之间运算相容性的映射。

对于群与环域，同态具体的定义如下：（一）群同态：设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的逆元。

群论是数学的一门重要分支，研究的是群这一抽象代数结构的性质和性质间的关系。

在群论中，群同态和群同构是两个基本概念。

首先，我们来讨论群同态。

群同态是指一种映射，它保持群的结构。

具体来说，设有两个群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.同态（Homomorphism）：同态是指将一个代数结构映射到另一个代数结构的映射，保持运算结构的性质。

如果存在两个代数结构A 和B，以及一个映射f：A→B，对于A中的任意元素a和b，满足f(a*b)=f(a)*f(b)，其中"*"表示A和B上的运算，而"="表示两个代数结构中的相等关系。

简而言之，同态保持了代数结构中的运算规则。

2.同构（Isomorphism）：同构是指两个代数结构之间存在一种双射关系，使得双射保持了运算结构和元素之间的关系。

如果存在两个代数结构A和B，以及一个映射f：A→B，满足以下条件：-f是一个双射，即对于A中的每个元素a，都存在唯一的元素b 在B中与之对应；
-对于A中的任意两个元素a1和a2，满足a1*a2=a3，则f(a1)*f(a2)=f(a3)；
-对于B中的任意元素b1和b2，满足b1*b2=b3，则存在A中的元素a1和a2，使得f(a1)=b1，f(a2)=b2，f(a1*a2)=b3。

简而言之，同构保持了代数结构中的运算规则和元素之间的一一对应关系。

因此，可以将同构看作是一种更严格的同态关系。

如果两个代数结构之间存在一个同构映射，那么它们在结构和性质上是完全相同的，只是元素的表示不同而已。

需要注意的是，在数学中，同态和同构的概念不仅仅适用于代数结构，还可以应用于其他领域，如拓扑学、图论等。

1/ 1。

近世代数科普群论⼆1. 同态与同构群的同态：设f:G→G′，如果其满⾜∀a,b∈G,f(a)f(b)=f(ab)，则称f是⼀个同态当f是⼀个满射时，称为满同态当f是⼀个单射时，称为单同态当f是⼀个双射时，称为同构，称为G≅G′常记f(G)={f(x):x∈G}，f−1(x)={a:f(a)=x}，f−1(S)={a:f(a)∈S}常⽤结论设f:G→G′为⼀个同态，则f(e)=e′，f(a)−1=f(a−1)设f:G→G′为⼀个同态，则f(G)⩽G′Prof：对a′,b′∈f(G)，∃a,b∈G,f(a)=a′,f(b)=b′，则a′b′−1=f(a)f(b)−1=f(ab−1)∈f(G)2. 正规⼦群Def：设H⩽G，若∀a∈G,aH=Ha，则称H为⼀个正规⼦群，记做H⊲G正规⼦群的等价结论：设H⩽G，∀a∈G,aHa−1=H设H⩽G，∀a∈G,aHa−1⊆HProf：取a和a−1，aHa−1⊆H，a−1Ha⊆H设H⊲G，K⩽G，则H∩K⊲KProf：∀x∈H∩K,∀g∈K,g−1xg∈H∩K（H是由正规⼦群，K由群的封闭性）3. 核Def：设f:G→G′是⼀个同态，则f−1(e)称为f的核，记做ker(f)核⼀定是正规⼦群：⼦群：∀a,b∈ker(f),f(ab−1)=f(a)f(b−1)=e∈ker(f)正规⼦群：∀g∈G,h∈ker(f)，f(ghg−1)=f(g)ef(g−1)=e∈ker(f)，从⽽g ker(f)g−1⊆ker(f)，从⽽ker(f)是正规⼦群f−1(a)=a ker(f)4. 商群定义⼀种集合运算，AB={ab|a∈A,b∈B}Def：设H⩽G，G/H为H的陪集的集合，若H⊲G，G/H在上述集合运算下构成群，称为商群，商群的单位元为H，元素aH的逆元为a−1HProf：∀aH,bH∈G/H,aHb−1H=ab−1H∈G/H5. ⾃然同态设H⊲G，则存在G→G/H的同态φ(a)=aH，称为H的⾃然同态⾃然同态⼀定是满同态φ(H)=φ−1(H)=H6. 群同态基本定理设f:G→G′是⼀个满同态，则G/ker(f)≅G′Prof：记N=ker(f)，构建映射ϕ(aN)=f(a)先证为双射，如果f(a)=f(b)，则a∈bN，则aN=bN，故为单射∀a′∈G′,∃a∈f−1(a′),s.t.ϕ(aN)=a′，故为满射再证同构，ϕ(aN)ϕ(bN)=f(a)f(b)=f(ab)=ϕ(abN)=ϕ(aNbN)推论：设f:G→G′是⼀个同态，则G/ker(f)≅f(G)7. 群同态定理设f:G→G′是⼀个满同态，记N=ker(f)f建⽴G包含N的⼦群与G′的⼦群之间的⼀⼀对应Prof：设S1={K:N⩽K⩽G}，S2={K:K⩽G′}(a) ⾸先证明映射合法，∀H∈S1,f:H→G′是⼀个同态，因此f(H)⩽G′(b) 证明单射，先证∀H∈S1,f−1(f(H))=H，知H⊂f−1(f(H))，并且∀x∈f−1(f(H)),f(x)∈f(H)，因⽽∃h∈H,f(x)=f(h)，故x∈hN⊂H，故f−1(f(H))⊂H，因此f−1(f(H))=H，那么如果f(H1)=f(H2)就有H1=H2(c) 证明满射，∀H′∈S2,f(f−1(H′))=H′f建⽴G包含N的正规⼦群与G′的正规⼦群之间的⼀⼀对应Prof：设S a={K:N⩽K⊲G},S b={K:K⊲G′}(a) f:S a→S b合法，因为∀K∈S a,∀g∈G,gKg−1=K，故f(K)=f(gKg−1)=f(g)f(K)f(g)−1，由f是满同构知f(K)∈S b，⼜由f:S1→S2是双射知，f是⼀个单射(b) 反之，∀K′∈S b,∀g∈G,f(g−1f−1(K′)g)=f(g)−1K′f(g)=K′，从⽽g−1f−1(K′)g⊂f−1(K′)，从⽽f−1(K′)∈S a，由f:S1→S2是双射知，f是⼀个满射上述两条主要是为了接下来的定理的描述第⼀群同构定理：设f:G→G′是⼀个满同态，设N=ker(f)，设N⊂H⊲G，则G/H≅G′/f(H)Prof：设G′/f(H)的⾃然同态为π，那么我们考虑同态φ=πf(G→G′/f(H))，由π,f为满同态，则φ为满同态我们考虑证明H=ker(φ)，即{x|πf(x)∈f(H)}，显然H⊆ker(φ)，⽽∀x∈ker(φ)，有πf(x)∈f(H)，即f(x)∈f(H)，即x∈f−1(f(x))⊆H，从⽽H=ker(φ)，由群同态基本定理，我们得到G/H≅G′/f(H)第⼆群同构定理：设H⩽G,N⊲G，则HN/N≅H/H∩N为了使定理有意义，先证HN是⼦群，⾸先HN=NH，∀h1,h2∈H,n1,n2∈N，n1h1(n2h2)−1=n1(h1h−12)n2∈NHN=HN，故HN为⼦群Prof：设H/H∩N的⾃然同态为π，π(a)=a(H∩N)，构造f:HN→H，∀x∈aN,f(x)=a，则ϕ=πf是⼀个满同态我们考虑证明N=ker(ϕ)，即{x|πf(x)∈H∩N}，⾸先f(N)=e,π(e)=H∩N，故N⊆ker(ϕ)⽽且∀x∈ker(ϕ),f(x)∈{e}，故x∈N，故ker(ϕ)⊆N第三群同构定理：设N⊲G,N⩽H⊲G，则G/H≅(G/N)/(H/N)Prof：第⼀群同构定理，取G′=G/N的特例群论三1. 单群Def：如果G没有⾮平凡的正规⼦群（{e}和G），那么G称为单群G≠{e}是交换单群，当且仅当G为素数阶的循环群Prof：对任意g≠e，考虑⟨g⟩2. ⽣成⼦群记最⼩包含S的⼦群为⟨S⟩，即⟨S⟩=⋂S⊂H⩽G H∀x∈S,x=x1x2...x m(x1,x2,...,x m∈S∪S−1)当S有限时，⟨S⟩称为有限⽣成群3. 换位⼦群（导群）a−1b−1ab称为元素a,b的换位⼦（交换⼦），记做[a,b]所有的换位⼦⽣成的⼦群称为换位⼦群（导群），常记做G′, [G,G], G(1)（以后变量要取别的名字了...）当ab=ba时，[a,b]=a−1b−1ab=eG′⊲GProf：g[a,b]g−1=(ga−1g−1)(gb−1g−1)(gag−1)(gbg−1)=[gag−1,gbg−1]∀x∈G′,x=[a1,b1][a2,b2]...[a m,b m], 故gxg−1=[ga1g−1,gb1g−1][ga m g−1,gb m g−1]∈G′故∀g∈G,g−1G′g⊆G′，故G′⊲GG/G′是阿贝尔群Prof：aG′bG′=bG′aG′⇔aG′b=bG′a⇔G′=a−1bG′ab−1⇔G′=G′a−1bab−1⇔G′=G′[a,b−1]4. 可解群定义G(n)=(G(n−1))(1)，注意到G⊳G(1)⊳G(2)⊳...Def：如果G(k)={e}，则称G为可解群利⽤换位⼦群的商群的性质，有这样的充要条件：群G是可解群当且仅当存在G⊳G1⊳G2....⊳G k={e}，且G i−1/G i(1≤i≤k)为阿贝尔群Prof：“⇒"：显然，G,G(1),G(2),....，满⾜题意“⇐”：如果G/N是阿贝尔群，考虑φ:G→G/N为⾃然同态，那么有φ([a,b])=e，即[a,b]∈N从⽽我们有G(1)⩽N，在本题中，由于G/G1是阿贝尔群，故G(1)⩽G1，归纳得到G(k)⩽G k，即G(k)={e}5. 中⼼化⼦定义C(G)={x:∀a∈G,ax=xa}，称为群G的中⼼C(G)⊲G类似的，定义C S(G)={x:∀a∈S,ax=xa}，称为S的中⼼化⼦C S(G)⩽G6. 群对集合的作⽤设f:G×S→S，且满⾜[1] f(e,x)=x [2] f(g1g2,x)=f(g1,f(g2,x))，称f决定了群G在S上的作⽤，f(g1,x)常简写为g1(x)设G是⼀个群，X,X′是两个⾮空集合，G作⽤在X,X′上，如果存在双射ϕ:X→X′，使得ϕ(g(x))=g(ϕ(x))，则称这两个作⽤等价example：项链的旋转构成群，对长为n的全红项链和全蓝项链显然等价设G作⽤在X上，定义关系R={(x,y)|∃g∈G,g(x)=y}，易证R是等价关系，在这个等价关系下，我们划分出的等价类称为轨道，和x 等价的元素记做O x={g(x)|g∈G}给⼀条项链染⾊，在旋转操作下等价的元素设G作⽤在X上，∀x∈X，定义H x={g∈G|g(x)=x}为x的稳定⼦群（显然为⼦群）如果|O x|=1，或者说∀g∈G,g(x)=x，则称x为不动点7. 齐性空间Def：设H⩽G，则H的所有左陪集构成的集合称为G的齐性空间⼀般的，默认g(aH)=gaH是G在G/H上的作⽤设G作⽤在X上，则\forall x \in X，G在O_x上的作⽤和其在G/H_x上的作⽤等价Prof：定义映射f:G/H_x \to O_x, f(aH_x) = a(x)其为单射，因为b(x) = a(x) \Leftrightarrow b^{-1}a(x)=x \Leftrightarrow bH_x=aH_x其显然为满射，因此此为⼀⼀映射，并且，f(gaH_x) = ga(x) = g(f(aH_x))设G为有限群，G作⽤在X上，则|O_x| = |G/H_x|Prof：由上⼀个命题，f是⼀个⼀⼀映射，故这两个集合的基数相等ex：求正⽅体的旋转群的⼤⼩我们考虑利⽤上式公式，不难得到|H_1| = 3，|O_1| = 8，从⽽|G| = 24在G作⽤到G上，并且g(x) = gxg^{-1}时，此时H_x = C_G(X)，定义C(x)为和x共轭的元素的集合，则|C(x)| = |G :C_G(x)|根据等价类的定义，从每个共轭类中选择⼀个元素，得到|G| = \sum_x [G:C_G(x)]特别的，当x\in C(G)时，[G:C_G(x)] = 1，因此我们选择从每个⾮平凡的共轭类中选择⼀个x元，则有|G| = |C(G)| + \sum_x |G:C_G(x)|这称为共轭类⽅程设H\leqslant G，则H \cong xHx^{-1}(x\in G)8. p-群Def：如果|G| = p^k(k\geq 1)，其中p为素数，则称G为p-群设p-群G作⽤于集合X上，设|X|=n，设t为X中不动点的数⽬，则t \equiv n(mod\;p)Prof：设集合X的全部轨道为O_1, O_2, ..., O_k，则有\sum |O_i| = n，注意到|O_i| = p^m(m\geq 0)，当且仅当|O_i| = 1时，有|O_i|\;mod\;p =1，否则|O_i| \;mod\;p=0，因此t \equiv n(mod\;p)p-群⼀定有⾮\{e\}的中⼼Prof：考虑G到G上的共轭变换，任意G的中⼼中的元素⼀定是⼀个不动点，因此，我们有|C(G)|\equiv 0(mod\;p)，⾃然我们得到|C(G)|>19. Burnside 引理设群G作⽤于集合S上，令t表⽰S在G作⽤下的轨道的条数，\forall g\in G，F(g)表⽰S在g作⽤下不动点的个数，则t = \frac{\sum_{g\in G} F(g)}{|G|}Prof：⾸先转化命题，我们运⽤双计数证明|G|*t = \sum_{g\in G}F(g)考虑右式，\sum_{g\in G}F(g) = \sum_{x\in S, g\in G} [gx = x] = \sum_{x\in S} \{g:g\in G, gx=x\} = \sum_{x\in S} |H_x|由于|H_x| = |G| / |O_x|，因此所求即|G|*\sum_{x \in S}\frac{1}{|O_x|}，即证\sum_{x\in S} \frac{1}{|O_x|} = t考虑⼀个轨道O_x，这个轨道产⽣的贡献为|O_x| * \frac{1}{|O_x|} = 1，如此，t为不同的轨道的条数，命题得证群论四好像有些不太正常的要来了1. 西罗第⼀定理设G是⼀个阶为n的有限群，p为素数，如果p^k | n, k \geq 0，那么G中存在⼀个阶为p^k的⼦群Prof：引理：设n = p^r*m, (p, m) = 1，对k \leq r，有v_p(\binom{n}{p^k})=r-k（由Kummer\;TH显然）取G中所有含有p^k个元素的⼦集，构成集合X，令G作⽤在X上，定义g(A) = gA, A\in X那么有|X| = \sum |O_i|，由于p^{r-k+1} \nmid |X|，因此存在A\in X，使p^{r-k+1} \nmid |O_A|，下证|H_A|=p^k由|O_A| |H_A|= |G|知，v_p(H_A) \geq k，即|H_A| \geq p^k但\forall a\in A, H_Aa \subset A，故|H_A| \leqslant |A| = p^k，从⽽|H_A|=p^k设v_p(|G|) = k，则阶为p^k的⼦群称为西罗p-⼦群2. 西罗第⼆定理设v_p(|G|) = r，P是G的⼀个西罗p-⼦群，\forall H \leqslant G, |H|=p^k, \exists g\in G, s.t. H \leqslant gPg^{-1}Prof：考虑X为P的左陪集的集合，将H作⽤于X，h(aP)=haP由于(|X|, |H|) = 1，那么存在⼀个不动点，使得HgP = gP此时\forall h \in H ,\exists p_1, p_2\in P, hgp_1=gp_2，即h = gp_2p_1^{-1}g^{-1} \in gPg^{-1}，因此H \leqslant gPg^{-1}推论1：任意两个西罗p-⼦群互相共轭推论的推论：⼀个群G有唯⼀的西罗p-⼦群P的充要条件为P \lhd G3. 正规化⼦Def：对H \leqslant G，定义\{g:g\in G, gH=Hg\}为H的正规化⼦，记做N(H) N(H) \leqslant GH \lhd N(H)C_G(H) \leqslant N(H)G中西罗p-⼦群的个数，以及对任⼀西罗p-⼦群P，N(P)的阶为|G|的因⼦Prof：设X为G中所有西罗p-⼦群的集合，在上⾯作共轭变换对任⼀西罗p-⼦群P，有O_P = X，H_P = N(P)，从⽽|X|*|N(P)|= |G|4. 西罗第三定理若G中所有西罗p-⼦群的个数为t，则t \equiv 1(mod\;p)证明从略|G| = p^r * m, (p, m) = 1，结合t | |G|，我们有t | m。

离散结构同态与同构教学目标基本要求（1）掌握同态映射与同构映射的定义（2）掌握同态映射与同构映射的判定方法重点难点（1）同态映射的证明同态映射定义：设V1=<A,∘>和V2=<B,∗>是同类型的代数系统，f:A→B，且∀x, y∈A 有f(x∘y) = f(x)∗f(y), 则称f 是V1到V2的同态映射，简称同态.同态分类：(1) 如果f是单射，则称为单同态(2) 如果f是满射，则称为满同态，这时称V2是V1的同态像，记作V1∼ V2(3) 如果f是双射，则称为同构，也称代数系统V1同构于V2，记作V1 ≅ V2(4) 如果V1 = V2，则称作自同态实例例：设G为非0实数集R*关于普通乘法构成的代数系统，判断下述函数是否为G的自同态？如果不是，说明理由. 如果是，判别它们是否为单同态、满同态、同构.(1) f(x) = |x| +1(2) f(x) = |x|(3) f(x) = 0(4) f(x) = 2解：(1) 不是同态, 因为f(2×2)=f(4)=5, f(2)×f(2)=3×3=9(2) 是同态，不是单同态，也不是满同态，因为f(1)= f(−1), 且 ran f中没有负数.(3) 不是G 的自同态，因为f不是 G 到 G 的函数实例例：(1) 设V1=<Z,+>, V2=<Z n,⊕>．其中Z为整数集，+为普通加法；Z n={0,1,…,n−1}，⊕为模n，f (x)=(x)mod n加. 令f: Z→Znf 是V1到V2的满同态．【f满射，f(x1+x2)=(x1+x2)mod n=(x1 mod n )⊕(x2 mod n)=f(x1)⊕f(x2)】(2) 设V1=<R,+>, V2=<R*,· >，其中R和R*分别为实数集与非零实数集，+ 和 · 分别表示普通加法与乘法．令f: R→R*，f (x)= e xf是V1到V2的单同态. 【f单射，f(x1+x2)=e(x1+x2)=e x1· e x2=f(x1) · f(x2)】(3) 设V=<Z,+>，其中Z为整数集，+为普通加法. ∀a∈Z，令f a : Z→Z，f a (x)=ax，f a 是V的自同态. 【f(x1+x2)=a(x1+x2)=ax1+ax2=f(x1)+f(x2)】当a=0时称f为零同态；为自同构；当a=±1时，称fa例. 证明<Z4,+4>与<X, >同构。