@740340735
2015-12-13T11:09:56.000000Z
字数 1392
阅读 613
代数结构
陆一洲 5140309557
证明:群 的中心 是 的正规子群。
对于 ,有 ,可得 ,所以 。
举例说明,如果 是 的正规子群, 是 的正规子群,则 不一定是 的正规子群。
设 为群, 是 的子群。证明, 是 的正规子群的充分必要条件是对任意的 ,如果 ,则 。
① 若,对于 ,如果 ,即 ,即 ,即 。
② 若对于 ,如果 ,则 。所以对于 ,有 ,所以有 ,所以 。
设 为群, 是群 的子群。定义 的正规化子 (normalizer) 为证明: 是 的子群, 是 的正规子群。
为方便书写,设
① 对于 ,有 ,可得 ,所以 ,即 为 的子群。
② 对于 ,显然由定义 ,所以 。
设 为群, 是 的子群。证明: 是 的正规子群的充分必要条件是对 的任一内自同构 。
① 如果 ,设 为 的一个内自同构,则存在 ,使得对于 ,有 。显然对于 ,有 ,所以有 。
② 如果对于 的任一内自同构 ,有 ,则对于 的一个内自同构 ,使得 。从而对于任意的 ,都有 ,所以 。
设 是群,,且 。证明:对每个 ,都有 。
因为 ,又有 ,所以有 。由此可得 ,所以 。
