(G/H)×H是否同构于G？ 第1页
1
malloy-37 网友的相关建议:
不是，考虑整数加群 ，它的正规子群 与 同构，而商群 是2阶循环群，分别考虑群 和群 的生成元， 只有一个生成元，而 有两个，虽然这两个集合的元素个数是相等的(等势)，但是它们的群结构不相同(生成元不同)，所以 。
然后我们尝试寻找一个条件来让 成立，实际上反例往往也是为我们排雷的好帮手，受以上反例启发，我们应该尽量避免选取 为无限群，且最好要使 同构于 的一个子群( 的任何子群都不与 同构)。那么答案就更进一步了，我们都知道 是 过 的扩张，扩张核为 ，显然 ，若 同构于 的一个子群，则 就是半直积并同构于 。所以我们要找的就是一个能证明 的条件，我们不妨把条件定为：
同构于 的一个正规子群，即 。
这个条件让半直积 成为了内直积，那么上面的条件就是我们要的答案了，因为
结合 ，即得 。
Q.E.D
并且这个条件还是必要的，因为总有 。
而实际上定理2.5.5的描述还给出了一个更一般的内直积 同构于外直积 的充分必要条件。
1
相关话题
有没有对于各种榫卯结构，在数学上的研究?114514 阶的群有哪几类？
如何从数学角度证明魔方复原存在必可解策略？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
如何证明任何有限域中的任何元素均可写成两数的平方和？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
这个多项式问题从何入手进行求解？
一个范畴问题?
前一个讨论
何为神之一手？
下一个讨论
既然暗物质“观测”不到为什么还要定义为物质？
相关的话题
学习数论图论有必要先学抽代和高代吗？如何证明dimQ（R）=dimQ（C）？
问一下，这几个群是什么群，有什么性质？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
如何证明 √2 + √3 + √5 是无理数？
如何证明Q[³√5]是域？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
请问这个抽象代数题怎么证明？
勒让德多项式的意义？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
如何证明有理数加法群不是有限生成群？
问一下，这几个群是什么群，有什么性质？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
114514 阶的群有哪几类？
高等代数中线性变换的核的基怎么求？
如何证明 √2 + √3 + √5 是无理数？
如何证明这个群论问题？
剩余类环的所有理想怎么求？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
勒让德多项式的意义？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
请问费马大定理写成方程形式是否可以证明？
如何理解 Van-Kampen 定理？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
交换环的所有零因子和 0 组成的集合是一个理想吗？
如何证明这个群论问题？
问一下，这几个群是什么群，有什么性质？