带间隙的有限生成交换群。