name: symmetry-group-identifier description: 当您识别出候选对称性并需要将它们映射到数学群以进行架构设计时使用。当用户提到循环群、二面体群、李群、SO(3)、SE(3)、置换群或需要将对称性形式化为群论语言时调用。基于可视化群论原理提供分类和数学基础。
对称性群识别器
它是什么？
这个技能帮助您将识别的对称性映射到数学群。一旦您知道哪些变换应该保持预测不变，这个技能就将它们形式化为群论的语言。
为什么群重要：神经网络架构围绕特定对称性群构建。知道您的群可以告诉您确切使用哪些架构模式。
工作流程
复制此清单并跟踪进度：
群识别进度：
- [ ] 步骤1：列出发现阶段的对称性
- [ ] 步骤2：将每个分类为离散或连续
- [ ] 步骤3：使用分类匹配到具体群
- [ ] 步骤4：确定群如何组合
- [ ] 步骤5：验证群属性
- [ ] 步骤6：记录最终群规范
步骤1：列出发现阶段的对称性
收集发现阶段识别的对称性。列出每个识别的变换以及是否需要不变性或等变性。注意置信度水平。如果尚未发现对称性，请与用户合作通过领域分析首先识别它们。
步骤2：将每个分类为离散或连续
对于每个对称性，确定：变换集是有限的（离散）还是无限的（连续）？离散示例：90°旋转（4个元素），n个项目的置换（n!个元素）。连续示例：任何角度的旋转，任何距离的平移。使用群分类指导分类。有关数学基础，请参阅群论入门。
步骤3：使用分类匹配到具体群
使用离散群和连续群参考部分。识别每个对称性的具体群名称和符号。常见匹配：n重旋转→Cₙ，旋转+反射→Dₙ，置换→Sₙ，3D旋转→SO(3)，刚体运动→SE(3)，完整欧几里得→E(3)。有关详细李群信息（SO(3)、SE(3)、E(3)），请咨询李群参考。
步骤4：确定群如何组合
如果存在多个对称性，确定它们如何组合。直积（G × H）：对称性独立作用。半直积（G ⋊ H）：一个对称性“扭曲”另一个（例如，SE(3) = SO(3) ⋊ ℝ³）。使用组合群参考。
步骤5：验证群属性
检查识别的结构是否满足群公理：封闭性、结合性、单位元、逆元。验证重要属性：它紧致吗？（影响表示理论）。它阿贝尔吗？（交换或不交换）。它连通吗？（影响实现）。使用群属性清单。有关详细验证方法，请参阅方法论。
步骤6：记录最终群规范
使用输出模板创建规范。包括：群名称/符号、维度/大小、关键属性、不变性与等变性要求，以及推荐架构家族。此规范为架构设计提供基础。此输出的质量标准在质量评估中定义。
群分类
概述图
对称性群
│
┌───────────────┴───────────────┐
│ │
离散群 连续群（李群）
│ │
┌─────┼─────┐ ┌────────┼────────┐
│ │ │ │ │ │
循环群 二面体群 对称群 SO(n) SE(n) E(n)
Cₙ Dₙ Sₙ 仅旋转 刚体运动 欧几里得（带反射）
快速参考表
| 对称性类型 | 群 | 符号 | 元素 | 常见用途 |
|---|---|---|---|---|
| n重旋转 | 循环群 | Cₙ | n | 图像旋转（90°、60°） |
| 旋转+反射 | 二面体群 | Dₙ | 2n | 正多边形 |
| 置换 | 对称群 | Sₙ | n! | 集合、图 |
| 2D旋转（连续） | 特殊正交群 | SO(2) | ∞ | 连续旋转 |
| 3D旋转 | 特殊正交群 | SO(3) | ∞ | 3D方向 |
| 3D刚体运动 | 特殊欧几里得群 | SE(3) | ∞ | 机器人学、分子 |
| 3D带反射 | 欧几里得群 | E(3) | ∞ | 化学、物理学 |
离散群
循环群（Cₙ）
它们代表什么：以360°/n的倍数旋转
元素：{e, r, r², …, rⁿ⁻¹}，其中rⁿ = e（单位元）
| 群 | 旋转 | 示例 |
|---|---|---|
| C₂ | 0°、180° | 扑克牌 |
| C₄ | 0°、90°、180°、270° | 方形图像 |
| C₆ | 60°增量 | 六边形图案 |
何时使用：存在旋转对称性但无反射对称性。
二面体群（Dₙ）
它们代表什么：正n边形的旋转+反射
元素：n个旋转 + n个反射 = 2n个总数
| 群 | 元素 | 示例 |
|---|---|---|
| D₄ | 8 | 带对角线的正方形（p4m群） |
| D₆ | 12 | 正六边形 |
何时使用：同时存在旋转和反射对称性。
对称群（Sₙ）
它们代表什么：n个元素的所有置换
元素：n!个置换
何时使用：元素顺序任意（集合、图、点云）。
连续群（李群）
SO(2) - 2D旋转
元素：任何角度θ ∈ [0, 2π)的旋转
矩阵形式：R(θ) = [[cos θ, -sin θ], [sin θ, cos θ]]
何时使用：2D中的连续旋转对称性。
SO(3) - 3D旋转
元素：所有3D旋转（3个自由度）
表示：旋转矩阵、四元数、欧拉角、轴角
何时使用：3D方向无关，但手性重要。
SE(3) - 3D刚体运动
元素：3D旋转 + 平移
结构：SE(3) = SO(3) ⋊ ℝ³（半直积）
何时使用：对象可以在任何位置和任何方向，手性重要。
E(3) - 完整欧几里得群
元素：SE(3) + 反射
结构：E(3) = O(3) ⋊ ℝ³
何时使用：SE(3)对称性加上反射对称性（大多数分子）。
群层次
E(3) = O(3) ⋊ ℝ³
│ 排除反射
▼
SE(3) = SO(3) ⋊ ℝ³
│ 排除平移
▼
SO(3)
│ 2D限制
▼
SO(2)
组合群
直积（G × H）
何时使用：对称性独立作用（互不影响）。
示例：具有独立平移和颜色置换的图像 → SE(2) × S₃
属性：(g₁, h₁) · (g₂, h₂) = (g₁g₂, h₁h₂)
半直积（G ⋊ H）
何时使用：一个对称性“扭曲”另一个（不交换）。
示例：SE(3) = SO(3) ⋊ ℝ³（先旋转后平移 ≠ 先平移后旋转）
常见情况：SE(n) = SO(n) ⋊ ℝⁿ, E(n) = O(n) ⋊ ℝⁿ, Dₙ = Cₙ ⋊ C₂
群属性清单
对于您识别的群，验证：
| 属性 | 问题 | 为什么重要 |
|---|---|---|
| 紧致 | 群是“有界”的吗？ | 影响表示理论 |
| 阿贝尔 | 顺序重要吗？（g₁g₂ = g₂g₁？） | 简化架构 |
| 连通 | 群是连成一片的吗？ | 影响不可约表示 |
| 有限 | 元素数量有限吗？ | 离散与连续架构 |
按领域选择群
| 领域 | 典型群 | 备注 |
|---|---|---|
| 2D图像分类 | C₄或D₄ | p4或p4m群 |
| 3D分子能量 | E(3) × Sₙ | 完整欧几里得+原子置换 |
| 3D分子手性 | SE(3) × Sₙ | 无反射 |
| 点云分类 | SO(3) × Sₙ | 旋转+置换 |
| 图分类 | Sₙ | 置换不变 |
| 机器人学 | SE(3) | 有时带有重力约束 |
输出模板
对称性群规范
============================
识别对称性：
1. [对称性] → 群：[名称]（[符号]）
2. [对称性] → 群：[名称]（[符号]）
组合群结构：
- 完整群：[G₁ × G₂]或[G₁ ⋊ G₂]
- 大小：[元素数量]或[连续]
群属性：
- 紧致：[是/否]
- 阿贝尔：[是/否]
- 连通：[是/否]
对称性要求：
- [群]：[不变性/等变性]用于[任务类型]
推荐架构家族：
- [架构]支持[群]
下一步：
- 如果尚未确认，经验验证对称性假设
- 基于群规范设计等变架构