克莱因四元群：对合运算与第十四期的逻辑借用
克莱因四元群通常记作 \(V_4\)，是一个由四个元素构成的交换群，同 \(C_2\times C_2\) 同构。群不只是一个元素集合，还包含规定元素如何复合的二元运算。除恒等元外，三个元素的阶都为 2：每一个连续作用两次都会回到恒等元；任意两个不同的非恒等元相乘，又得到第三个非恒等元。它不同于同为四阶群的循环群 \(C_4\)，后者含有一个阶为 4 的生成元。
按照《研讨班 XIV》第五课的记号，可以写成
\[ V_4={0,a,b,c},\qquad aa=bb=cc=0, \]
其中 \(0\) 表示“不作任何改变”的恒等操作，不是数值零；\(a\)、\(b\)、\(c\) 是三项非恒等的对合操作。任意两个不同的非恒等操作复合，得到第三项：\(ab=c\)、\(ac=b\)、\(bc=a\)。由于这个群是交换群，复合次序不改变结果。完整运算表为：
| \(\cdot\) | \(0\) | \(a\) | \(b\) | \(c\) |
|---|---|---|---|---|
| \(0\) | \(0\) | \(a\) | \(b\) | \(c\) |
| \(a\) | \(a\) | \(0\) | \(c\) | \(b\) |
| \(b\) | \(b\) | \(c\) | \(0\) | \(a\) |
| \(c\) | \(c\) | \(b\) | \(a\) | \(0\) |
拉康说“操作不超过三个”，不是说群只有三个元素，而是没有把恒等操作 \(0\) 列入三项非平凡操作。数学上可以把它们具体实现为四个顶点上的置换：
\[ 0=\mathrm{id},\qquad a=(12)(34),\qquad b=(13)(24),\qquad c=(14)(23). \]
在第五课的彩色四顶点图中，每种颜色各连接两对顶点，表示同一项操作：从一个顶点沿某种颜色移动，就是施行该操作；再沿同色移动一次便返回出发点。先后沿两种不同颜色移动，则同直接沿第三种颜色移动效果相同。抽象地说，四个顶点可以标为 \(0,a,b,c\)，某种颜色的边把 \(x\) 连到 \(x\cdot a\)、\(x\cdot b\) 或 \(x\cdot c\)；图形中央的交叉只有在被明确标为顶点时才是群的一个位置，矩形画法中两条对角线的交点不是第五个顶点。
拉康随后把这张四顶点图用于排列异化、真理与移情等操作，并尝试借它联结无意识的结构地位与笛卡尔 cogito。但他同时作出关键限定：克莱因四元群本身既不蕴含“话语宇宙”的裂隙，也不蕴含这道裂隙不存在；只有在精神分析所规定的操作得到适当界定以后，这个群才能充当形式支架。第二十二课也只说这些操作是“仿照克莱因四元群”受到追问。因此，这不是数学对无意识的证明，也不是宣称精神分析过程同 \(V_4\) 已被严格证明为同构。
克莱因四元群与克莱因瓶都以数学家费利克斯·克莱因命名，却是不同类型的数学对象：前者是代数中的有限群，后者是拓扑学中的不可定向曲面。拉康本人特意指出两处名称来自同一个克莱因；这句话只能澄清命名，不能把群与曲面当成同一种结构。
来源
- LMFDB：Abstract group 4.2, \(C_2^2\)（英文；数学数据库，列出四阶、指数 2、交换性及 \(C_2^2\) 构造）
- Wolfram MathWorld：Vierergruppe（英文；克莱因四元群的运算表、\(C_2\times C_2\) 同构及四点置换实现）
- 《研讨班 XIV》第五课 s14-05-0025—s14-05-0050（法文；群与集合的区分、三项非恒等对合操作、组合关系及彩色四顶点图的两种画法）
- 《研讨班 XIV》第五课 s14-05-0066—s14-05-0068（法文；话语宇宙裂隙的非蕴含边界，以及群对无意识与 cogito 的形式支撑）
- 《研讨班 XIV》第二十二课 s14-22-0047（法文；异化及另外两项操作是“仿照”克莱因四元群受到追问）
- Jacques Lacan, La logique du fantasme — Notice（法文；拉康的课程摘要，以克莱因四元群概括异化、真理与移情的操作图式）
关联
克莱因瓶的拓扑性质 异化与分离：主体同大他者的两项操作 不存在大他者的大他者：担保缺失与空集重写 德·摩根律与对称差：否定的集合图 笛卡尔的 cogito 并非普通三段论
s14-05-0025 s14-05-0026 s14-05-0028 s14-05-0034 s14-05-0036 s14-05-0037 s14-05-0044 s14-05-0047 s14-05-0050 s14-05-0066 s14-05-0068 s14-22-0047