数学 抽象代数

群的直积

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

本页目录 1 节

群的直积 #

定理

H,KH,KGG 的子群, 则在映射 σ:(h,k)hk\sigma:(h,k)\mapsto hk 下, H×KGH\times K\cong G 当且仅当:

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

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

讨论

评论

正在加载评论…

输入关键词开始搜索。