是一例（可运用同伦上纤维的构造证明）；这套技术属于几何群论的一支。
自由阿贝尔群.将上述泛性质中的「群」替换成「阿贝尔群」，遂得到自由阿贝尔群的泛性质。集合 formula_3 上的自由阿贝尔群可视为自由 formula_68-模来构造，或取作 formula_10 的「交换化」： formula_70（换言之，在考虑字串时不计符号顺序）。
塔斯基的问题.塔斯基在1945年左右提出下述问题：目前已有两个团队独立给出肯定的答案，但双方的证明都尚未被认可。