数学 抽象代数

群的直积

给出群同构于两个子群直积的判定条件,并说明其与集合乘积可交换条件的区别。

本页目录1 节

群的直积 #

定理

设 H,KH,K 是 GG 的子群, 则在映射 σ:(h,k)↦hk\sigma:(h,k)\mapsto hk 下, H×K≅GH\times K\cong G 当且仅当:

  • (1) G=HKG=HK;
  • (2) H∩K={e}H\cap K=\{e\};
  • (3) HH 中每个元素和 KK 中每个元素可交换.
注

上述定理中第三个条件并不等价于 HK=KHHK=KH.

讨论

评论

正在加载评论…

输入关键词开始搜索。