有向单形的定向关系（临时概念）

临时概念 · 机器入库 · 未经人工审阅

由运行 semantic-ribosome-batch-20261014--trial-v17-qwen 自动建立，尚未与书库的正式概念核对；页面内容全部来自机器入库的作者陈述。

原文用语：$(p_0{p}_1)=-(p_1{p}_0)$；$(p_0{p}_1{p}_2)=(p_2{p}_0{p}_1)=(p_1{p}_2{p}_0)$

按作者与版本查阅

Nakahara · second-edition-local

• 推导：$(p_0{p}_1)$ 应与 $(p_1{p}_0)$ 区分，且 $(p_0{p}_1)=-(p_1{p}_0)$，其中负号在有限生成阿贝尔群的意义下理解，$(p_1{p}_0)$ 是 $(p_0{p}_1)$ 的逆元。类似地，$(p_0{p}_1{p}_2)=(p_2{p}_0{p}_1)=(p_1{p}_2{p}_0)=-(p_0{p}_2{p}_1)=-(p_2{p}_1{p}_0)=-(p_1{p}_0{p}_2)$。

来源与记录

建立于 Nakahara · second-edition-local 的书内身份 c-26881d9d53c4fc00888f。

永久标识：urn:uuid:cdc09e00-cb8b-4ad4-bbb7-9681914742e5；机器入库总览