阿贝尔群
其中formula_14为整数群，formula_15为平凡群。群formula_16表示一个有限生成阿贝尔群，其唯一的生成元表示圆中包含的一维洞。