阿贝尔群
商群formula_6是一个阿贝尔群，叫做"G"的阿贝尔化子群，通常记作"G"ab。"G"的阿贝尔化子群就是"G"的一阶同调群。