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

定义 · 4.4 多面体的基本群

反过来,给定一个集合 ,我们可以构造一个以 为自由生成元集的自由群 。我们把 的每个元素称为一个字母(letter)。乘积

出处:4.4 多面体的基本群 · node a-c10346c0eef496690fa5d75e · 源节点 SHA-256 86ce7290f8cf991b…