本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。
定义 · 4.4 多面体的基本群
反过来,给定一个集合 ,我们可以构造一个以 为自由生成元集的自由群 。我们把 的每个元素称为一个字母(letter)。乘积
英文原文
Conversely, given a set , we can construct a free group whose free set of generators is . Let us call each element of a letter. The product
出处:4.4 多面体的基本群 · node a-c10346c0eef496690fa5d75e · 源节点 SHA-256 86ce7290f8cf991b…