棱群

本书暂定概念：尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 4.4 多面体的基本群

单位元是等价类 $\{v\}$，而 $\{v{v}_1\dots v_{k-1}v\}$ 的逆元是 $\{v{v}_{k-1}\dots v_{1}v\}$。这个群称为 $K$ 在 $v$ 处的棱群(edge group)，记作 $E(K;v)$。

英文原文

The unit element is an equivalence class $\{v\}$ while the inverse of $\{v{v}_1\dots v_{k-1}v\}$ is $\{v{v}_{k-1}\dots v_{1}v\}$ . This group is called the edge group of $K$ at $v$ and denoted by $E(K;v)$ .

出处：4.4 多面体的基本群 · node a-d851d5cd42f9c6980116e237 · 源节点 SHA-256 b8a2d726f225a035…