半直积

在数学中，特别抽象代数里的群论中，半直积（英语：semidirect product）是从其中一个是正规子群的两个子群形成一个群的特定方法。半直积是直积的推广。半直积是作为集合的笛卡尔积，但带有特定的乘法运算。

群论
群
基本概念 子群 · 正规子群 · 商群 · 群同态 · 像 · (半)直积 · 直和 单群 · 有限群 · 无限群 · 拓扑群 · 群概形 · 循环群 · 幂零群 · 可解群 · 圈积 离散群 有限单群分类 循环群 Zn 交错群 An 李型群 散在群 马蒂厄群 M11..12,M22..24 康威群 Co1..3 扬科群 J1..4 费歇尔群（英语：Fischer group）F22..24 子魔群（英语：sub monster group） B 魔群 M 其他有限群 对称群, Sn 二面体群, Dn 无限群 整数, Z 模群, PSL(2,Z) 和 SL(2,Z) 连续群 李群 一般线性群 GL(n) 特殊线性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 酉群 U(n) 特殊酉群 SU(n) 辛群 Sp(n) G2 F4 E6 E7 E8 劳仑兹群 庞加莱群 无限维群 共形群 微分同胚群 环路群 量子群 O(∞) SU(∞) Sp(∞) 代数群 椭圆曲线 线性代数群（英语：Linear algebraic group） 阿贝尔簇（英语：Abelian variety）
查 论 编

内半直积

定义

令 ${\displaystyle G}$ 为群， ${\displaystyle N}$ 为 ${\displaystyle G}$ 的一个正规子群， ${\displaystyle H}$ 是 ${\displaystyle G}$ 的一个子群。下列命题等价:

• ${\displaystyle G=NH}$ 且 ${\displaystyle N\cap H=\{e\}}$ （ ${\displaystyle e}$ 是 ${\displaystyle G}$ 的单位元）
• ${\displaystyle G}$ 的每个元素可以唯一表示为 ${\displaystyle H}$ 的一个元素和 ${\displaystyle N}$ 的一个元素的积
• 自然的嵌入 ${\displaystyle H\rightarrow G}$ , 和自然的投影 ${\displaystyle G\rightarrow G/N}$ 的复合是 ${\displaystyle H}$ 和 ${\displaystyle G/N}$ 之间的同构
• 存在同态 ${\displaystyle G\rightarrow H}$ ，它的像是 ${\displaystyle H}$ 本身而其核是 ${\displaystyle N}$。

如果这些命题中的一个(从而所有)成立，则称 ${\displaystyle G}$ 是一个 ${\displaystyle N}$ 和 ${\displaystyle H}$ 的内半直积，或者说 ${\displaystyle G}$ 在 ${\displaystyle N}$ 上“分裂(splits)”，并写作 ${\displaystyle G=N\rtimes H}$。

基本事实

若 ${\displaystyle G}$ 是其正规子群 ${\displaystyle N}$ 和子群 ${\displaystyle H}$ 的内半直积，而且 ${\displaystyle N}$ 和 ${\displaystyle H}$ 都是有限的，则 ${\displaystyle G}$ 的阶等于 ${\displaystyle N}$ 和 ${\displaystyle H}$ 的阶的乘积。

与直积不同，内半直积通常不是唯一的。令 ${\displaystyle G}$ 和 ${\displaystyle G'}$ 为包含 ${\displaystyle N}$ 为正规子群，并且都包含 ${\displaystyle H}$ 为子群的两个群，而且二者都是 ${\displaystyle N}$ 和 ${\displaystyle H}$ 的内半直积， ${\displaystyle G}$ 与 ${\displaystyle G'}$ 未必同构。

外半直积

定义

给定任意两个群N和H（不必是某个群的子群）和一个群同态φ : H → Aut(N)(其中Aut(N)表示N的所有自同构组成的群)，我们定义如下的一个新群N ⋊_φ H，称作N和H相对于φ的外半直积:

基础的集合是集合直积 N × H，而群运算*给定为

(n₁, h₁) * (n₂, h₂) = (n₁ φ(h₁)(n₂), h₁ h₂)

对于所有N中的n₁, n₂ 和H中的h₁, h₂。这确实定义了一个群；其幺元为(e_N, e_H)，而元素(n, h)的逆为(φ(h^–1)(n^–1), h^–1)。

基本事实

N × {e_H}是同构于N的正规子群, {e_N} × H是同构于H的子群，而N ⋊_φ H是这两个子群的内半直积。

若G是一个N和H的内半直积，令映射φ : H→Aut(N)为如下同态

φ(h)(n)=hnh^–1

则G同构于外半直积N ⋊_φ H，该同构把乘积nh映到2元组(n,h)。在G中,我们有如下规则

(n₁h₁)(n₂h₂) = n₁(h₁n₂h₁^–1)(h₁h₂)

而这是上述外半直积的定义的深层原因，也是一个记住它的方便办法。

群的分裂引理（splitting lemma）的一个版本称群G同构于两个群N和H的外半直积当且仅当存在短正合序列

${\displaystyle 0\longrightarrow N\longrightarrow ^{\!\!\!\!\!\!\!\!\!u}\ \,G\longrightarrow ^{\!\!\!\!\!\!\!\!\!v}\ \,H\longrightarrow 0}$

和一个群同态r : H → G 使得v o r = id_H, H上的恒等映射。在这种情况, 给出φ : H → Aut(N)如下

φ(h)(n) = u^–1(r(h)u(n)r(h^–1)).

例子

有 2n个元素的二面体群 D_n 同构于循环群C_n 和C₂的半直积。这里，C₂的非单位元作用于C_n，将元素变成其逆；这是一个自同构因为C_n是交换群。

平面的刚体运动群(映射f : R² → R² 使得x和y之间的欧氏距离等于f(x) 和f(y)之间的距离对于所有在R²中的x和y成立)同构于交换群R² (描述平移)和正交 2×2矩阵的群O(2)(描述转动和反射)的半直积。每个正交矩阵通过矩阵乘法作用在R²上，并且是一个自同构。

所有正交n×n矩阵的群O(n)(直观的讲，所有n维空间的所有转动和反射的集合)同构于群SO(n) (所有行列式值为1的正交矩阵，直观的讲n维空间的转动的集合)和C₂的准直积。如果我们将C₂表示为矩阵{I, R}的乘法群,其中R是n维空间的翻转(也就是行列式为-1的正交对角矩阵),则φ : C₂ → Aut(SO(n)) 由φ(H)(N) = H N H^–1对所有 在C₂中的H 和SO(n)中的N给出。

与直积的关系

假设G是一个正规子群N和子群H的内半直积。若H也在G中正规，或者说，若存在一个同态G → N是N上的恒等映射，则G是N和H的直积。

两个群N和H的直积可以视为N和H相对于φ(h) = id_N (对于所有H中的h)的外半直积。

注意在直积中，因子的次序不重要，因为N × H同构于H × N。这在半直积中不成立，因为两个因子的角色不同。

推广

半直积的构造可以推得更广。在环理论中有一个版本，环的交叉积（crossed product of rings）。一旦构造了群的一个半直积的群环，这可以很自然的看出。还有李代数的半直和。给定拓扑空间上的一个群作用，存在一个相应的交叉积，它通常非交换，即使群是可交换的。这样的环在群作用的轨道空间有重要作用，特别是当该空间不能用常规的拓扑技术处理的时候，例如在阿兰·孔涅的工作中（细节请参见非交换几何）。

在范畴论中也有推广。它们表明了如何从“指标范畴(indexed categories)”构造“纤维范畴(fibred categories)”。这是外准直积的抽象形式。

参看

• 圈积(Wreath product)