(G/H)×H是否同构于G？ 第1页
1
malloy-37 网友的相关建议:
不是，考虑整数加群 ，它的正规子群 与 同构，而商群 是2阶循环群，分别考虑群 和群 的生成元， 只有一个生成元，而 有两个，虽然这两个集合的元素个数是相等的(等势)，但是它们的群结构不相同(生成元不同)，所以 。
然后我们尝试寻找一个条件来让 成立，实际上反例往往也是为我们排雷的好帮手，受以上反例启发，我们应该尽量避免选取 为无限群，且最好要使 同构于 的一个子群( 的任何子群都不与 同构)。那么答案就更进一步了，我们都知道 是 过 的扩张，扩张核为 ，显然 ，若 同构于 的一个子群，则 就是半直积并同构于 。所以我们要找的就是一个能证明 的条件，我们不妨把条件定为：
同构于 的一个正规子群，即 。
这个条件让半直积 成为了内直积，那么上面的条件就是我们要的答案了，因为
结合 ，即得 。
Q.E.D
并且这个条件还是必要的，因为总有 。
而实际上定理2.5.5的描述还给出了一个更一般的内直积 同构于外直积 的充分必要条件。
1
相关话题
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？对于抽象代数中的这个互素后的怎么证明比较合适?
integral domain为啥叫整环？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
历史上，近世代数中环和域的概念是怎样逐步建立的？
对于抽象代数中的这个互素后的怎么证明比较合适?
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
如何证明下面的近世代数问题？
这个多项式问题从何入手进行求解？
前一个讨论
何为神之一手？
下一个讨论
既然暗物质“观测”不到为什么还要定义为物质？
相关的话题
integral domain为啥叫整环？如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
如何证明有理数加法群不是有限生成群？
如何正确理解群论中的同态基本定理？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
Z^n的所有子群怎么求？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
如何理解有限单群分类定理？
一个UFD是PID的条件是什么?
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何从数学角度证明魔方复原存在必可解策略？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
历史上，近世代数中环和域的概念是怎样逐步建立的？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
关于整矩阵的一道题怎么解?
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何从数学角度证明魔方复原存在必可解策略？
如何理解抽象代数的用途？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
(G/H)×H是否同构于G？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
历史上，近世代数中环和域的概念是怎样逐步建立的？
怎么样通俗易懂地向小学生介绍群论的思想？
如何证明下面的近世代数问题？
如何证明任何有限域中的任何元素均可写成两数的平方和？
有没有休闲级别、能读懂的讲「群论」的书籍？