Abelian group
两个独立的一维洞组成了一个有限生成阿贝尔群的独立生成元，表示为笛卡尔积群formula_23.