群论中，同构是保持群结构不变的一一映射，而同态是满射但不必一一对应。同态核是映射到单位元的元素集合，同态核定理表明它是一个不变子群且与商群同构。自同构映射是群到自身的同构映射，内自同构是由群元生成的自同构。凯莱定理将群与变换群联系起来，等价关系具有对称性和传递性，轨道和不变子集是重要的概念，迷向子群用于分析特殊元素在变换下的行为。
同构：若从群G到群F上，存在保持群乘法规律不变的一一满映射
这里的“保持群乘法规律不变”，是指两个元素的群乘的映射等于这两个元素的映射的群乘。很显然，同构关系具有对称性。同构的两个群结构完全一样。（所以叫同构嘛）。
可以列举几个教材上的例子，它们是比较严谨的：空间反演群
同态：若从群G到群F上，存在保持群乘法规律不变的满映射
同态与同构的区别是不再是双射，而是满射。这意味着G的集合会比F的“大”一些，（只在同构成立时一样大）；同时，同态的关系不再具有对称性。
同态核：设群G与群F同态，映射到F到单位元的G中的元素集合称为同态核。
同态核定理：若群G与群F同态，则同态核H是G的不变子群，且商群G/H与F同构。
证明：
先证H是G的子群。
由于群乘法规则不变，，即
，有
，即证封闭性；
结合律自动成立，单位元也一定在H中；
设在同态核中，它在群G中的逆元
映射到F中的
，
由，
又，
则有，即
也在同态核中，即证逆元的存在。
于是，证得H是G的子群。
再证H是G的不变子群。
对任意的，
，即证
的同类元素均在同态核内。
最后证G/H
最低0.47元/天 解锁文章
扫一扫
5377
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
