群论在机构学中的核心应用：将刚体的每一种基本运动对应为 $SE(3)$ 的一个位移子群，将运动副的组合对应为子群的交与乘积运算。

本文承接群论基础，将群论的五种运算应用于机构分析：$SE(3)$ 的全部 12 种位移子群及其齐次矩阵表示、运动副与位移子群的对应关系、交运算对并联约束的建模、乘积运算对串联运动链的建模、以及乘积不封闭时产生的位移子流形。

1. SE(3) 的子群结构

1.1 SE(3)、SO(3)、T(3)

三种群是机构学中最基本的群结构：

$SE(3)$ 是描述刚体空间运动的 6 维李群，$SO(3)$ 与 $T(3)$ 是其两个基本子群。三者通过以下运算关联：

$T(3)$ 是 $SE(3)$ 的正则子群，因此 $SE(3)/T(3) \cong SO(3)$ 构成商群。这一结构是所有位移子群构造的出发点。

1.2 位移子群

1978 年，法国学者 Hervé 基于刚体位移群的代数结构，枚举了 $SE(3)$ 中存在的全部 12 种位移子群（displacement subgroup ）。其中 6 种低维子群可作为 6 种基本低副（lower kinematic pair）的数学表示，称为位移子群的生成元（generator）：

每一种位移子群都有两种等价符号表达：抽象群记号（如 $SO(2)$）与依赖于几何参数的记号（如 $R(N, \boldsymbol{u})$ ）。后者显式标定了轴线位置与方向——这正是机构学分析所必需的几何信息。

位移子群是 $SE(3)$ 的李子群，继承 $SE(3)$ 的全部代数特征，因此 群论基础 中定义的五种运算均可直接应用于位移子群。

1.3 齐次矩阵表示

每种位移子群在齐次坐标下对应一类 $4 \times 4$ 矩阵的参数化形式。以下列出机构学中最常用的六种：

a. $T(\boldsymbol{u})$ — 平移子群 （$a \in \mathbb{R}$）：

b. $R(N, \boldsymbol{u})$ — 转动子群（$\theta \in [0, 2\pi)$）：

其中 $\boldsymbol{P}_N$ 为轴线上一点 $N$ 的位置矢量，$e^{[\boldsymbol{u}]\theta}$ 为 Rodrigues公式 给出的旋转矩阵。

c. $H(N, \boldsymbol{u}, \rho)$ — 螺旋子群（$\theta \in [0, 2\pi)$）：

螺距 $\rho = 0$ 时退化为转动子群，$\rho \to \infty$ 时退化为平移子群。

d. $C(N, \boldsymbol{u})$ — 圆柱子群（$\theta \in [0, 2\pi),\; a \in \mathbb{R}$）：

圆柱运动是绕轴转动与沿线平移的叠加——$C(N, \boldsymbol{u}) = R(N, \boldsymbol{u}) \ltimes T(\boldsymbol{u})$ （半直积，因为转动会改变平移方向）。

e. $T_3$ — 空间平移子群（$\boldsymbol{Q} \in \mathbb{R}^3$）：

f. $S(N)$ — 球面子群（$\boldsymbol{R} \in SO(3)$）：

$S(N)$ 与 $SO(3)$ 同构——绕球心的任意旋转。注意球面副虽然也是 $SO(3)$，但与 $R(N, \boldsymbol{u})$ 的维数不同：前者 3 维（任意转轴），后者 1 维（固定转轴）。

2. 运动副的群表示

机构学中，一个运动副约束了相连两杆件的相对运动，而允许的相对运动全体构成一个位移子群。

6 种低副与位移子群的对应关系：

注：若运动副包含旋转与平移，且旋转轴与平移方向不平行，则该多自由度副只能用半直积表示（而不是直积）。若转动轴与平移方向平行（如圆柱副），转动不改变平移方向随体坐标，则可以使用直积，也可以使用半直积（第一个操作数是旋转部分）。

3. 交：并联约束

当多个运动副同时约束两杆件的相对运动（并联约束），最终允许的运动为各运动副对应子群的交集。

原理：设两杆件之间有 $k$ 条并联分支，第 $i$ 条分支允许的相对运动对应子群 $G_i$，则两杆件的实际允许运动为：

交运算的封闭性保证了结果仍是位移子群。

例 1 ：两个轴线平行但不共线的转动副约束同一刚体。$R(N_1, \boldsymbol{u}) \cap R(N_2, \boldsymbol{u}) = \{\boldsymbol{I}\}$ ——两平行转轴的转动副交集仅为恒等变换，两杆件被完全锁定。平行但不共线的两个转动，各自允许的运动空间不重叠（除恒等变换外）。

例 2：轴线共线的转动副与移动副。$R(N, \boldsymbol{u}) \cap T(\boldsymbol{u}) = \{\boldsymbol{I}\}$ ——转动与沿轴平移的交集仅为恒等（两者的运动形式完全不同）。

例 3：球面副与过球心的转动副。$S(N) \cap R(N, \boldsymbol{u}) = R(N, \boldsymbol{u})$ ——球面子群包含绕 $\boldsymbol{u}$ 轴的转动，交集即为该转动子群本身。

例 4 ：两个正交方向平移的交集。 $T(\boldsymbol{u}) \cap T(\boldsymbol{v}) = \{\boldsymbol{I}\}$（$\boldsymbol{u} \neq \boldsymbol{v}$ ）——不同方向的平移互不包含，交集仅为恒等。

交运算直接用于分析机构的约束状态——如果各分支允许运动的交集为零维（仅恒等），则两构件之间没有相对运动自由度。

4. 乘积：串联运动链

串联运动链的末端相对运动为各级运动副对应子群的乘积。设串联链中有 $m$ 个运动副，第 $i$ 个对应子群 $G_i$，则末端运动空间为：

乘积的顺序反映串联顺序——从基座到末端依次右乘。

例 1：三个汇交于一点 $N$ 、转轴线性无关的转动副串联。$R(N, \boldsymbol{u}) \cdot R(N, \boldsymbol{v}) \cdot R(N, \boldsymbol{w}) = S(N)$ 。三个转动子群的乘积恰好构成球面子群——这是一个位移子群（维数：$1+1+1 = 3 = \dim S(N)$），且是李群 （$S(N) \cong SO(3)$ 是李群）。不是交换群（$SO(3)$ 非 Abel）。

例 2：一个转动副与一个同轴移动副串联。$R(N, \boldsymbol{u}) \cdot T(\boldsymbol{u}) = C(N, \boldsymbol{u})$ 。乘积构成圆柱子群—— 是群，是李群，不是交换群（转动与沿线平移不相交换，为半直积）。

例 3：三个正交的平移副串联。$T(\boldsymbol{e}_1) \cdot T(\boldsymbol{e}_2) \cdot T(\boldsymbol{e}_3) = T_3$ 。平移子群之间两两可交换，乘积构成 $T(3)$——是群，是李群，是交换群（$T(3)$ 是 Abel 群）。

例 4：两个平行但不同轴的转动副串联。$R(N_1, \boldsymbol{u}) \cdot R(N_2, \boldsymbol{u})$，其中 $N_1 \neq N_2$ 。乘积维数为 $2$，但 $SE(3)$ 中不存在 2 维的转动子群（仅有 $C$ 是 2 维且含转动）。该乘积不是群 ——不满足封闭律（两次绕不同平行轴的转动复合后产生平移分量，无法表示为单次绕某固定轴的转动）。

4.1 乘积的交换性

两个位移子群乘积是否可交换（即 $G_1 G_2 = G_2 G_1$）：

判断交换性的实用准则：若两个运动在空间中互不干扰对方的作用效果，则可交换。平移之间可交换（两个平移的合成与顺序无关）；含转动的组合不可交换（转动改变了后续运动的空间方向），除非两转动同轴或转动与平移共线。

5. 位移子流形

并非所有刚体运动都构成位移子群。位移子流形（displacement submanifold）是不具备群结构的刚体运动集合——运动不能沿固定坐标轴描述，乘积不满足封闭律。

位移子流形在机构学中同样重要：例如万向节的两自由度运动非群运动。$SE(3)$ 中按转动/平移维数分类的完整运动类型：

判断一个运动是否构成位移子群的关键标准：能否在每个可达位姿下，沿一组固定的坐标轴实现所有允许的运动。李群运动可以（如 XY 平台在每个位姿下都沿固定 $x$、$y$ 轴平移）；非李群运动不能（如万向节末端不能在每个姿态下都绕初始坐标轴转动）。

小结

群论在机构学中的应用归结为三组对应关系：