既有 30 项机器编排保留为可选补充；全部活动身份的主页来自程序索引。 全库概念来源入口 同调群 相干态 李括号 商群 对称张量 群同态 实辛群 伴随矩阵 紧辛群（四元数酉群） 矩映射 不可约表示 狄拉克算符 格拉斯曼代数 欧拉–拉格朗日方程 对称关系 洛伦兹群 半群同态 酉群 正交群 自旋–统计定理 有界算符的伴随 基本群 马施克定理 李代数的伴随表示 路径积分 第一同构定理 李代数 有序对 海森堡李代数 螺旋度